A New Consciousness of Mathematics - by Apoorva Panidapu

In an age of proof abundance, what becomes scarce?

“One often hears that one is seeking beauty in mathematics. It may be true. But I think more, one is seeking understanding. The bonus of your understanding is always that it’s beautiful.” - Barry Mazur At the start of May, I attended the second day of Stanford’s Future of Mathematics Symposium.1 Some of the best mathematicians in the world—including Fields medalists Terence Tao, Maryna Viazovska, and Michael Freedman, Stanford professor and current president of the American Mathematical Society Ravi Vakil, and mathematical formalization forerunner Kevin Buzzard—along with leading AI…

saved by

• Olivia Xu
• Andrea Chen
• Lailah Nabegu
• Bhagyesh Kumar

related reading

• Terence Tao on AI — a living summary — Terence Taoteorth.github.io
• A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
• Declaration — Math and AImathandai.org
• The fall of the theorem economydavidbessis.substack.com
• What Happens When the World is Run on Code No One Understands?time.com
• Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
• Automation Without Understandingarxiv.org
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• A somewhat optimistic view of AI in mathematicsproofsandprompts.com
• [2608.16753] Mathematics in the age of AIarxiv.org
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org