The way we do Mathematics is being revolutionised by LLMs. We have lots of questions on how to re-gain control of the field, and little answers. But this is exactly what we trained for as mathematicians: finding answers to problems that currently don't have one! I am personally very excited for the times ahead. If you are a graduate student and would like to chat about worries, ideas, frustration and anything related to the topic, please do not hesitate to get in touch.
I signed the following declarations:
(Jun 2, 2026) Leiden Declaration on Artificial Intelligence and Mathematics
(Sep 11, 2026) A Severe Misalignment of AI in Mathematics
I actively follow the discussion on Proofs and Prompts, where I submitted the contribution When inventing is not enough (Sep 15, 2026).
Here is a collection of sources that I found thought-provoking. I do not necessarily agree with all of them.
Blogs:
Articles:
(Apr 21, 2026) The fall of the theorem economy, by David Bessis
(Aug 1, 2026) Mathematics is not rational, really! - section The "Author" is a social convention, by Michael Harris
(Aug 2, 2026) Mathematics Without Mathematicians, by Fernando Borretti
(Aug 4, 2026) The end of the age of heroes, by Noah Smith
(Aug 13, 2026) Fundamental Mathematics in the Age of AI, by Benjamin Collas [!!!]
(Aug 17, 2026) Mathematics in the age of AI, by Terence Tao - based on his ICM public lecture (Jul 24, 2026)
(Aug 26, 2026) Rethinking Mathematical Intuition in the Age of AI, by Michael Friedman & Kati Kish Bar-On
(Sep, 2026) AI: From Competition to Collaboration (IMS Bulletin 55(6)), by Po-Ling Loh
(Sep 13, 2026) The duet for the end of Math, by Matilde Marcolli
Initiatives:
The Association for Human Mathematics, announced (Sep 12, 2026) on P&Ps
Advisory Group on Mathematics and Artificial Intelligence, announced (Sep 21, 2026) on TT's blog
ProofForum, announced (Sep 22, 2026) on P&Ps [!!!]
Others:
Meeting the Challenges of Research Integrity and Knowledge Assimilation, lecture at INI (Mar 30, 2026) by Thomas Dietterich
The third footnote of the paper Some explicit counter-examples to Weibel’s conjecture (Aug 17, 2026) by Shane Kelly
Human Mathematicians in the Age of AI, interviews by Alvaro Lozano-Robledo
AI Resources, resource list by Northwestern University Math Department