Crowdsourcing a list of general resources on AI and mathematics

Given current events, I think it is worthwhile to start collecting useful online resources with regards to AI and mathematics in general. I will start a list below, but ask contributors to contribute further links in the comments. Note that while I personally do not agree with 100% of the content of every single link below, I find each of them interesting enough to be worth mentioning here.

I am excluding my own writings on these topics, which can be found here (and summarized here) instead. Resources specific to individual results, such as global regularity for Navier-Stokes, should be submitted as comments to other appropriate blog posts instead.

Statements and advocacy

• The Leiden declaration
• Max Weinreich, “The crisis of AI-generated mathematics“, 3 Aug 2026
• The Association for Human Mathematics
• Open Letter about the Mathathon, Sep 10 2026 (see also this response from the organizers)

Reports and analyses

• First Proof
• Report by the MIT Ad Hoc Committee on AI Use in Teaching, Learning, and Research Training (Aug 13, 2026)

Opinions and community discussion

• Jeremy Avigad, “Mathematicians in the age of AI“, Mar 2026.
• David Bessis, “The fall of the theorem economy“, Apr 21, 2026.
• Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh, “Shaping the Future of Mathematics in the Age of AI“, Mar 2026.
• David Donoho, “Data science at the Singularity“, Oct 2023.
• Hugo Duminil-Copin, “Care for a little more AI?“, Proofs and Prompts, Aug 30, 2026.
• Pavel Etingof, “Use of AI in mathematical research: A guide for young mathematicians“, May 2026.
• Timothy Gowers, “Rough structure and classification“, GAFA 2000 Special Volume “Visions in Mathematics”, 79-117 (see in particular the section “Will Mathematics Exist in 2009?”).
• Martin Hairer, “Do Mathematicians need computers?“, Simons Foundation, Dec 5, 2025.
• Martin Hairer, “Writing mathematics in the age of AI“, Proofs and Prompts, Aug 7, 2026.
• Minas Karimanis, “The machines are fine. I’m worried about us.“, Mar 30, 2026.
• Daniel Litt, “Mathematics in the Library of Babel“, Feb 21, 2026.
• Heather Macbeth, “Algorithm and abstraction in formal mathematics“, May 2024.
• Arvind Narayanan, “What will be left for us to work on?“, AI as Normal Technology, Jul 13, 2026.
• Emily Riehl, “A New Paradigm for Mathematical Proof?“, Hopkins Natural Philosophy Forum, Nov 7, 2025.
• Talia Ringer, “Proofs and Conversations“, AMS Early Career Notices, May 2024.
• Francis Su, “The Enduring Value of Math, in an Age of AI“, Aug 20, 2026.
• Akshay Venkatesh, “What do we tell our students about AI?“, Mathematics in the age of automated proofs, Oct 1, 2025.
• The Proofs and Prompts blog collects essays and discussions on mathematics and AI, some of which are listed separately here.
• The Bulletin of the AMS published two issues devoted to mathematics and AI, featuring articles by Fraser-Granville-Harris-McLarty-Riehl-Venkatesh, Venkatesh, Buzzard, Avigad, Commelin-Topaz, Shulman, Williamson, Davis, Cheng, Granville, Harris, Romeo, DeDeo, Davies, De Toffoli, McLarty, Ochigame, Poggio-Fraser, and Bengio-Malkin.
• The Feb 2023 IPAM workshop on Machine Assisted Proofs has a number of interesting talks recorded on these topics.

Other resource lists

• Northwestern’s AI + Mathematics Resources
• Proof and Prompts newsfeed/links page