# AIs Win Math Olympiad Gold: Prof. Lin Yang (UCLA) – #97

Page: https://stenobird.com/podcast/manifold-4829537/ais-win-math-olympiad-gold-prof-lin-yang-ucla-97
Text version: https://stenobird.com/podcast/manifold-4829537/ais-win-math-olympiad-gold-prof-lin-yang-ucla-97.md
Podcast: [Manifold](https://stenobird.com/podcast/manifold-4829537)
Published: 2025-10-23T09:00:00+00:00
Episode link: https://share.transistor.fm/s/99f52c26
Audio file: https://media.transistor.fm/99f52c26/a98f746d.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/manifold-4829537/episodes/ais-win-math-olympiad-gold-prof-lin-yang-ucla-97
Duration seconds: 3043

## Resource

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 manifold1podcast@gmail.com or Steve on X @hsu_steve. Announc…

## Actions

- request_transcript: `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.
- read_markdown: `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.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.