What OpenAI Actually Did to Navier-Stokes (EP 58)
Notas del episodio
What does it mean to solve an equation that describes almost every fluid around us, from the air over a wing to the water swirling down a drain?
In Episode 58 of From First Principles, Lester Nare and Krishna Choudhary build the Navier-Stokes equations from the ground up before digging into OpenAI’s claimed breakthrough and the debate surrounding it.
Summary
- How Newton’s laws become equations for a moving fluid
- Velocity fields, incompressibility, pressure and the nonlinear convective term
- Why viscosity smooths a fluid while nonlinear motion can create finer structure
- What finite-time blowup means, and why simulation is different from proof
- How forced and unforced equations differ, and why those assumptions matter
- Earlier work on Euler, Boussinesq and related fluid equations
- OpenAI’s claimed result, Lean verification and the scope of the theorem
- The dispute over scientific credit and the human research behind AI-assisted work
- The METR investigation of the Hugging Face incident
- Emergence World and long-running multi-agent experiments
- AI-assisted biological discovery, oversight and recursive self-improvement
- Separating demonstrated capabilities from claims and future scenarios
Chapters
00:00 Can AI solve Navier-Stokes?
00:34 Episode introduction
02:20 Navier-Stokes: Mathematics Meets AI
10:20 Building the Equations of Fluid Motion
21:34 Velocity fields, divergence and incompressibility
34:33 Acceleration and the convective term
52:18 Why Fluid Motion Is Nonlinear
1:02:08 Pressure, Euler and the Missing Physics
1:14:50 How Viscosity Changes Everything
1:33:36 Solving Equations vs. Simulating Fluids
1:44:59 Can a Smooth Fluid Blow Up?
2:13:52 The Road to the Claimed Breakthrough
2:31:13 Inside the Claimed Navier-Stokes Proof
2:48:26 The Dispute Over Scientific Credit
3:07:23 From Chatbots to Agents
3:08:57 The METR report and Hugging Face incident
3:23:23 AI Risk, Oversight and the Race Ahead
3:38:51 AI Discovery Beyond Mathematics
3:52:47 Why “just turn it off” gets complicated
4:06:47 Closing thoughts and what comes next
4:08:46 Outro
Featured Research
OpenAI’s Navier-Stokes announcement
Tristan Buckmaster’s statement
METR investigation
Emergence World
AI-assisted enzyme discovery
Explore FFP
ffppod.com
ffppod.com/funding
ffppod.com/transfers
ffppod.com/America250
Watch on YouTube
youtu.be/NGfGw1tGxUY
Support the show
ffppod.com/donate
Follow
@FFPPod on X / Instagram / TikTok / Facebook