OpenAI Navier-Stokes Claim Draws Research Credit Dispute

OpenAI has claimed its AI model solved the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems in mathematics, in 88 hours. The announcement has been accompanied by a dispute over research credit, with a researcher alleging that OpenAI scraped private Codex session data and used it to advance the work without attribution.

What Happened

OpenAI announced that its AI system produced a proof addressing the Navier-Stokes existence and smoothness problem, a long-unsolved question in fluid dynamics mathematics that carries a one-million-dollar Millennium Prize from the Clay Mathematics Institute. The company said the result was produced in approximately 88 hours using a multiagent AI system.

Separately, a researcher working on a related proof has alleged that OpenAI accessed session data from its Codex platform, which the researcher had used while developing work on the same problem in collaboration with a mathematics professor. According to reporting by Tom's Hardware, the researcher claims that OpenAI used that data to inform its own approach and issued what the researcher described as career threats when the matter was raised.

Anthropic's AI system Claude has also been cited in connection with the Navier-Stokes problem. Reporting from the Walter Bradley Center for Natural and Artificial Intelligence raises questions about whether a separate proof attributed to a researcher and a mathematics professor using Claude originated primarily with the human users or with the AI system itself.

Background

The Navier-Stokes equations describe the motion of fluid substances and have been a central problem in mathematical physics for decades. The Clay Mathematics Institute designated the existence and smoothness question as one of its seven Millennium Prize Problems in 2000, offering one million dollars for a verified solution. No proof has previously been accepted by the Institute.

OpenAI's Codex is a code-generation platform built on its large language model technology. The platform allows users to interact with AI systems for programming and technical tasks. Session data generated on the platform is governed by OpenAI's terms of service, which have been a subject of scrutiny in prior disputes over data use.

The broader question of research credit for AI-assisted scientific work has been a recurring issue as AI companies have moved into technical and scientific domains. Gizmodo reported that the dispute reflects what some researchers describe as a tension between the traditionally open exchange of scientific ideas and the competitive, commercially driven environment in which major AI laboratories now operate.

The Dispute in Detail

According to Tom's Hardware, the researcher at the center of the credit dispute says he was working on a Navier-Stokes-related proof using OpenAI's Codex platform and that OpenAI subsequently incorporated insights derived from those sessions into its own announced breakthrough. The researcher also alleges that when he raised concerns, OpenAI representatives made statements he characterised as threatening to his professional standing.

OpenAI has not publicly addressed the specific allegations in detail as of the time of reporting. TechRepublic reported that questions about research credit and customer data are both part of the active dispute surrounding the announcement.

Charles Hoskinson, founder of the Cardano blockchain project and a figure with a background in mathematics, commented publicly on September 9 that AI had advanced further in formal mathematics than he had anticipated, though he did not take a position on the credit dispute.

What It Means in Practice

For the Navier-Stokes proof to carry scientific and prize weight, it would need to be reviewed and accepted by the mathematical community and ultimately by the Clay Mathematics Institute. No such review process has been announced or completed as of the date of this report. The parallel dispute over data use and research attribution adds a separate dimension that may involve OpenAI's terms of service and platform policies.

The Clay Mathematics Institute has not issued a public statement on OpenAI's claim, and the timeline for any formal review of the submitted proof has not been disclosed.