OpenAI claims nearly 10,000 AI agents solved the 90-year-old Navier-Stokes problem in 88 hours, but mathematicians must still verify the proof
New Delhi: OpenAI has claimed a major breakthrough in mathematics, saying nearly 10,000 AI agents worked together to solve the Navier-Stokes problem, one of the world’s most difficult mathematical challenges. According to the company, the AI system found a potential solution in around 88 hours.
However, mathematicians have not yet officially accepted the claim. Independent experts still need to examine the proof before the problem can be considered solved.
What Is the Navier-Stokes Problem?
The Navier-Stokes equations describe how fluids and gases move. Scientists use them to study phenomena such as airflow, water movement, weather systems and blood flow.
The central mathematical question is whether smooth solutions to the three-dimensional equations always remain smooth, or whether they can develop a singularity within a finite period.
In simple terms, researchers want to know whether a fluid can reach a mathematical state where certain quantities become unbounded and the equations stop behaving smoothly.
The problem has remained unresolved for decades and forms part of the seven Millennium Prize Problems announced by the Clay Mathematics Institute. Each problem carries a $1 million prize for a valid solution.
How Did AI Approach It?
OpenAI used a multi-agent AI system rather than relying on a single model. Thousands of AI agents worked simultaneously on different mathematical approaches, shared ideas and evaluated possible solutions.
According to OpenAI, around 10,000 agents worked on the Navier-Stokes problem. They exchanged about 2.7 million messages and generated roughly 130 billion output tokens during the experiment.
The system reportedly reached its result in about 88 hours. OpenAI then spent around 17 additional hours formalizing and checking the proof using Lean, a computer-assisted proof system.
What Did the AI Claim to Prove?
OpenAI says its system constructed a mathematical example in which a smooth fluid can develop a finite-time singularity under a smooth external force.
The proposed solution involves a fluid vortex that spirals inward and becomes increasingly elongated. According to OpenAI, this process eventually produces the singularity required to answer the long-standing mathematical question.
If independent experts confirm that the proof satisfies the exact conditions of the Millennium Prize problem, it could represent a historic breakthrough.
Why Is the Claim Controversial?
The announcement has also raised questions about originality, attribution and AI training data.
Researchers Tristan Buckmaster and Levent Alpöge, who have worked on related Navier-Stokes research, have also been mentioned in discussions surrounding the claim.
OpenAI says its AI agents did not access their private research. However, questions remain about how AI systems use publicly available research and how credit should be given when AI builds on existing mathematical knowledge.
Reports have also highlighted earlier work by researchers including Nishant Singh and S. Sridhar, whose 2017 research on exact solutions to Navier-Stokes equations reportedly appears in the background of the new work.
Is the Problem Officially Solved?
Not yet.
OpenAI has published its proposed proof and formalized it using Lean, but independent mathematicians must still examine the argument. The Clay Mathematics Institute will ultimately determine whether a submission meets the requirements for its Millennium Prize.
For now, the most accurate description is that OpenAI claims to have solved the Navier-Stokes problem.
If independent mathematical review confirms the proof, the achievement could mark a major shift in scientific research showing that large teams of AI agents can tackle mathematical problems that have challenged humans for generations.
