OpenAI AI agents solve 90-year-old Navier-Stokes Millennium Problem in 88 hours
OpenAI announced that its internal AI system, using 10,000 coordinated agents powered by a model more capable than GPT-6 Astra, produced a solution to the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems. The proof, which asserts that smooth 3D fluid flow can form a singularity, was generated in 88 hours and formally verified using the Lean theorem prover. The Clay Mathematics Institute has not yet commented, and a mathematician has publicly challenged the claim.
Editorial responsibility
- No named human review is recorded for this page.
- Reports are grouped by semantic similarity and deterministic rules. Language models may assist titles, summaries, translation and cross-source analysis; the page reads the event directly, while its address stays stable when the title changes.
- Summary awaiting refresh
Summary awaiting refresh
Cross-source coverage
Reporting timeline
OpenAI's GPT-6 Astra model produces Navier-Stokes proof with Lean verification
A post from a user with a background in category theory and calculus argues that OpenAI's internal AI model has produced a novel mathematical proof for the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The author claims the proof withstands scrutiny and that the Lean formalization and verification were completed using GPT-6 Astra in 2026. The post emphasizes that this achievement represents a breakthrough in automated theorem search and scientific discovery, not just a mathematical curiosity. It compares the result to an earlier AI-assisted counterexample to the Jacobian conjecture. The author argues that the general public misunderstands the significance, which lies in the capability of AI systems to traverse hypothesis spaces, coordinate decades of research, and produce new knowledge. The post concludes that this capability could eventually be applied to fields like battery chemistry, fusion, materials science, and biology, marking the beginning of automating the epistemic frontier.
OpenAI Announces AI Model Solves Navier-Stokes Millennium Prize Problem in 88 Hours
On September 10, 2026, OpenAI officially announced that one of its internal AI models has generated a complete proof of the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The proof has been formally verified using the Lean theorem prover, marking a potential breakthrough in mathematics and AI capabilities. The announcement was made via the Chinese tech media outlet 新智元 (AI Era), which reported that the solution was achieved in just 88 hours. This development, if confirmed, would represent a monumental achievement in both artificial intelligence and pure mathematics, as the Navier-Stokes problem has remained unsolved for over a century. The news highlights the accelerating role of AI in scientific discovery and formal verification.
Read sourceOpenAI Announces AI Model Solves Millennium Prize Problem in 88 Hours
On September 10, 2026, OpenAI officially announced that one of its internal AI models has generated a complete proof of the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The proof was reportedly produced in just 88 hours and has been formally verified using the Lean proof assistant. This announcement, if confirmed, would represent a monumental breakthrough in mathematics and artificial intelligence, as the Navier-Stokes problem has remained unsolved for over a century. The news was reported by the Chinese media outlet 新智元 (Xinzhiyuan), which cited OpenAI's official statement. The achievement highlights the accelerating capabilities of AI in advanced mathematical reasoning and formal verification, potentially reshaping the landscape of scientific discovery.
Read sourceShow 6 older updatesHide older updates
OpenAI claims its AI agents solved the Navier-Stokes problem in 88 hours
OpenAI has announced that a team of its AI agents successfully solved the Navier-Stokes problem, a century-old mathematical challenge in fluid dynamics, in just 88 hours. The claim, if verified, would represent a major breakthrough in both mathematics and artificial intelligence, as the problem has stumped mathematicians for over a hundred years. The announcement was made via a post on X, linking to further details. The achievement highlights the accelerating capability of AI agents to tackle complex scientific problems that have long resisted human effort.
Read sourceOpenAI claims its AI agents solved 90-year-old Navier-Stokes problem in 88 hours
OpenAI announced that it has solved the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems, using a system of 10,000 coordinated AI agents powered by its internal model. The agents, which had access to a cached internet and code execution tools, produced a resolution in 88 hours after launch on September 5. The Clay Mathematics Institute, which established the prize problems, has not yet commented on the solution. A mathematician has publicly challenged OpenAI's claim, raising questions about the validity of the proposed solution. The Navier-Stokes equations describe fluid motion and have remained unsolved for 90 years, making this a potentially groundbreaking development in mathematics and physics if verified.
Read sourceOpenAI claims to have solved a maths problem that stumped humans for decades
OpenAI has announced that it has solved a long-standing mathematical problem, the Navier-Stokes Millennium Prize Problem, which has stumped humans for decades. This claim has generated significant attention and debate within the scientific and AI communities. The Guardian, Financial Times, Scientific American, and Business Insider are among the major outlets covering the story. The Financial Times notes that OpenAI faces competing claims around the maths breakthrough, suggesting some skepticism or alternative interpretations. Scientific American reports that the field will never be the same if the solution is verified. The story highlights the potential of AI to tackle complex scientific challenges and the ongoing drama surrounding AI's capabilities and limitations.
MASSIVE: OpenAI's 10,000 AI agents, powered by a model significantly more capable than GPT-6 Astra, solved a math problem that had remained unresolved for approximately 90 years. It appears that in this new world, the scaling law may be agent
A post on X claims that OpenAI deployed 10,000 AI agents, powered by a model more capable than GPT-6 Astra, to solve a long-standing mathematical problem. The problem, which mathematicians had been unable to resolve for approximately 90 years, concerns whether smooth 3D fluid flow can suddenly break down. OpenAI's proposed proof asserts that it can. The agents were divided into groups exploring different approaches, with the best findings shared among them. The search took 88 hours and utilized approximately 130 billion output tokens across 2.7 million messages. GPT-6 Astra then spent another 17 hours verifying and converting the proof into Lean, a system for verifying mathematical proofs. The Lean version is publicly available for mathematicians to inspect. The post suggests that scaling agent count, rather than model size, may be the key to solving hard scientific problems.
OpenAI Announces Agent-Generated Solution to Navier-Stokes Millennium Prize Problem
OpenAI has announced a solution to the Navier-Stokes Millennium Prize Problem, a long-standing mathematical challenge concerning whether smooth three-dimensional fluid motion described by the Navier-Stokes equations can break down. The problem had remained unsolved for approximately 90 years. The proof was generated by a team of AI agents using OpenAI's next-generation model, which is described as significantly more capable than GPT-6 Astra. Greg Brockman, a co-founder of OpenAI, hailed the achievement as a milestone for artificial intelligence and mathematics, expressing hope that the resulting knowledge would help the scientific community better understand nonlinear partial differential equations used to model the physical world. The announcement was made via a post on X (formerly Twitter) by Brockman, signaling a major breakthrough in both AI capabilities and mathematical research.
Read sourceOpenAI Announces Internal AI System Solved Navier-Stokes Millennium Problem
OpenAI has announced that its internal AI system has produced a solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems in mathematics. The AI system proved that an initially smooth fluid can form a singularity in a finite amount of time, a long-standing open question in fluid dynamics. OpenAI released a proof document along with a formal verification using the Lean theorem prover to validate the result. The announcement also mentions that the system produced byproducts related to the Euler equations and details of the collaboration between internal models and tens of thousands of agents. This development represents a significant milestone in AI-driven mathematical research, demonstrating the capability of large-scale AI systems to tackle complex theoretical problems that have eluded human mathematicians for decades.
Read source