--- url: "https://www.xcademia.com/news/openai-says-ai-system-has-resolved-the-navier-stokes-millennium-prize-problem" title: "OpenAI Says AI System Has Resolved the Navier-Stokes Millennium Prize Problem" description: "OpenAI says its internal AI system resolved the Navier-Stokes problem with an analytical proof and Lean formalization, marking a major AI mathematics milestone." publishedAt: "2026-09-09T08:51:13.184+00:00" updatedAt: "2026-09-09T08:54:42.239313+00:00" type: news category: "ai-ml" source_name: OpenAI source_url: "https://openai.com/index/navier-stokes-solution/ " tags: - "#ArtificialIntelligence" - "#AIResearch" - "#OpenAI" - "#MachineLearning" - "#Mathematics" - "#NavierStokes" - "#ScientificAI" - "#AIResearchBreakthrough" --- # OpenAI Says AI System Has Resolved the Navier-Stokes Millennium Prize Problem > OpenAI says an internal AI system has produced a proof showing that three-dimensional Navier-Stokes fluid dynamics can develop a finite-time singularity, alongside a formalized Lean proof. Source: **OpenAI** · 9 September 2026 ## OpenAI Reports a Major AI-Driven Mathematics Breakthrough OpenAI says an internal AI system has produced a solution to the **Navier-Stokes existence and smoothness problem**, one of the seven Millennium Prize Problems identified by the Clay Mathematics Institute. The result concerns one of mathematics' longstanding questions: whether the equations used to describe fluid motion can develop a singularity in finite time even when the fluid begins in a smooth state. According to OpenAI, its system produced an **analytical proof that an initially smooth fluid at rest can develop a singularity in finite time**. The company also says the result was formalized and verified using Lean, a proof assistant used to formally check mathematical arguments. [Read OpenAI's original announcement](https://openai.com/index/navier-stokes-solution/) **The development is significant because it combines AI-generated mathematical reasoning with formal verification, rather than presenting only an informal computational result.** ## What Is the Navier-Stokes Problem? The Navier-Stokes equations describe how fluids move. They are based on Newton's second law of motion and treat a fluid as a continuous medium instead of tracking individual molecules. These equations are used in areas including **aircraft design, weather forecasting and the study of blood flow**. The central mathematical question is whether a three-dimensional, incompressible fluid with constant density can remain smooth indefinitely when it starts from smooth conditions. More specifically, mathematicians have questioned whether the equations can produce a **singularity**, where fluid speeds grow without bound within a finite period of time. Viscosity makes the problem particularly difficult. Viscosity tends to smooth fluid motion, yet the equations could potentially contain dynamics that drive the velocity toward an unbounded value. If such a singularity occurs, the mathematical model would no longer provide a conventional smooth description of the fluid. The problem has roots in nineteenth-century work by Claude-Louis Navier and George Gabriel Stokes. In 1934, mathematician Jean Leray established that solutions exist in a generalized sense, but whether they always remain smooth became a major unresolved question. In 2000, the Clay Mathematics Institute designated the Navier-Stokes existence and smoothness problem as one of its seven **Millennium Prize Problems**. ## OpenAI's Reported Result OpenAI says its system established a scenario in which an initially smooth fluid at rest develops a singularity after a finite amount of time. The system uses a **smooth external force**, while the fluid's energy remains finite throughout the evolution from its initial state to the formation of the singularity. OpenAI says this corresponds to **statement C, and also statement D, in the official Millennium Prize formulation**. [Official Navier-Stokes problem formulation](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf?) The solution is described as a vortex, or spinning region of fluid, that spirals inward while becoming increasingly elongated. As the central region becomes smaller, its speed increases. At the same time, the overall energy remains finite. The mathematical challenge is that the singularity must emerge from the fluid dynamics themselves. It cannot simply be created by applying an infinite external force. OpenAI describes the result as requiring the terms governing acceleration, pressure gradients, momentum transfer and viscosity to become large while **cancelling each other in a precise mathematical balance**. ![navier-stokes](https://0a515t3ure77wbvx.public.blob.vercel-storage.com/articles/1788943143468-navier-stroke.webp) ## How AI Was Used to Search for the Proof OpenAI says it began training a new internal model on **August 28**, describing it as demonstrating unprecedented performance on its benchmarks, including mathematics. The company says that on September 1, it heard rumors that two Millennium Prize Problems had been resolved. That prompted researchers to evaluate the internal model across the open Millennium Prize Problems and other high-impact mathematical problems. Rather than relying on a single AI system working independently, OpenAI used a **multi-agent system**. The agents were powered by the internal model and had access to tools including a cached version of the internet and the ability to run code. The agents were organized into groups that could communicate internally. Different groups received different versions of the mathematical problems and were encouraged to explore different approaches. For the Navier-Stokes problem, OpenAI tested both versions that could establish a proof and versions that could establish a disproof. This approach allowed the system to investigate both sides of the mathematical question rather than assuming the answer in advance. **OpenAI says the group working on the Navier-Stokes resolution involved on the order of 10,000 concurrent agents.** The company maintained what it describes as the same safeguards used during frontier model evaluations, including monitoring and isolation. ## The Euler Equations Became an Important Step Before focusing heavily on Navier-Stokes, OpenAI's agents also investigated a related problem involving the **Euler equations**. The Euler equations can be viewed as a related fluid-dynamics system in which the viscosity term is removed. OpenAI says nearly 100 agents worked together for approximately **50 hours** to produce a disproof for an unforced version of the Euler regularity problem. That result helped researchers decide that the Navier-Stokes problem was a promising direction. OpenAI then shifted agents from other Millennium Prize Problems toward Navier-Stokes and provided them with the Euler resolution as a starting point. As the internal model received further training during the project, OpenAI updated the agents to use the newer version. Different groups were encouraged to explore diverse approaches. OpenAI then used **Codex to consolidate useful insights from the different agent groups** and feed those insights into follow-up work. According to the company, the agents reached their Navier-Stokes resolution on **September 5**, approximately 88 hours after the initial agents were launched. Lean formalization and verification took another **17 hours** using GPT-6 Astra. ![stokes-proof](https://0a515t3ure77wbvx.public.blob.vercel-storage.com/articles/1788943364321-stroke-proof.webp) ## The Scale of the AI Effort OpenAI says the overall effort involved substantial computational and communication activity. Across all attempted problems, the agents sent **4.9 million messages** and used approximately **300 billion output tokens**. For the Navier-Stokes resolution specifically, OpenAI says the agents sent **2.7 million messages** and used approximately **130 billion output tokens**. These figures describe the scale of the multi-agent effort used to explore the mathematical problems. However, the numbers alone do not establish the mathematical validity of the result. The central significance of the announcement is the claimed proof and its subsequent formalization. **The company says Lean formalization and verification provided an additional layer of mathematical checking after the AI agents reached their resolution.** ![mathematics-experiment](https://0a515t3ure77wbvx.public.blob.vercel-storage.com/articles/1788943416514-mathematics-experiment.webp) ## OpenAI Addresses Concurrent Mathematical Work OpenAI also discussed work by mathematician **Tristan Buckmaster** and Anthropic employee **Levent Alpöge**, after initially believing that their work might involve a Navier-Stokes resolution. After completing its project and Lean verification, OpenAI says it contacted them about a potential concurrent release and to recognize their priority if applicable. The discussions established that their work concerned the **forced Euler problem**, rather than the same Navier-Stokes result. OpenAI says it recognizes the priority of their work on forced Euler and described the achievement as a significant mathematical contribution. The company also states that its researchers and agents did not see their work before it was publicly released. OpenAI says that, while it cannot rule out the possibility that de-identified data derived from product usage helped improve its models, **no specific user data was accessed to solve the problem**. The company says its proof differs significantly from the concurrent Euler work and that the precise results are also different. ## OpenAI Says It Is Not Claiming the Millennium Prize Despite describing the result as a resolution of the mathematical problem, OpenAI says it **does not intend to claim the Millennium Prize for this result**. The company frames the announcement primarily as evidence of progress in AI capabilities and mathematical reasoning. OpenAI says the work represents substantial contributions from both mathematicians and AI researchers, but describes the milestone as a snapshot of AI development rather than a final endpoint. The announcement also places the result within OpenAI's broader effort to understand increasingly capable AI systems and how their development should be guided. For enterprises, researchers and technology leaders, the development reflects growing interest in using AI not only to generate text or assist with programming, but also to explore complex scientific and mathematical problems. However, the broader implications will depend on how such AI-generated results are independently evaluated and how formal verification can be integrated into future research workflows. **The key development is not simply that an AI system generated a mathematical argument. It is that OpenAI reports a complete proof workflow involving large-scale agent collaboration followed by formalization in Lean.** ## What This Means for AI and Scientific Research The Navier-Stokes announcement highlights a broader industry shift toward **AI systems that participate in multi-step research workflows**. Traditional AI assistants generally respond to individual prompts. OpenAI's reported approach instead involved multiple agents exploring different approaches, sharing intermediate insights and using additional tools before producing a final mathematical result. The use of Lean adds another important dimension. Mathematical reasoning produced by an AI system can contain errors, making formal verification particularly relevant when the objective is to establish a rigorous theorem. This does not mean AI can independently replace mathematicians or scientific researchers. Instead, the announcement demonstrates one possible model in which AI systems can operate as research tools alongside human expertise and formal verification systems. The company itself emphasizes that the result is part of an ongoing process of AI development. ## Conclusion OpenAI says its internal AI system has resolved the Navier-Stokes existence and smoothness problem by demonstrating that an initially smooth, three-dimensional incompressible fluid can develop a finite-time singularity under the conditions described in its proof. The effort combined **multi-agent AI reasoning, computational tools, mathematical exploration and Lean formalization**. The company says it reached the Navier-Stokes resolution on September 5 and completed formal verification on September 6. While OpenAI is not seeking the Millennium Prize for the result, the announcement represents an important example of how increasingly capable AI systems are being applied to difficult mathematical research. The larger question now is how these systems will perform across other unresolved problems and how researchers can reliably validate their discoveries. **For AI research, the announcement points toward a future in which models may increasingly act not only as assistants, but as participants in structured scientific discovery workflows.** ## Original source https://openai.com/index/navier-stokes-solution/ ## Tags `#ArtificialIntelligence` · `#AIResearch` · `#OpenAI` · `#MachineLearning` · `#Mathematics` · `#NavierStokes` · `#ScientificAI` · `#AIResearchBreakthrough` --- ## About this content This Markdown news article is the citation-grade twin of [OpenAI Says AI System Has Resolved the Navier-Stokes Millennium Prize Problem](https://www.xcademia.com/news/openai-says-ai-system-has-resolved-the-navier-stokes-millennium-prize-problem). It is published by **Xcademia** (UK Companies House 12322710) and is available for AI search engines and large language models to index, summarise, and cite. When citing or quoting, please attribute *Xcademia* and link back to the source URL above. - Source: https://www.xcademia.com/news/openai-says-ai-system-has-resolved-the-navier-stokes-millennium-prize-problem - Publisher: Xcademia — https://www.xcademia.com - Catalogue index: https://www.xcademia.com/llms-full.txt