AI-assisted Theoretical Discovery

N/A

AI-assisted Theoretical Discovery YANG-HUI HE 何楊輝 London Institute of Mathematical Sciences, Royal Institution Merton College, University of Oxford VaNTAGe online seminar YANG-HUI HE (LIMS & Merton) AI Mathematician VANTAGE 2026 1 / 45 Where are we with AI for Mathematical Discovery? Bottom-Up as a formal logical system Top-Down as a creative/intuitive art Meta-Mathematics as a…

related reading

• The fall of the theorem economydavidbessis.substack.com
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Artificial Intelligence and the Structure of Mathematicsarxiv.org
• Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
• [2608.16753] Mathematics in the age of AIarxiv.org
• Knowledge Collapse - Boston Reviewbostonreview.net
• 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
• Declaration — Math and AImathandai.org
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• principia labsprincipialabs.org