Summary
Overview
Hannah Fry and Michael Stevens dive deep into the Navier-Stokes equations, one of mathematics' most famous unsolved problems, exploring how OpenAI's controversial AI-generated proof has sparked debate about the role of artificial intelligence in mathematics, the nature of scientific discovery, and whether technical achievement without deeper understanding has value for humanity.
OpenAI's Groundbreaking Navier-Stokes Proof
OpenAI announced they have a proof to the famous Navier-Stokes problem using AI, marking a potential first in solving a Clay Mathematics Institute million-dollar problem. The proof involved 10,000 coordinating AI agents working for 88 hours at an estimated cost of $15 million. This achievement has sparked significant controversy in the mathematical community, raising questions about AI's role in solving problems humans have struggled with for centuries.
- OpenAI announced proof to the Navier-Stokes problem, one of the Clay Maths Institute's million-dollar problems from the year 2000
- The proof was generated by a swarm of AI agents rather than a human mathematician
- OpenAI deployed approximately 10,000 coordinating AI agents working for 88 hours, costing an estimated $15 million
- The AI agents sent each other 2.7 million messages during the proof process
" It turns out the first thing to get there wasn't a mathematician, wasn't a human, it was a swarm of AI agents and believe me that has ruffled some feathers. "
" They threw everything they had at it... some estimates that it was 15 million dollars that it cost them to get this problem solved. "
Understanding the Navier-Stokes Equations and Fluid Dynamics
The Navier-Stokes equations are essentially Newton's F=MA applied to fluids, describing how liquids and gases flow. They rely on the continuum approximation, treating fluids as mathematically smooth and continuous rather than made of individual molecules. These equations can describe everything from blood flow in the human body to airplane wing aerodynamics, making them extraordinarily powerful yet extraordinarily complex.
- The Navier-Stokes equations are essentially F=MA applied to fluids, developed in the 1800s
- The continuum approximation treats fluids as continuous rather than made of particles, which works well except in extreme cases like spacecraft re-entry
- At sea level, air molecules are about 10 times further apart than their width, yet the continuum approximation still works
- The equations can describe blood flow, race car aerodynamics, and rocket launches - everything fluidy in the entire universe
" A single equation that manages to do every single one of those scenarios and I think it's really cool... You use the equation and it tells you hang on something like this should be possible and then you go and try it and it turns out wow that is so satisfying. "
📚 8 more sections below
Sign up to unlock the complete summary with all insights, key points, and quotes
Get this summary + all future The Rest Is Science episodes in your inbox
100% Free • Unsubscribe Anytime
Sign up now and we'll send you the complete summary of this episode, plus get notified when new The Rest Is Science episodes are released—delivered straight to your inbox within minutes.