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.
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 33:16 · 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 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.
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
Wandering mind = unhappy mind (Harvard study)
A large Harvard study found that a wandering mind is an unhappy mind — people report greater happiness when their attention is tethered to the present, even if the task is unpleasant.
Microplastic overestimate: gloves contaminated tests
A key study finding that we have a 'credit card's worth of plastic' in our bodies was likely skewed because researchers used nitrile gloves that shed plastic particles onto the microplastic detector.
Hyperactive amygdala + frayed PFC link
Emotionally sensitive people have a hyperactive amygdala, an underactive prefrontal cortex, and a frayed connection between the two — making emotional regulation structurally harder.
RSD visible in children as young as 2–3 years old
Rejection sensitivity can be observed as early as age 2 or 3, suggesting it has strong developmental and likely genetic roots.
Mindfulness reduces brain activation — Yale study
A Yale study found that non-judgmental observation of emotions — without rushing to resolve them — reduces activation in the brain, making it a powerful regulation tool.
Psychological immune system works strongest on irreversible decisions
Dan Gilbert's research found that the psychological immune system — the brain's ability to justify and find satisfaction in choices — activates most powerfully when a decision is perceived as irreversible.
Maximizers earn more but are less happy than satisficers
Barry Schwartz's research found that maximizers — people who try to optimize every decision — tend to achieve objectively better outcomes but report lower happiness than satisficers who choose 'good enough.'
People regret inaction more than action long-term
Research consistently shows that while people may initially regret poor decisions, in the long run they regret the decisions they didn't make — inaction — far more than the ones they took.
Brief exposure to 10 attractive faces reduced relationship satisfaction
A study showed that men in committed relationships who briefly viewed 10 attractive women's faces reported a measurable decrease in relationship satisfaction immediately afterward, illustrating evolutionary mismatch with modern media.
