A mathematician argues that AI-assisted verification could lower the rigor required in math papers, shifting the burden from authors to reviewers. The author notes that full formal verification remain…
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 discussion on a mathematics forum asks what prevents mathematics from becoming an exclusively AI-driven practice, citing AI's rapid capability growth, automated proof checking, and efficient informa…
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…
Matej Veselovac, using the AI Claude, discovered a new infinite family of solutions to the equation a^4+b^4+c^4+d^4 = (a+27b+27c+27d)^4, along with eight additional families, by analyzing over 45,000 …
Matej Veselovac, using the AI Claude to data-mine Eugene Go's database of about 45,000 primitive solutions to a^4+b^4+c^4+d^4 = e^4 with e<10^7, discovered a new infinite family of solutions to a^4+b^…
Mathematicians Matej Veselovac and Tito Piezas III used Anthropic's Claude AI to discover a new infinite family of solutions to the equation a^4+b^4+c^4+d^4 = (a+27b+27c+27d)^4, building on a database…
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 mathematician asked Claude Fable, an AI model, to prove constraints on near perfect numbers, and Claude produced a document available at a Dropbox link. The mathematician is now questioning whether …
Jacob Tsimerman, a Fields medalist in algebraic geometry, has pivoted to machine learning despite lacking technical expertise, claiming that mathematics is dead or changing dramatically. The mathemati…
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…
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…
A discussion on Reddit's mathematics community highlights the nuanced art of prompting AI systems to solve mathematical problems, citing a document by Aaron Lou that demonstrates a carefully construct…
ChatGPT 5.6 Sol, a paid AI model, can now reliably solve routine mathematical proofs and calculations, but remains poor at explaining arguments, according to a mathematician using university-subscribe…