Mathematicians have started to prepare for a profound shift in what it means to do mathematics.
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.
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.”
Mathematics in the age of AI
An essay, based on a public lecture delivered at the 2026 International Congress of Mathematicians, on how the mathematical community might respond to the arrival of artificial intelligence tools that are capable of performing research-level mathematical tasks. Rather than debating the capabilities of such tools, we condition on the hypothesis that these capabilities will arrive, and examine instead a question that is orthogonal to it: what the goals and values of mathematical research actually are. The problem-solving component of mathematics is used as a case study.
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
Talia Ringer 🕊🪬 on Twitter / X
Poured my heart and soul into advocating for formal proof with AI assistance in a mathematical setting because of the large collaborations I thought it could empower. (1/3)— Talia Ringer 🕊🪬 (@TaliaRinger) September 10, 2026
The Edge of Mathematics
Terence Tao, the legendary mathematician, explains the promise of generative AI.
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
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
A Severe Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…
Mathematical discovery in the age of artificial intelligence
In this comment, we consider how artificial intelligence tools are reshaping the way mathematical research is conducted and discuss how future developments of this technology will transform mathematical practice.
What it Means to Be a Mathematician When AI Does the Math
Researchers debate motivation, purpose, and the field’s future
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.
Can AI replace mathematicians? Vienna researchers weigh in
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.
If math is more than proof, we need to better celebrate the rest of it
[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics communit…
Announcing the Advisory Group on Mathematics and Artificial Intelligence
[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …
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