Episode
AIs Win Math Olympiad Gold: Prof. Lin Yang (UCLA) – #97
- Podcast
- Manifold
- Published
- Oct 23, 2025
- Duration seconds
- 3043
- Processing state
not_requested- Canonical source
- https://share.transistor.fm/s/99f52c26
Actions
POST https://stenobird.com/v1/public/podcasts/manifold-4829537/episodes/ais-win-math-olympiad-gold-prof-lin-yang-ucla-97/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/manifold-4829537/ais-win-math-olympiad-gold-prof-lin-yang-ucla-97.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
Lin Yang is a professor of computer science at UCLA. Recently, he and his collaborator built an AI pipeline using commercial models such as Gemini, ChatGPT, and Grok that performed at the gold medal level on International Mathematics Olympiad problems. Steve and Lin discuss this research, which relies on "verifier-refiner" LLM instances and large token budgets to reliably solve difficult problems. They discuss how these methods can be used to advance AI for scientific research, legal analysis, and complex document processing. https://github.com/lyang36/IMO25/blob/main/IMO25.pdf https://x.com/hsu_steve/status/1948189075707469942 Chapter markers: (00:00) - AIs Win Math Olympiad Gold: Prof. Lin Yang (UCLA) – #97 (00:57) - Prof. Lin Yang, UCLA (04:27) - Journey from Physics to Computer Science: 2 PhDs (11:15) - Transition to AI from Theoretical CS (13:16) - AI Pipeline Math Olympiad: Gold Medal! (28:23) - Probability Amplification (29:00) - Applications in Industry and Legal Analysis (29:58) - Challenges in Model Reasoning and Verification (33:23) - Future of AI in Scientific Research and AGI Speculations – Steve Hsu is Professor of Theoretical Physics and of Computational Mathematics, Science, and Engineering at Michigan State University. Previously, he was Senior Vice President for Research and Innovation at MSU and Director of the Institute of Theoretical Science at the University of Oregon. Hsu is a startup founder (SuperFocus.ai, SafeWeb, Genomic Prediction, Othram) and advisor to venture capital and other investment firms. He was educated at Caltech and Berkeley, was a Harvard Junior Fellow, and has held faculty positions at Yale, the University of Oregon, and MSU.Please send any questions or suggestions to [email protected] or Steve on X @hsu_steve. Announc…