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
Critical Links
Below are the most important links for this episode. For more, visit the episode page on Kairos.fm.
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 Links
Below 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 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
Creators and Guests
