
0:00
4:09:02
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
Altri episodi di "From First Principles"



Non perdere nemmeno un episodio di “From First Principles”. Iscriviti all'app gratuita GetPodcast.








