Here are some other places online where these discussions are happening. This list is definitely not exhaustive, if you think something should be here, let us know at proofsandprompts@gmail.com.
Blogs
- David Bessis
- Xena Project (Kevin Buzzard)
- Tasmin Chu
- Timothy Gowers
- Tobias Osborne
- AI for integrability (Balázs Pozsgay)
- Silicon Reckoner (Michael Harris)
- Daniel Litt
- Terry Tao
- Guanyang Wang
- AI, Math, etc. (Steven Heilman)
Papers
- Helmut H. W. Hofer – The Mathematician Leads: Building a Research Profile in the Age of Frontier AI
- Axel Boldt – Explanations, Prompts, and Formalizations: Arguments for New Norms in LLM-Enabled Mathematical Research
- Terence Tao – Mathematics in the age of AI
- Alan Li, Rahul Saha, Anton Xue, Swarat Chaudhuri, Adam Klivans, Pravesh K Kothari, Raghu Meka – Long-Horizon AI Research for Grothendieck Constant: A Case Study in Human-AI Mathematical Collaboration
- Benjamin Collas – Fundamental Mathematics in the Age of AI — The Residue, the Journey, and the Ecology
- Xiaoyu He – Existential Risk from AI: An Exposition for Mathematicians
- Jaume de Dios Pont, Lukas Liehr, David Muñoz-Lahoz, Mitchell A. Taylor, Pedro Tradacete – Banach lattices and phase retrieval: A case study for the use of AI in mathematics
- David Muñoz-Lahoz – The Banach lattice Lean library
- Max Weinreich – The crisis of AI-generated mathematics
- Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman – Artificial intelligence and the structure of mathematics
- Jeremy Avigad – Mathematics in the age of AI
- Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman, Akshay Venkatesh – Shaping the Future of Mathematics in the Age of AI
- Tanya Klowden, Terence Tao – Mathematical methods and human thought in the age of AI
- Alex Kontorovich – The shape of math to come
- Petra Schwer – The meaning of doing mathematics
- William Thurston – On proof and progress in mathematics
Op-eds
- Peter Sarnak – “The AlphaZero test” for Mathematics (Notices of the AMS), excerpt from “Number theory pure and applied”.
- Michael Harris – Knowledge collapse (Boston Review)
Videos
- ICM 2026 panels: Mathematics for AI, AI for mathematics, AI in college math education, Mathematics education in the advent of the AI era.
- Curt Jaimungal and Jacob Tsimerman – Why This Fields Medalist is Leaving Math for AI Safety
- Alex Kontorovich – The shape of math to come (ICM Plenary Lecture)
- Leo Lectures – We need to talk about AI in mathematics
- Alvaro Lozano-Robledo – Human Mathematicians in the Age of AI (playlist)
- Dwarkesh Patel and Grant Sanderson – AI disproved a famous math conjecture. Now what?
- Terence Tao – How should students control their AI diet? (EMS Lecture)
- Terence Tao – Mathematics in the age of AI (ICM Public Lecture)
- Akshay Venkatesh – What do we tell our students about AI?
- Geordie Williamson – Can AI Help Us Discover Interesting Mathematics? (Joint Mathematics Meetings)
- Geordie Williamson – AI and humanity’s long conversation (ICM Public Lecture)
Statements on personal pages
- Hugo Duminil-Copin
- Jonny Evans
- Cécile Gachet
- Marcel Goh
- Donatella Iacono
- Vladimir Lazić
- Neeladri Maitra
- Alexis Marchand
- Gabriel Pallier
- Manuel Rivera
- Luuk Stehouwer
- Atticus Stonestrom
Institutional statements and declarations
Misc
- AI and the future of Mathematics, A seminar at Münster University
- Mathematical AI Safety Institute
- AI Safety for Mathematicians
- Ethics in Mathematics Project, EiMP