Guests Thomas Hubert and Rishi Mehta from DeepMind's AlphaProof team reveal how their AI system recently earned a silver medal in the International Mathematical Olympiad. They discuss AlphaProof's groundbreaking approach to mathematical reasoning, its challenges in scaling, and the balance between human insight and machine learning. The duo also explores the motivations behind AI's role in math, its practical applications, and the potential for enhanced collaboration in the field, all while offering advice for aspiring mathematicians.