Researchmachine learningexperimental mathematicsmathlibtheorem proving
Yang-Hui He Presents AI Transforming Mathematics
6.1
Relevance Score
Yang-Hui He presented a one-hour talk to The Royal Institution explaining how AI is driving progress in pure mathematics, available on YouTube. He traces historical milestones, surveys community efforts by hundreds of researchers, and highlights tools such as Mathlib and the Xena Project alongside discussions of machine-assisted proofs. He concludes AI has not solved major conjectures yet but is beginning to change mathematicians' day-to-day research routines.
