AI math: IMO gold medal score
Three AI labs — Google DeepMind, OpenAI, and Harmonic — achieved gold medal scores at the International Math Olympiad last summer, a feat once considered impossible.
Snapshot · Hard Fork
Hot I.P.O Summer + What Is A.I. Doing to Math? + HatGPT
Explore episode
Jun 5, 2026
Where this was said
AI and Math: From IMO Gold to Erdős Conjectures
At 31:38 · chapter starts 28:18
Kevin Hartnett, former senior reporter for Quanta Magazine and current editorial lead at Cursor, joins the show to contextualize the rapid development of AI math capabilities. He recounts the arc from ChatGPT's early failures at basic arithmetic — mathematicians passed around examples of it claiming there are finitely many primes — to the IMO gold medal scores achieved by Google DeepMind, OpenAI, and Harmonic in 2025 [1] — Kevin Roose "AI math: IMO gold medal score: Three AI labs — Google DeepMind, OpenAI, and Harmonic — achieved gold medal scores at the International Math…" 31:38 . But Hartnett provides crucial context: even gold-medal performance at the IMO is 'essentially high school math, the hardest high school math in the world, but still just high school math' — representing roughly 0% of the way to frontier research mathematics [2] — Kevin Hartnett "AI at IMO = 0% of frontier math: Kevin Hartnett argued that even achieving a gold medal at the IMO represents essentially zero percent of t…" 33:16 . He explains why AI labs focused on math: the belief that teaching a model to reason through mathematical problems develops general-purpose logical reasoning that unlocks commercially valuable capabilities. The hosts also walk through the Erdős problem landscape: Paul Erdős compiled over 1,200 open mathematical problems with small cash bounties, and AI labs have been systematically working through them as capability benchmarks — though Hartnett notes most Erdős problems were not considered important by the mathematical community, more like 'sophisticated Wordle puzzles.'
OpenAI disproved geometry conjecture
On May 20th, OpenAI announced a model had disproved a longstanding geometry conjecture — the unit distance conjecture — by identifying a new mathematical approach no human had previously considered.
AI at IMO = 0% of frontier math
Kevin Hartnett argued that even achieving a gold medal at the IMO represents essentially zero percent of the way to the frontier of research mathematics.
Why AI Labs Became Obsessed With Math
AI labs didn't pursue mathematics for its beauty — they pursued it because teaching a model to reason through hard math problems builds the general-purpose reasoning skills that power everything else. As Kevin Hartnett puts it: math is to AI what 'teaching you how to think' was to your high school math teacher.
Erdős compiled 1,200+ math problems
Mathematician Paul Erdős compiled over 1,200 problems during his lifetime, offering small cash prizes for their solutions — prizes that AI labs are now claiming.
Similar snapshots
Ad monetization for games
Ad-based monetization works well for game apps where users spend extended time in-session, as seen with Grid and Wordle.
Ads don't work for tool apps
Tool-focused apps like PuffCount are poor candidates for ad monetization because users don't stay in-session long enough.
Hard paywall is unskippable
A hard paywall is a screen that blocks all app features unless the user pays or starts a free trial — it cannot be dismissed.
Two core monetization models
Mobile apps are primarily monetized through either ads (best for games) or in-app purchases/subscriptions (best for tools).
YouTube beats every other platform
According to the episode, YouTube outperforms every other social platform for building trust and driving SaaS conversions.
Most users came from YouTube
Vasco stated that the majority of his app's user base came directly from his YouTube channel.
Boost My Domain Rating button
SEO Bot features a 'Boost My Domain Rating' button that routes users directly to Listing Bot, an example of in-product cross-selling.
All products connected to AI
The founder's entire product portfolio is AI-related, making it easier to package products attractively for directories.
AI coding viability debate as hook
The founder attached their SaaS demo to the trending debate about whether AI coding is actually good enough to build a full SaaS product.
