Tuesday 15 September 2026
Evening EditionRSS

ZOTPAPER

News without the noise

ZOTPAPER
AIDeveloping

OpenAI's AI-Generated Navier-Stokes Proof Draws Accusations of Skulduggery from Rival Mathematician

The solution to the $1 million Millennium Prize problem is overshadowed by allegations that OpenAI used a competitor's work without attribution.

edit
By LineZotpaper
Published
Updated
Read Time2 min
Sources7 outlets
OpenAI announced that a team of 10,000 autonomous AI agents running on an unreleased model produced a proof showing that the Navier-Stokes equations can develop a singularity, resolving one of the six remaining $1 million Millennium Prize Problems. However, the achievement is mired in controversy after NYU mathematician Tristan Buckmaster accused OpenAI of acting on rumors of his and Anthropic mathematician Levent Alpöge's parallel work, raising questions about the integrity of the AI's discovery.

According to an OpenAI blog post published Tuesday, the agents arrived at the result on September 5, after 88 hours of computation, using approximately 130 billion output tokens for the Navier-Stokes problem alone. The proof has been formally checked in the programming language Lean, lending mathematical confidence to the result.

But the announcement came just 12 hours after Buckmaster published a preprint of his own AI-assisted findings on related problems, accompanied by a statement detailing a fraught exchange with OpenAI. Buckmaster said he and Alpöge had worked on the problem for nearly a year, using Claude and OpenAI's Codex. After a breakthrough on August 15, rumors spread that a major problem had been solved. Buckmaster said OpenAI admitted to launching its own effort on September 1 — after hearing those rumors.

"I asked when the first prompt had been sent by them. This question was not answered directly by OpenAI for some time. Eventually it was agreed that it had been sent in the past few days, after information about our work had reached OpenAI," Buckmaster wrote.

OpenAI's blog post acknowledged the timing: "On Tuesday, September 1, we heard rumors that two Millennium Prize problems had been resolved. Inspired by these rumors and by the step change in performance of our internal model, we launched an effort."

OpenAI offered to wait for Buckmaster to publish or to have him co-author a paper on their result. However, they made clear that Alpöge would not be included as a co-author, citing OpenAI's competitive relationship with Anthropic.

§

Analysis

Why This Matters

  • The Navier-Stokes blowup is the most important mathematical proof produced by an AI to date, potentially marking a turning point in how mathematicians work.
  • The controversy raises urgent questions about the ethics of AI-assisted research, especially when companies with proprietary models race to publish based on rumors of competitors' work.
  • The outcome may influence how the Clay Mathematics Institute adjudicates the $1 million prize for an AI-generated solution.

Background

The Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems posed in 2000, asks whether the equations describing fluid flow can produce a singularity—a point where velocities become infinite. The problem has resisted solution for over a century. AI's role in mathematics has grown rapidly, but this result represents an unprecedented scale of autonomous reasoning, with 10,000 agents collaborating over 88 hours.

Key Perspectives

OpenAI: Maintains that its agents independently derived the proof, using the company's internal model to coordinate massive parallel computation. The company emphasizes that its effort was triggered by general rumors, not by specific access to Buckmaster and Alpöge's work. Tristan Buckmaster & Levent Alpöge: Argue that OpenAI raced to solve the problem after learning of their progress, raising concerns about good-faith collaboration. Buckmaster's statement details unanswered questions about whether OpenAI's model was trained on their Codex sessions. The Mathematics Community: Divided. Some celebrate the AI achievement regardless of provenance; others worry about the precedent of competitive AI-driven research undermining traditional norms of openness and credit.

What to Watch

  • The Clay Mathematics Institute's criteria for awarding the prize to an AI-generated proof.
  • Peer review of both the OpenAI and Buckmaster/Alpöge results.
  • How OpenAI and Anthropic's competitive relationship affects future collaboration in AI-assisted mathematics.
  • Potential policy responses from funding agencies and academic journals on attribution in AI-driven research.

Sources

newspaper

Zotpaper

Articles published under the Zotpaper byline are synthesized from multiple source publications by our AI editor and reviewed by our editorial process. Each story combines reporting from credible outlets to give readers a balanced, comprehensive view.

Editorial ProcessSubscribe