In September, OpenAI announced that some 10,000 AI agents partially 'solved' the Navier–Stokes problem, one of the most prestigious open challenges in mathematics. University of Vienna mathematicians Nathanaël Berestycki and Vera Fischer agree that the field will never be the same, but argue that maths is far more than producing proofs at speed.
Mathematicians are grappling with the possibility that AI might eclipse them
I talked to 20 mathematicians about rapid AI progress in their field.
Is AI the End of Math As We Know It? | Quanta Magazine
Mathematicians are facing the sudden shift with grief, anger, and a desperate search for fresh ideas: “If we don’t adapt, there’s just no more math in 50 years.”
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
Ale×ey on Twitter / X
Funniest possible outcome of new ai math proofs publications would be that explosive progress cannot be delivered through individual genius and singular products but only through contextualized human understanding and embedding of knowledge.— Ale×ey (@EqualParallel) October 7, 2026
I’ll write romance novels if AI solves all maths, Chinese Fields winner jokes
As AI models prove they can push the boundaries, mathematicians are grappling with the threat that they could become obsolete.
The AI Revolution in Math Has Arrived | Quanta Magazine
AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
OpenAI’s math breakthrough played to AI’s strengths
I tried to explain OpenAI’s solution more clearly than OpenAI did.
Thomas Wolf on Twitter / X
wtf is this way to handle mathematicians work and scientific communicationTLDR: Leven and Tristan worked over several months on one of the Millenium Prize Problems with various AIs to reach final interesting results. OpenAI apparently heard about it in the last days and… https://t.co/zNozwkFcFO pic.twitter.com/XcefJ17AQe— Thomas Wolf (@Thom_Wolf) September 8, 2026
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
OpenAI fought dirty on career-making math problem, says NYU mathematician | TechCrunch
There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.
Terence Tao: AI companies are harming mathematics | New Scientist
AI firms are making new mathematical discoveries at a rapid pace, but not sticking around to help unpick the new proofs. That is not the way to advance our understanding, says mathematician Terence Tao
Itai Sher on Twitter / X
I think there should be a norm that when a set of AI solutions to mathematical problems is released, the set of all problems attempted be released alongside.When trying to understand AI capabilities, it is problematic to selectively report only positive results. https://t.co/ywcWCnFojS— Itai Sher (@itaisher) August 1, 2026
Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazine
Mathematicians have started to prepare for a profound shift in what it means to do mathematics.
OpenAI spent millions to solve this famous math problem — mathematicians are furious
Mathematics relies on a community of experts openly sharing ideas.
Valerio Capraro on Twitter / X
BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification.The most important article to read today is not one of OpenAI’s 700 AI-generated math papers.It is this other paper, making a deep and worrying point:A Lean-verified proof does not… pic.twitter.com/bU7TQdv594— Valerio Capraro (@ValerioCapraro) October 8, 2026
