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

• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
• Artificial Intelligence and the Structure of Mathematicsarxiv.org
• [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
• Look, Mom, I pressed a button!galoisrepresentations.org
• Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI | Scientific Americanscientificamerican.com
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• The Dark Night of Mathematics - by Kirwin Hampshirekirwinhampshire.substack.com
• What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
• Formalizing Fermat's Last Theoremanthropic.com