International Mathematical Olympiad

also referred to as: imo

5 statements across 2 episodes · 1 bullish · 0 bearish · 2 people on the record · first statement Apr 8, 2025 by Scott Wu · said 75 times in 14 episodes since 2024 · across every show →

Mentions by year

brought up most by John Coogan (37), Pratap Ramade (2), Martin Shkreli (1), Brendan Foody (1)

tap a year for its mentions
004088015202420252026episodesmentions
0815202420252026episodes it came up in
0037.5615202420252026episodesmentions per episode

every mention, scene by scene, with the transcript →

Everything said about International Mathematical Olympiad, oldest first

Apr 8, 2025 bullish
Prediction Held up
Scott Wu predicts AI will win IMO gold in 2025 or 2026
“I think it's probably gonna happen this year. And if not this year, then next year.”
Scott Wu Apr 8, 2025 ▶ 14:26 Is AI UNDERVALUED? | Scott Wu on TBPN April 3rd
Jul 26, 2025
Assertion Partly supported
DeepMind Waited for Marketing Approval While OpenAI Scooped IMO Result
“DeepMind got a gold medal at the IMO on Friday afternoon, but they had to wait for marketing to approve the tweet until Monday. OpenAI shared theirs first at one a.m. On Saturday and stole the spotlight.”
John Coogan Jul 26, 2025 ▶ 16:51 Weekly Recap: Casey Neistat, OpenAI Cracks Math, The Future of ChatGPT, Apple x F1, Intel Layoffs
Jul 26, 2025 neutral
Assertion Contradicted
Coogan: IMO Rules Require AI Models to Be Open Source for Official Medals
“They don't, they put the questions out and anyone can go and try and do them, but to actually be awarded a goal for an AI, they said it has to be an open source model.”
John Coogan Jul 26, 2025 ▶ 5:23 Weekly Recap: Casey Neistat, OpenAI Cracks Math, The Future of ChatGPT, Apple x F1, Intel Layoffs
Jul 26, 2025 neutral
Assertion Supported
Coogan: Google Used Lean Proof Verifier While OpenAI Used Text-Based LLMs for IMO
“Using this program called Lean that is a formal math proof verifier, and there's rumors that Google's building their system to leverage that a lot. OpenAI apparently went way, way down just the text-based LLM reasoning path and had a lot of success there.”
John Coogan Jul 26, 2025 ▶ 3:25 Weekly Recap: Casey Neistat, OpenAI Cracks Math, The Future of ChatGPT, Apple x F1, Intel Layoffs
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 500 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.