Mathematics and AI

Organizations

• Advisory Group on Mathematics and Artificial Intelligence, Institute for Advanced Study
• The Association for Human Mathematics (AHM)

Collective letters, declarations, reports

• Leiden Declaration on Artificial Intelligence and Mathematics, June 2, 2026
• A Severe Misalignment of AI in Mathematics, September 11, 2026
• Report of Summit on PhD Math Education in the Age of AI, September 17-18, 2026

Repositories

• Palomar Registry of Lean-verified mathematics
• HEXAGON

Some papers/ esseys

• Jarod Alper, Embracing AI and formalization: Experimenting with tomorrow’s mathematical tools, Bull of AMS, 2026
• Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman, Artificial Intelligence and the Structure of Mathematics, arXiv:2604.06107, April 7, 2026
• Alexander Bastounis, Fabian Circelli, Anders C. Hansen, Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs, arXiv:2610.08144, October 6, 2026
• Axel Boldt, Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-enabled Mathematical Research, arXiv:2609.15289, September 14, 2026
• Davide Castelvecchi, Who gets credit in the AI era? OpenAI maths bombshell sparks debate, Nature, September 17, 2026
• Jordana Cepelewicz, Is AI the End of Math As We Know It?, Quanta Magazine, October 5, 2026
• J. Commelin, M. Jamnik, R. Ochigame, L. Taelman, A. Venkatesh, Shaping the Future of Mathematics in the Age of AI, arXiv:2603.24914, May 8, 2026
• Editorial, AI companies must work with the research community to protect attribution, Nature, September 16, 2026
• Pavel Etingof, Slava Gerovitch, Mathematics of the Future, October 6, 2026
• David Glickenstein, Mathematics Graduate Training in the Age of AI, arXiv:2609.21132, September 17, 2026
• Mateja Jamnik, The Leiden Declaration: mathematics, AI, and making our values explicit, Communications of the ACM (BLOG@CACM), August arXiv:2608.24961 25, 2026.
• Jiashun Jin, Zheng Tracy Ke, Bingcheng Sui, The Gold Rush in AI4Math: Where Are We Now?, arXiv:2608.24961, 25 June 2026.
• Kevin Hartnett, Sometimes Being First Means Seeing the End Before Anyone Else, in Quanta Magazine, July 23, 2026
• Michael Harris, Knowledge collapse,, Boston Review, June 10, 2026.
• Tanya Klowden, Terence Tao, Mathematical methods and human thought in the age of AI, arXiv:2603.26524 , March 27, 2026.
• Helmut H. W. Hofer, The Mathematician Leads: Building a Research Profile in the Age of Frontier AI, arXiv:2608.28369 , August 28, 2026.
• Joseph Howlett, If AI can do math, what’s the point of mathematicians? Scientific American, September 10, 2026
• Thomas Koberda, Training Mathematicians in the Age of AI: Intellectual Agency, Cognitive Offloading, and the PhD Thesis, arXiv:2609.28140, September 23, 2026
• David Larousserie, Des mathématiciens lancent un appel pour reprendre la main sur l’IA , (in French), Le Monde, 17 June 2026.
• Lionel Levine, Math for AI safety: an invitation for mathematicians, arXiv:2609.15289, September 14, 2026
• J. Miao, J. R. Davis, Y. Zhang, J. K. Pritchard, J. Zou, Reimagining research papers as interactive and reliable AI agents, Nature, September 16, 2026
• Stephen Ornes , The AI Was Fed Sloppy Code. It Turned Into Something Evil., in Quanta Magazine, August 13, 2025
• Siobhan Roberts, A call for action: the “Leiden Declaration on Artificial Intelligence and Mathematics”, Notices of AMS, 73(8), September 2026.
• Jim Portegies, How to prevent AI from harming mathematics , Nature, July 72, 2026
• Terence Tao, Mathematics in the age of AI , arXiv:2608.16753 , August 17, 2026
• Max Weinreich, The crisis of AI-generated mathematics, arXiv:2608.02859, August 3, 2026

Some papers from Industry:

• OpenAI, Manuscript collection, October 6, 2026
• Math Inc. Math, Inc.
• Open AI, An OpenAI model has disproved a central conjecture in discrete geometry, May 20, 2026
• Open AI, Ten advances in mathematics and theoretical computer science, August 1, 2026
• J. Liu, G. Gao, Z. Sun, B. Wu, S. Liu, J. Jiang, H. Ju, L. Chen, R. Cheng, X. Zhang, B. Dong, Danus: Orchestrating mathematical reasoning agents with fact-graph memory, July 8, 2026.
• Thang Luong and Vahab Mirrokni, Accelerating Mathematical and Scientific Discovery with Gemini Deep Think, February 11, 2026

Blogs:

• Proofs and prompts, blog
• Terence Tao, blog, mathstodon.xyz
• Terence Tao, "What's new", blog, Wordpress

Post and Discussions in other blogs:

• Benjamin Antieau, Fast math/slow math, September 15, 2026
• Benjamin Antieau, “Hexagon", October 6, 2026
• David Bessis, The fall of the theorem economy, April 21, 2026
• Frank Calegari, Ways to improve Mathematics (an introduction)Ways to improve Mathematics (an introduction), Persiflage, September 17, 2026
• Henry Cohn, The technical debt of AI-generated mathematics, September 15, 2026
• Noah Giansiracusa, Let the Diners Into the Kitchen, September 16, 2026
• Timothy Gowers, Why I didn’t sign the Fields medallists’ letter, September 17, 2026
• Tanya Khovanova, Swap Lectures with Homework, September 18, 2026
• Bryna Kra, Deep theorems were scarce and difficult and so became an effective mechanism to identify deep thought. AI has broken this system., September 13, 2026
• Daniel Litt, Mathematics in the Library of Babel, February 21, 2026
• Daniel Litt, The End of Mathematics, August 11, 2026
• Daniel Litt, A beginning for mathematics, September 13, 2026
• Amit Sahai, We’re gonna need a lot more mathematicians, September 24, 2026
• Grant Sanderson, If math is more than proof, we need to better celebrate the rest of it, September 18, 2026
• Igor Pak, What to expect in the AI era, September 15, 2026
• Christian Szegedy, Is Mathematics Over, or Just Graduating?, October 3, 2026

Some slides

• Terence Tao, Mathematics in the age of AI, July 24, 2026

Videos

• Terence Tao, Mathematics in the Age of AI, ICM 2026 Public Lectures, August 13, 2026
• Collection of videos, All in AI, on Numberphile, videos with Terence Tao, Hugo Duminil-Copin, Tristan Buckmaster, Tony Padilla...

Science fiction

• Rich Schwartz, The Fate of the Riemann Hypothesis, August 7, 2026 - Timestamp.