What OpenAI Actually Did to Navier-Stokes (EP 58)

What OpenAI Actually Did to Navier-Stokes (EP 58)

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

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(58)

What’s Next in Science? Nobel Prizes, Space Missions & More (EP 57)

What’s Next in Science? Nobel Prizes, Space Missions & More (EP 57)

What science should you be watching this fall? From Nobel Prize season to NASA’s Roman Space Telescope, Mars’ moons and Mercury, Lester Nare and Krishna Choudhary take a relaxed tour of the discoverie...

14 Sep 1h 3min

The Yak Mutation That Could Help Repair the Brain (EP 56)

The Yak Mutation That Could Help Repair the Brain (EP 56)

What can a yak living thousands of meters above sea level teach us about repairing the human brain?In Episode 56 of From First Principles, Lester Nare and Krishna Choudhary break down a new Neuron pap...

7 Sep 1h 35min

Why Spin Qubits Will Win the Quantum Race (Part 2) (EP 55)

Why Spin Qubits Will Win the Quantum Race (Part 2) (EP 55)

Which quantum computer will actually scale?In Part 2 of our quantum computing deep dive, Lester Nare and Krishna Choudhary move from theory to hardware—comparing superconducting qubits, trapped ions, ...

31 Aug 3h 46min

How Quantum Computing Actually Works (Part 1) (EP 54)

How Quantum Computing Actually Works (Part 1) (EP 54)

Quantum computers do not simply “try every answer at once.” So what do they actually do—and why have governments and technology companies spent billions trying to build them?In Part 1 of our two-part ...

20 Aug 2h 11min

What Claude Actually Did to the Riemann Hypothesis (EP 53)

What Claude Actually Did to the Riemann Hypothesis (EP 53)

Claude did not solve the Riemann Hypothesis. But what it actually did may be one of the clearest examples yet of how rapidly AI systems are changing the way difficult mathematics can be attacked.In Ep...

14 Aug 1h 47min

The Amazon’s Hidden Civilization (One Year Anniversary) (EP 52)

The Amazon’s Hidden Civilization (One Year Anniversary) (EP 52)

In this anniversary episode, Lester Nare and Krishna Choudhary look back at how two longtime friends turned their regular conversations about science into a show now shared by millions of people aroun...

6 Aug 1h 47min

The Tech Elon Has Been Waiting For (EP 51)

The Tech Elon Has Been Waiting For (EP 51)

What happens when electronics can operate at temperatures hot enough to melt aluminum?In this deep-dive episode, Lester Nare and Krishna Choudhary examine a new high-temperature memory device develope...

31 Juli 1h 44min

Populärt inom Vetenskap

dumma-manniskor
p3-dystopia
rss-mottagningen
angestpodden
allt-du-velat-veta
rss-ronden
kapitalet-en-podd-om-ekonomi
det-morka-psyket
ufo-sverige
svd-nyhetsartiklar
sexet
4health-med-anna-sparre
rss-arkeologi-historia-podden-som-graver-i-vart-kulturlandskap
rss-spraket
rss-vetenskapsradion
vetenskap-och-halsa
rss-vetenskapsradion-2
bildningspodden
medicinvetarna
vetenskapsradion