Mathematicians Are The Canary Down The AI Coal Mine
Summary
Hannah and Michael explore the Navier-Stokes equations, explaining their derivation from Newton’s laws and their critical role in fluid dynamics. They discuss the recent controversy surrounding OpenAI’s claim to have solved the Clay Millennium Problem regarding the existence and smoothness of these equations. The hosts use analogies and a live corn syrup demonstration to illustrate concepts like viscosity and Stokes flow, highlighting the tension between AI advancements and traditional mathematical verification.
Topics discussed
Introduction and host excitement
OpenAI's AI agents solve a famous math problem
Context on AI solving problems and Navier-Stokes
Sponsor segments and transition to main topic
The Riemann hypothesis and unverified AI proofs
Explaining Navier-Stokes: F=ma for fluids
Continuum approximation and rarefied air
Conservation of mass and fluid blobs
Forces on fluid: pressure and shear stress
The Cauchy equation and the 'F' term
Newtonian vs non-Newtonian fluids
Deriving the full Navier-Stokes equation
The beauty and complexity of the equation
The feedback loop term and instability
Simplifying the equation and PhD context
Medical application: treating aneurysms
Stokes flow demonstration with corn syrup
Boundary layers and golf ball dimples
Euler's equations and the path to the Clay problem
Break and bladder fluid dynamics joke
The Clay problem: existence and smoothness
OpenAI's swarm of agents and the blow-up result
Controversy: data peeking and collaboration
Motivations: money vs mathematical insight
AI as a status symbol vs scientific progress
Interpretability and the lack of new insight
Comparison to the ABC conjecture proof
Stages of AI: interpolation, extrapolation, abstraction
Critique of the proof's convoluted external forces
Conclusion: taste, nuance, and human value
Sponsor segment: UKG
Sponsor segment: Nintendo Switch 2
Listen ad-free on Castria