AI Summary
5 min readWhat OpenAI Actually Did to Navier-Stokes
On September 8th, OpenAI announced that one of its internal models had solved a piece of the Navier-Stokes existence and smoothness problem—one of the seven Millennium Prize Problems, the "infinity stones" of mathematics, carrying a million-dollar prize. The announcement was met not with universal celebration, but with allegations of academic misconduct, credit disputes, and a firestorm about who actually did the work. But before any of that drama matters, you first have to understand what Navier-Stokes actually is, and what OpenAI's model actually proved.
Building the Navier-Stokes Equations from the Ground Up
The Navier-Stokes equations describe how fluids move. They are an equation of motion—if you know what a fluid is doing now, they tell you what it will do later. The starting point is always Newton's laws, but applying them to fluids is not straightforward. A cup of water contains something like 10²³ molecules; tracking each one individually is impossible. Instead, fluid mechanics uses a different language: the velocity field.
Continue reading the full summary in the app — free to try.
Read Full Summary →Free • No credit card required
Never miss an episode of From First Principles
Get every new episode summarized in your inbox — free, ~5 minutes to read.
No spam. Unsubscribe anytime.
What you'll learn
- 1 Timestamped Navigation Outline
- 2 (00:03) **Episode Introduction & Roadmap** - The hosts frame the episode around OpenAI's claimed solution to the Navier-Stokes millennium problem, promising to cover the mathematics first and the drama second.
- 3 (10:20) **Newton's Laws as Foundation** - Krishna establishes the classical physics framework needed to understand fluid equations, using the mass-on-a-spring as a solvable example.
- 4 (19:08) **The Fluid Problem: Why We Need a New Language** - Krishna explains that fluids require a different approach because tracking individual molecules is impossible.
- 5 (26:34) **Divergence and Incompressibility** - Krishna introduces the constraint that physically realistic fluid velocity fields must have zero divergence.
- 6 (35:12) **Building the Acceleration Term** - Krishna constructs the left side of the Navier-Stokes equation (mass × acceleration) using a traffic analogy.
- 7 (61:27) **Forces on the Fluid** - Krishna introduces the right side of the equation: pressure gradients, external forces, and the crucial missing term—viscosity.
+ Full timestamped outline available in the app
Guests on this episode
Show Notes
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 More from this podcast
Tristan Buckmaster’s statement
METR investigation
Emergence World