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.SummaryHow Newton’s laws become equations for a moving fluidVelocity fields, incompressibility, pressure and the nonlinear convective termWhy viscosity smooths a fluid while nonlinear motion can create finer structureWhat finite-time blowup means, and why simulation is different from proofHow forced and unforced equations differ, and why those assumptions matterEarlier work on Euler, Boussinesq and related fluid equationsOpenAI’s claimed result, Lean verification and the scope of the theoremThe dispute over scientific credit and the human research behind AI-assisted workThe METR investigation of the Hugging Face incidentEmergence World and long-running multi-agent experimentsAI-assisted biological discovery, oversight and recursive self-improvementSeparating demonstrated capabilities from claims and future scenariosChapters00:00 Can AI solve Navier-Stokes?00:34 Episode introduction02:20 Navier-Stokes: Mathematics Meets AI10:20 Building the Equations of Fluid Motion21:34 Velocity fields, divergence and incompressibility34:33 Acceleration and the convective term52:18 Why Fluid Motion Is Nonlinear1:02:08 Pressure, Euler and the Missing Physics1:14:50 How Viscosity Changes Everything1:33:36 Solving Equations vs. Simulating Fluids1:44:59 Can a Smooth Fluid Blow Up?2:13:52 The Road to the Claimed Breakthrough2:31:13 Inside the Claimed Navier-Stokes Proof2:48:26 The Dispute Over Scientific Credit3:07:23 From Chatbots to Agents3:08:57 The METR report and Hugging Face incident3:23:23 AI Risk, Oversight and the Race Ahead3:38:51 AI Discovery Beyond Mathematics3:52:47 Why “just turn it off” gets complicated4:06:47 Closing thoughts and what comes next4:08:46 OutroFeatured ResearchOpenAI’s Navier-Stokes announcementTristan Buckmaster’s statementMETR investigationEmergence WorldAI-assisted enzyme discoveryExplore FFPffppod.comffppod.com/fundingffppod.com/transfersffppod.com/America250Watch on YouTubeyoutu.be/NGfGw1tGxUYSupport the showffppod.com/donateFollow@FFPPod on X / Instagram / TikTok / Facebook