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 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.
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 are grappling with the possibility that AI might eclipse them
I talked to 20 mathematicians about rapid AI progress in their field.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Leiden Declaration on Artificial Intelligence and Mathematics
This declaration calls for action to address the challenges posed by the use of artificial intelligence within mathematics research.
Terence Tao – Kepler, Newton, and the true nature of mathematical discovery
“And what those stories teach us about how AI will revolutionize math”
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools
Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools. By Jarod Alper
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.
Thoughts about the Leiden Declaration
Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several d…
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
Ali Alkhatib: Defining AI
The main issue I have with a lot of work that tries to define AI is that the criteria they use to draw boundaries often turn out to be functionally useless for my needs; these definitions lead us to weird places, letting scholars fixate on strange, unworkable frameworks. Those pedantic fixations don’t really benefit the organizers, activists, regular people who are getting crushed by the systems they’re trying to work against. So I’m going to try to unpack how I think about AI; how I trace the boundaries of the term in a way that’s as useful as possible for me and my needs; and how I would encourage you to scope or define ideas that are important to your work.
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.
