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
Terence Tao: AI companies are harming mathematics | New Scientist
archived 9 Sep 2026 16:47:49 UTC
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
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
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 Edge of Mathematics
Terence Tao, the legendary mathematician, explains the promise of generative AI.
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.
Mathematicians warn of AI threats to profession as industry encroaches
International Mathematical Union endorses warning about tech industry influence.
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.
Knowledge Collapse
AI companies are racing to mechanize mathematics. Where does that leave human understanding?
Mathematicians are grappling with the possibility that AI might eclipse them
I talked to 20 mathematicians about rapid AI progress in their field.
"AI" is Automated Inequality
Tech bros still dominate the discussions about so-called "AI" with false claims. Even most "AI"-critical researchers spend much of their time meticulously debunking (always only a subset of) claims, leaving vast areas of the economic consequences of "AI" unexplored. (Even the "AI"-evangelist Economi
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.
Thomas Wolf on Twitter / X
Very thoughtful piece from Kevin Buzzard (perfect IMO score, number theorist, pioneer of formal maths in Lean)if math is not just about “human understanding,” then what is it about?and if ai capabilities keep growing exponentially what happens since “mathematics is infinite”? https://t.co/h7yYmZS01T pic.twitter.com/wFp2fec52Q— Thomas Wolf (@Thom_Wolf) October 2, 2026
Saw this metaphor by Terence Tao floating around about one of the drawbacks of using AI to solve hard math problems, and kind of have the same feeling for “vibe science” or “fully automated science” line of research in #AI4Science. theatlantic.com/technology/2026/02/ai-math-te… #ScAISci
