Yang-Hui He Presents AI Transforming Mathematics
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.
Scoring Rationale
Authoritative, informative presentation summarizing AI applications in mathematics, offering credible examples but limited novelty and few directly actionable techniques.
Practice interview problems based on real data
1,500+ SQL & Python problems across 15 industry datasets — the exact type of data you work with.
Try 250 free problems
