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

<p>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?</p><p>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.</p><p><strong>Summary</strong></p><ul><li>How Newton’s laws become equations for a moving fluid</li><li>Velocity fields, incompressibility, pressure and the nonlinear convective term</li><li>Why viscosity smooths a fluid while nonlinear motion can create finer structure</li><li>What finite-time blowup means, and why simulation is different from proof</li><li>How forced and unforced equations differ, and why those assumptions matter</li><li>Earlier work on Euler, Boussinesq and related fluid equations</li><li>OpenAI’s claimed result, Lean verification and the scope of the theorem</li><li>The dispute over scientific credit and the human research behind AI-assisted work</li><li>The METR investigation of the Hugging Face incident</li><li>Emergence World and long-running multi-agent experiments</li><li>AI-assisted biological discovery, oversight and recursive self-improvement</li><li>Separating demonstrated capabilities from claims and future scenarios</li></ul><p><strong>Chapters</strong></p><p>00:00 Can AI solve Navier-Stokes?<br />00:34 Episode introduction<br />02:20 Navier-Stokes: Mathematics Meets AI<br />10:20 Building the Equations of Fluid Motion<br />21:34 Velocity fields, divergence and incompressibility<br />34:33 Acceleration and the convective term<br />52:18 Why Fluid Motion Is Nonlinear<br />1:02:08 Pressure, Euler and the Missing Physics<br />1:14:50 How Viscosity Changes Everything<br />1:33:36 Solving Equations vs. Simulating Fluids<br />1:44:59 Can a Smooth Fluid Blow Up?<br />2:13:52 The Road to the Claimed Breakthrough<br />2:31:13 Inside the Claimed Navier-Stokes Proof<br />2:48:26 The Dispute Over Scientific Credit<br />3:07:23 From Chatbots to Agents<br />3:08:57 The METR report and Hugging Face incident<br />3:23:23 AI Risk, Oversight and the Race Ahead<br />3:38:51 AI Discovery Beyond Mathematics<br />3:52:47 Why “just turn it off” gets complicated<br />4:06:47 Closing thoughts and what comes next<br />4:08:46 Outro</p><p><strong>Featured Research</strong></p><p><a href="https://openai.com/index/navier-stokes-solution/" rel="ugc noopener noreferrer" target="_blank">OpenAI’s Navie