OpenAI’s AI claims Navier‑Stokes solution as mathematicians question its meaning and originality
OpenAI reported that its artificial‑intelligence system produced a proof for the Navier‑Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize challenges. Leading mathematicians such as James Maynard and Javier Gómez‑Serrano describe the proof as virtually unreadable and not yet useful for advancing human understanding. Courant Institute professor Tristan Buckmaster alleges that OpenAI learned of his and Anthropic researcher Levent Alpöge’s work on the Euler equations shortly before the claim and copied their method, a charge the company denies.
The AI’s approach relies on a formulation that includes an external force, which specialists say does not address the core force‑free version most researchers consider essential. At the same time, a group of twenty‑five Fields Medalists issued a statement warning that rapid AI breakthroughs could threaten scholarly work, while OpenAI says its model has also generated solutions to more than 100 long‑standing mathematical problems.
Why it matters
It shows that AI can tackle problems that have eluded mathematicians for decades, raising questions about verification, credit and the future role of human researchers.
How this story developed
- Sep 8 OpenAI claims AI system solved Navier-Stokes problem in 88 hours
- Sep 9 OpenAI clarified it is not seeking the $1 million Millennium Prize.
- Sep 9 OpenAI disclosed that the proof has not been independently validated and that the effort cost about $10 million.
- Sep 9 Credit dispute over authorship of the AI-generated Navier‑Stokes proof emerged
- Sep 13 OpenAI reported that roughly 10,000 semi‑autonomous bots worked together for about 88 hours to produce the proof.
- Sep 23 OpenAI’s AI has now claimed solutions to over 100 open mathematical problems.
Related stories
4 in this thread