Episode 88 · The Machine's Theorems (Deep End, Ep 69–88), part 20 of 20 (finale)
Math 1.0, Math 2.0: Who Is Mathematics For?
Twenty episodes ago, Farah Al-Mansoori's CFD solver diverged at two in the morning. Since then we've followed a forced blowup for Navier–Stokes, seven hundred and twenty-two machine-written manuscripts, a sign error, a Lean mismatch, and a community trying to decide what it values. This finale steps back. What did Math 1.0 reward, and why does Tao think that model is now unsustainable? What do the angriest and the most hopeful voices actually say, in their own words? And how should an engineer, who uses mathematics every day without proving any of it, decide what to trust? We close with a ledger of every arc, and with Augustin's last word.
Listen to the show on your preferred podcast platform.
Inside this episode
- Cold open: the question at the dinner table
- Where the story stands, in tiers
- What the Navier–Stokes saga taught us
- Machines in mathematics: a fifty-year rehearsal
- The credit question
- Opportunity cost: the September warning
- Math 1.0: what the old system rewarded
- Math 2.0: Tao's proposal
- The angriest voice: the AHM statement
- The most hopeful voices
- Scholze and the marathon
- The students: Lozano-Robledo's letter
- Reliability: Hales and Hansen
- The Fields Medalists' declaration
- What Math 2.0 might look like, in practice
- What it means for an engineer: trust in layers
- The quiet middle: the technical voices
- What would settle it
- Back to Farah's solver
- The series ledger, by tier
- Augustin's last word
- Closing
Production credits & AI disclosure
Scripts generated with Claude Opus. Synthetic narration generated with Edge TTS. Reviewed, listened to, and approved by Sankalp Thakur.