An AI system called Astra produced an 8-page proof of the Liouville version of the Goldbach conjecture, which states that every positive even number greater than 2 is the sum of two positive numbers w…
OpenAI's paper claiming ten advances in mathematics, including a proof of the existence of a non-sofic group, relied on a 2019 paper by Andreas Thom and Gábor Kun in its crucial Proposition 2.3, Thom …
A mathematician on MathOverflow expresses alarm that AI could soon end human mathematical practice, citing AI's ability to solve conjectures and formalize proofs in Lean, and asks why peers are not pa…
A MathOverflow user is seeking examples of mathematical problems that current AI models, including the best LLMs from OpenAI and Anthropic, fail to solve in a reasonable time or solve incorrectly with…
A MathOverflow user is soliciting examples of mathematical problems that current AI models fail to solve but that an averagely competent mathematician can solve, aiming to counter the observation bias…
AI is being explored for various present and future use cases in mathematics, including revising typesetting of old classics, extracting high-level proof overviews, generating code for numerical simul…
A young researcher on MathOverflow raised questions about how the mathematical community should adapt to AI, asking whether AI-generated proofs should be published, how to handle undisclosed AI use, a…
A MathOverflow question is collecting verified examples where large language models (LLMs) such as ChatGPT have led to major mathematical developments, with an emphasis on achievements where AI direct…
At an OpenAI summit on the future of mathematics, mathematician and Fields Medalist Timothy Gowers warned that AI could lead to a stagnation in mathematical progress despite superhuman AI capabilities…
A researcher who prompted ChatGPT to generate a breakthrough in a field outside their expertise reports that the AI produced a counterexample to an open conjecture about polynomials with real roots, l…