OpenAI's 88-Hour Test Signals a Breakthrough in Fluid Dynamics
How an AI system generated a Navier-Stokes proof in less than four days while mathematicians began a process that could take years to settle the question of whether it is truly correct.
The Announcement That Changed the Evidence Landscape On September 8, 2026, OpenAI published what it describes as a solution to the Navier-Stokes existence and smoothness Millennium Prize Problem. An internal model, said to be significantly more capable than GPT-6 Astra, coordinated roughly 10,000 agents to construct an analytical proof over approximately 88 hours. A second phase of roughly 17 hours followed, during which the system helped formalize and verify the result in Lean 4, an interactive theorem prover....
Read more