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
50 free tools built total
Bhanu and his team built approximately 50 free tools to attract search traffic, each linked back to SiteGPT.
New tool built in under 5 minutes
With AI coding tools like Cursor, Bhanu can now create a new free marketing tool in less than 5 minutes by referencing existing tools.
KD filter < 10 for rankable keywords
Bhanu filters Ahrefs keyword results to show only those with a keyword difficulty below 10, making them realistic ranking targets for any decent website.
Minimum 1,000 monthly search volume
Bhanu sets a minimum search volume of 1,000 monthly searches when selecting keywords to target with free tools.
20 downloads/day at launch
PropGPT averaged 20 downloads per day right after launching on the App Store through influencer marketing.
4 months of rebuilding with no marketing
Eyal and Yali shut down all marketing and spent 4 months completely rebuilding PropGPT from scratch.
Over 40,000 downloads total
PropGPT has accumulated over 40,000 total downloads since launch.
LLM costs only $20/month
PropGPT's large language model (AI) operating costs are just $20 per month, and the cost is continually falling.
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.
