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 Chapter…