Hard Fork

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 35:42 · 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. 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. 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.'

Technology
Why AI Labs Became Obsessed With Math

Hot I.P.O Summer + What Is A.I. Doing to Math? + HatGPT · Jun 5, 2026 Technology

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.

Similar snapshots