Pulling the Ladder Up on Math

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 Critical LinksBelow are the most important links for this episode. For more, visit the episode page on Kairos.fm.OpenAI blogpost - On the Navier–Stokes Millennium Prize ProblemWccftech article - A Mathematician Working On The Navier-Stokes Millennium Prize Problem Now Wonders If OpenAI Stole His Notes That He Stored In CodexFields Medallists' open letter - A Severe Misalignment of AI in MathematicsTimothy Gowers blogpost - Why I didn't sign the Fields medallists' letterTerence Tao Mastodon thread - On open problems being mined as a non-renewable resourceOpenAI press-release - Advisory Group on Mathematics and Artificial IntelligenceGrant Sanderson guest post - If math is more than proof, we need to better celebrate the rest of it