Math people are upset, and (at least some of) the internet’s response has mostly been “so what?” Igor wants to explain why it matters. We start with OpenAI’s Navier-Stokes announcement and the drama that followed, then get into what a proof actually is, why the dead ends are the point, and what it means when a lab quietly sits on a pile of solved problems. Along the way: math trauma, mathematicians as philosophers’ translators, and whether anyone gets paid to learn something an AI already did. Also, Igor has a theory about the timing, and he’d like you to read some Terence Tao.

Chapters

• (00:00) - Intro
• (00:52) - What OpenAI Is Claiming
• (05:22) - What a Proof is Really Doing
• (12:15) - Open Letter and Fields Medalists
• (24:27) - What Do Mathematicians Do
• (32:04) - Where Ideas Come From
• (43:14) - What if they Dump 100 Proofs Tomorrow?
• (49:13) - Why Now and What You Can Do
• (54:10) - Outro

• OpenAI blogpost - On the Navier–Stokes Millennium Prize Problem
• Wccftech article - A Mathematician Working On The Navier-Stokes Millennium Prize Problem Now Wonders If OpenAI Stole His Notes That He Stored In Codex
• Fields Medallists' open letter - A Severe Misalignment of AI in Mathematics
• Timothy Gowers blogpost - Why I didn't sign the Fields medallists' letter
• Terence Tao Mastodon thread - On open problems being mined as a non-renewable resource
• OpenAI press-release - Advisory Group on Mathematics and Artificial Intelligence
• Grant Sanderson guest post - If math is more than proof, we need to better celebrate the rest of it