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

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(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 Syys 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 Syys 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 Elo 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 Elo 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 Elo 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 Elo 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 Heinä 1h 44min

Suosittua kategoriassa Tiede

rss-mita-tulisi-tietaa
rss-poliisin-mieli
rss-hereilla
tiedekulma-podcast
utelias-mieli
rss-luontopodi-samuel-glassar-tutkii-luonnon-ihmeita
rss-tiedetta-vai-tarinaa
docemilia
rss-duodecim-lehti
rss-bios-podcast
hippokrateen-vastaanotolla
rss-ranskaa-raakana
radio-antro
rss-politiikasta-podcast
university-of-eastern-finland
rss-radplus
rss-lihavuudesta-podcast