OpenAI's Navier-Stokes AI Proof and the Buckmaster Credit Dispute

OpenAI says a swarm of roughly 10,000 coordinating AI agents, running on an unreleased internal model more capable than GPT-6 Astra, produced a proof addressing the Navier-Stokes existence and smoothness problem ^[1], one of the seven Millennium Prize Problems, each carrying a $1 million reward pledged by the Clay Mathematics Institute since 2000 ^[2]. The agents reportedly reached their result on September 5, about 88 hours after the effort began, exchanging 2.7 million messages and consuming roughly 130 billion output tokens along the way ^[1]. Formal verification of the resulting Lean proof took an additional 17 hours ^[1].

Importantly, the proof does not establish the universal smoothness result mathematicians have chased for decades. Instead it shows that the Navier-Stokes equations can 'blow up' - developing a singularity in finite time where a fluid's speed becomes infinite, something physically impossible - under the specific conditions the agents examined ^[3]. OpenAI is not claiming the Clay Institute's prize itself, and independent mathematical verification of the proof remains pending even with the public Lean formalization ^[4]. The problem had gone unsolved for roughly 90 years and had carried Millennium Prize status for 26 years, with only the Poincare conjecture previously resolved among the seven ^[2].

The controversy did not start with the math - it started the night before, when Buckmaster and Alpoge, a mathematician at Anthropic, posted that they had proven a related result on forced Euler equations blowing up, a step seen as progress toward Navier-Stokes ^[3]. According to Buckmaster, once OpenAI realized two outside researchers were closing in on a breakthrough, the company's math lead offered a credit arrangement that would have named Buckmaster but dropped Alpoge - allegedly because of who employs him ^[5]. Buckmaster's account is the basis for reporting that OpenAI 'fought dirty' on a career-making problem ^[5].

Bubeck, the OpenAI mathematician named in Buckmaster's account, rejects any impropriety, stating that neither the researchers nor the agents saw Buckmaster and Alpoge's work before it was released publicly ^[5]. Sam Altman has publicly defended Bubeck's conduct amid the dispute ^[6]. The disagreement is not really about whether a proof exists - it is about whether OpenAI's process for reaching it, and its handling of two outside researchers once it learned they were close, met the norms the math community expects when unpublished work becomes known informally.

OpenAI's public statement leaves a narrow opening that keeps the dispute alive: the company says that 'while unlikely,' it 'cannot rule out that de-identified data derived from their usage of our products helped improve our models' ^[1], a hedge repeated in coverage of the claim ^[4]. Because large models are trained partly on aggregated, de-identified usage signals, OpenAI can deny direct access to Buckmaster and Alpoge's drafts while still being unable to categorically exclude an indirect data pathway ^[1].

That is precisely the ambiguity Buckmaster says he pressed on, recalling that he asked whether the model had been trained on, or had access to, the Codex sessions where he and Alpoge stored their drafts throughout the project ^[6]. Bubeck's denial - that the researchers and agents did not see the work until it was released publicly - and OpenAI's own hedge about de-identified data are not strictly contradictory ^[5], but together they describe a data-provenance question that is effectively unfalsifiable from outside the company, which is exactly why it has not settled the dispute.

Terence Tao's warning frames the episode as a symptom of a broader pattern rather than a one-off dispute: competitive pressure among AI labs to demonstrate frontier mathematical reasoning, he argues, risks 'the indiscriminate strip-mining of open problems for solutions,' which could destroy the ecosystem that produces future mathematical techniques and practitioners ^[6]. The timing - OpenAI's release landing within a day of a rival result it had learned about informally - fed suspicion that speed-to-announcement, not independent discovery, drove the schedule ^[6].

Coverage of the episode across multiple outlets has increasingly framed it as a credit controversy that has overshadowed the underlying mathematical achievement ^[7], echoing the 'fought dirty' characterization of OpenAI's conduct toward Buckmaster ^[5]. The stakes Tao points to are structural: if credit and priority on the hardest open problems can be captured by whichever lab deploys the most compute and agents fastest, human mathematicians have less incentive to spend years on the kind of slow, unglamorous work that produced Buckmaster and Alpoge's result in the first place ^[6].