Appears On
Episode Appearances
Dwarkesh Podcast · Apr 7, 2026
Michael Nielsen – How science actually progresses
“Asked about why Darwin's theory took longer to discover than Newton's gravity”
"The Cognitive Revolution" | AI Builders, Researchers, and Live Player Analysis · Mar 16, 2026
AI Scouting Report: the Good, Bad, & Weird @ the Law & AI Certificate Program, by LexLab, UC Law SF
“World's leading mathematician reporting that AIs are now solving previously unsolved problems”
Machine Learning Street Talk (MLST) · Mar 13, 2026
When AI Discovers The Next Transformer - Robert Lange (Sakana)
“Mathematician who has publicly discussed using GPT-4 to speed up research and reduce drudgery”
Machine Learning Street Talk (MLST) · Jan 23, 2026
Why Every Brain Metaphor in History Has Been Wrong [SPECIAL EDITION]
“Mathematician; GPT 5.2 reportedly solved one of his unsolved problems, raising questions about AI understanding”
Embracing Digital Transformation · Jan 21, 2026
#318 AI, ETL, and Accuracy in Unstructured Data
“Renowned mathematician using LLMs to prove minor lemmas; cited as example of AI augmenting human expertise”
Digital Disruption with Geoff Nielson · Nov 17, 2025
AGI Is Here: AI Legend Peter Norvig on Why it Doesn't Matter Anymore
“Used AI to assist in mathematical proofs; described AI systems as competent graduate-student level”
Lex Fridman Podcast · Jul 23, 2025
#475 – Demis Hassabis: Future of AI, Simulating Reality, Physics and Video Games
“Referenced as expert on nonlinear dynamical systems and singularities; potential AGI test subject”