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.