AI is being used to prove new results at a rapid pace. Mathematicians think this is just the beginning.
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.
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
Mathematicians are grappling with the possibility that AI might eclipse them
I talked to 20 mathematicians about rapid AI progress in their field.
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.
Mathematical methods and human thought in the age of AI
Artificial intelligence (AI) is the name popularly given to a broad spectrum of computer tools designed to perform increasingly complex cognitive tasks, including many that used to solely be the...
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
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
The Edge of Mathematics
Terence Tao, the legendary mathematician, explains the promise of generative AI.
What it Means to Be a Mathematician When AI Does the Math
Researchers debate motivation, purpose, and the field’s future
The end of the age of heroes
AI will soon be better at math than any human. What does that mean?
Itai Yanai on Twitter / X
Unpopular opinion: Going straight to AI limits your creatively, because it short-circuits the iterative process you need to develop new ideas. pic.twitter.com/O2iPs0bfh0— Itai Yanai (@ItaiYanai) June 20, 2026
The Scaling Era: An Oral History of AI, 2019–2025
An inside view of the AI revolution, from the people an…
Daron Acemoglu on Twitter / X
I recommend Columbia mathematician Michael Harris’s wide-ranging, informative and thought-provoking essay in Boston Review on AI and mathematics:https://t.co/txwAd8ri4xHarris rightly worries about the possible negative effects of AI-generated proofs and mathematics on…— Daron Acemoglu (@DAcemogluMIT) June 16, 2026
The Scaling Era: An Oral History of AI, 2019–2025
An inside view of the AI revolution, from the people and companies making it happen.
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
