OpenAI AI System Solves Navier-Stokes Millennium Prize Problem

OpenAI has announced that its internal AI system successfully solved the Navier-Stokes existence and smoothness problem, one of the historic Millennium Prize Problems. On September 8, 2026, the company revealed that the AI generated an analytical proof showing that the dynamics of fluid motion can develop a singularity within a finite timeframe. This marks a major step forward in a field that has challenged mathematicians for nearly 90 years. The Navier-Stokes equations, which govern how fluids move, are essential for everything from weather forecasting to aircraft design. For decades, the central mystery was whether smooth, three-dimensional fluid motion could eventually break down. OpenAI’s work demonstrates that a fluid starting in a smooth state can indeed reach a singularity while maintaining finite energy, answering a fundamental question in mathematical physics.

The internal model behind this discovery is significantly more powerful than its predecessors, including GPT-6 Astra. To reach this conclusion, the system deployed roughly 10,000 autonomous AI agents working for 88 hours to generate both the proof and its formalization in the Lean programming language. By working together and utilizing advanced computational tools, these agents were able to navigate complex mathematical landscapes and identify solutions to long-standing open problems. The proof describes a specific vortex formation where fluid spirals inward and elongates, showing how these dynamics remain consistent with the laws of physics even as they approach a breakdown point.

Beyond resolving a core question in fluid dynamics, the achievement illustrates the growing role of AI in high-level scientific research. By addressing a Millennium Prize Problem, OpenAI has signaled the rapid expansion of machine intelligence and its potential for future discovery. The company plans to continue using these advanced models to investigate other significant mathematical challenges. This resolution of the Navier-Stokes problem highlights how artificial intelligence can expand the boundaries of scientific knowledge, establishing a new framework for how mathematics and AI might work together in the years to come.