OpenAI on Tuesday said its new internal AI system has solved the 90-year-old Navier–Stokes existence and smoothness problem, one of the most difficult questions in modern mathematics. The system yielded an analytical proof that a smooth three-dimensional fluid could generate a singularity, a situation in which the fluid's velocity becomes infinite in a finite time, the company said.
The Clay Mathematics Institute announced a list of Millennium Prize problems in 2000, of which the Navier–Stokes problem is one. Each carries a $1 million prize for a valid solution. OpenAI states that it will not attempt to win the prize, but its victory must still be validated by the broader math world community.
The Navier-Stokes equations describe the motion of fluids such as water and air. They are based on Newton’s laws of motion and treat fluids as continuous substances rather than tracking individual molecules.
They are applied throughout the range, from weather forecasting to aircraft design, from ocean research to blood-flow studies. The main mathematical problem is whether the fluid's smoothness can be preserved over time or whether it can abruptly develop a singularity.
A singularity would occur if the fluid had an infinitely large velocity in a finite time. This would make it very difficult to determine if the equations are still accurately describing the fluid.
Viscosity is a fluid’s resistance to motion. For instance, honey is much thicker than water. In general, viscosity dampens irregularities in fluid flow. A longstanding issue has been predicting whether this smoothing effect is sufficiently strong to prevent the formation of a singularity in 3D flow.
The existence of solutions has been known since 1934, thanks to the work of the mathematician Jean Leray. But proving that those solutions always remain smooth has remained unresolved.
OpenAI's AI system discovered a counterexample to its non-singular fluid assumption, showing that a smooth fluid can form a singularity in finite time. The proposed solution is a vortex that spirals towards a centre point and extends along the axis.
The flow speeds up, and the total energy remains finite as the vortex decreases in size. The acceleration, pressure, momentum transfer and viscosity terms get very large but cancel exactly, says OpenAI. This allows the flow velocity to be continuous, while the external force is a smooth function.
The company's result confirms statements “C” and “D” in the Clay Institute's formulation of the problem, the company states. It also created a formal version of that proof in Lean, a computer system that verifies mathematical arguments.
The project started on 28 August and has continued since then, according to OpenAI, after receiving word on 1 September that the Millennium Prize problems may be solved.
The company experimented with multiple teams of AI agents to see what strategies they could develop. Around 10,000 concurrent agents were involved in the group working on the Navier–Stokes equations. According to OpenAI, the agents brainstormed ideas, executed code and utilized pre-stored online information.
The system reportedly converged to its Navier–Stokes solution on 5 September, 88 hours after the process started. Lean formalization and verification took an additional 17 hours, according to OpenAI.
The claim is important but still requires a careful examination from independent mathematicians to confirm a computer-generated proof. Whether OpenAI's result is up to the decadal challenge will be judged by the wider math community.
Pragya is a Technology reporter with over four years of experience in digital media and content writing. She holds a Master’s degree in Journalism and has covered a wide range of stories spanning space, smartphones, gadgets, artificial intelligence, emerging technologies and the ways technology is transforming everyday life. She focuses on breaking down complex technology and science developments into clear, engaging, and reader-friendly stories, with a keen interest in emerging trends and their real-world impact. Before joining her current newsroom, Pragya worked with News9Live, where she covered the technology beat extensively, reporting on smartphones, consumer technology, AI, space and science, while also contributing to video and visual content. Her experience includes breaking news, explainers, SEO-driven stories, product coverage, interviews, unboxing videos and live event reporting. She has also covered major technology and AI events, giving her experience in both newsroom and on-ground reporting. Beyond journalism, Pragya is an avid gamer and a passionate reader of fiction. She enjoys exploring immersive worlds through games and books, with a particular interest in stories that offer new perspectives, ideas, and experiences.
Catch all the Business News, Market News, Breaking News Events and Latest News Updates on Live Mint. Download The Mint News App to get Daily Market Updates.
MoreOops! Looks like you have exceeded the limit to bookmark the image. Remove some to bookmark this image.
Facts Only
* OpenAI developed an internal AI system to address the Navier–Stokes existence and smoothness problem.
* The system produced an analytical proof that a smooth three-dimensional fluid can generate a singularity.
* The Navier–Stokes problem is one of the Millennium Prize problems established by the Clay Mathematics Institute in 2000.
* A valid solution to the problem carries a $1 million prize.
* The proposed solution involves a vortex that spirals toward a center point and extends along the axis.
* The proof was formalized using the Lean computer verification system.
* The project began on August 28 and the system converged on a solution on September 5.
* Approximately 10,000 concurrent AI agents were utilized in the process.
* Formalization and verification in Lean took 17 hours following the initial solution.
* OpenAI stated it will not attempt to win the monetary prize.
Executive Summary
OpenAI has claimed that its internal AI system has solved the 90-year-old Navier–Stokes existence and smoothness problem, a Millennium Prize challenge. The system identifies a counterexample to the non-singular fluid assumption, arguing that a smooth 3D fluid can develop a singularity where velocity becomes infinite in a finite time. To support this claim, the company utilized an ensemble of 10,000 AI agents to brainstorm and execute code, subsequently verifying the proof through the Lean mathematical verification system.
While the internal results are presented as a victory, the solution remains unvalidated by the broader mathematical community. The claim asserts that the fluid's acceleration, pressure, and viscosity terms cancel exactly to allow for continuous flow velocity despite the singularity. Because the validity of such a proof requires independent peer review, the outcome remains an unconfirmed proposal rather than a settled mathematical fact.
Full Take
The strongest version of this narrative is that we have entered an era where AI can not only assist in mathematics but autonomously solve "unsolvable" problems by exploring state spaces far beyond human capacity. By combining generative brainstorming with formal verification tools like Lean, AI may be bypassing the traditional human bottleneck of intuitive leaps.
However, the narrative relies heavily on the "Authority Game," where the prestige of the entity (OpenAI) and the complexity of the tool (10,000 agents) serve as the primary evidence for the claim's validity. The central assertion—that a singularity exists—is presented as a settled conclusion before independent mathematicians have vetted the logic. The mention of the $1 million prize and the company's "refusal" to seek it adds a layer of perceived altruism that distracts from the absence of external peer review.
Patterns detected: ARC-0062 Authority Game
The driving paradigm is "Computational Supremacy," the assumption that sheer scale (agents and compute) can substitute for traditional deductive rigor. This echoes the "black box" problem: we are asked to trust the result because the process is too complex for a human to replicate in real-time. If this pattern holds, human mathematicians may shift from creators of proofs to mere auditors of AI-generated outputs, potentially eroding the deep cognitive engagement required for true mathematical understanding.
If this were a coordinated influence campaign, the playbook would involve announcing a "historic breakthrough" via a high-profile corporate entity to trigger a market or hype cycle, using technical jargon (Lean, Navier-Stokes) to discourage skepticism from non-experts. The actual content matches this structural pattern by prioritizing the announcement of victory over the presentation of the proof for public scrutiny.
Bridge Questions:
1. If a proof is verified by Lean but cannot be intuitively explained by a human, has the problem been "solved" or merely "computed"?
2. What specific criteria must independent mathematicians use to falsify this AI-generated counterexample?
3. How does the shift toward AI-led discovery change the value of the Millennium Prizes?
Sentinel — Human
The text appears to be a factual report synthesizing a high-profile announcement, likely originating from journalistic reporting on OpenAI's findings, rather than pure synthetic generation.