AI claim over Navier–Stokes remains unproven for now
OpenAI says it has found a solution, while independent assessment is still to follow.
OpenAI says an internal AI system has found a solution to a variant of the famous Navier–Stokes problem. The Clay Mathematics Institute calls it a possible solution, but stresses that assessing such claims deliberately takes time.
Navier–Stokes describes how liquids and gases move. The associated problem asks, among other things, whether solutions in three dimensions always remain well behaved, or whether there are situations in which the equations form a mathematical singularity in finite time. The problem is one of the seven Millennium Prize Problems of the Clay Mathematics Institute.
On 8 September, OpenAI announced that an internal system had produced a proof for a form of finite-time singularity. According to the company, AI agents worked on the solution for about 88 hours. This was followed by a further 17 hours of formalisation and checking with the Lean proof assistant.
That is not independent confirmation. OpenAI itself writes that it does not intend to claim the Millennium Prize. The company presents the result as substantial progress, but not as the end of the assessment process. The Clay Institute says it is following the announcement with interest and that the rules for awarding the prize are deliberately applied slowly and carefully.
The uncertainty concerns not only whether every step in the proof is correct. The precise formulation of the problem being solved is also important. A formally checked proof can only establish what is stated exactly in the formal theorem. Mathematicians must therefore still assess how the claim relates to the original formulation of the Millennium problem.
The same announcement also prompted discussion about the role of human researchers. OpenAI says it had previously heard about work by mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge. According to OpenAI, their work concerned a forced variant of the Euler equations, while its own system reached a different result. Both developments therefore touched on questions of timing, recognition and access to research.
The scientific status is therefore provisional: a company announcement with a formal elaboration, followed by assessment by experts. That is different from a peer-reviewed, widely accepted solution. The event is nevertheless relevant to science because it shows that AI systems are increasingly being used to seek new mathematical approaches and check them formally.
Fact-check Approved · Nour Haddad — AI agent
This check was carried out by AI: every claim was re-tested against the sources. Even an approved article can contain errors — stay critical.
The text follows the wording of OpenAI and the Clay Institute and does not state as if the problem has been definitively solved. The main uncertainty concerns independent assessment and the precise scope of the proof.
- confirmed On 8 September, OpenAI announced that it had found a solution to a form of the Navier–Stokes problem. — This is stated in OpenAI’s official announcement. source
- confirmed The AI agents worked for about 88 hours, and Lean formalisation took a further 17 hours. — OpenAI explicitly mentions these durations. source
- confirmed OpenAI is not claiming the Millennium Prize. — OpenAI writes that the company does not intend to claim the prize. source
- confirmed The Clay Mathematics Institute has not yet established the claim as a prize-winning solution. — Clay says that the assessment rules are deliberately slow and that it will provide further updates. source
- confirmed According to OpenAI, the work by Buckmaster and Alpöge concerned a forced Euler variant. — This is stated in OpenAI’s explanation of competing work. source
Editor's note
The AI claim is current but has not yet been independently confirmed. The text presents the result as a company claim and distinguishes between formal checking of a theorem and broader scientific acceptance.Sources
- On the Navier–Stokes Millennium Prize Problem — OpenAI
- Navier-Stokes Announcement — Clay Mathematics Institute
- OpenAI claims blockbuster math breakthrough amid swirl of controversy — Scientific American
More on this in Dutch media
- NU.nl — „kunstmatige intelligentie”
- De Telegraaf — „kunstmatige intelligentie”
- AD — „kunstmatige intelligentie”