Proof and Provenance: OpenAI's Millennium Moment

OpenAI announced Sept. 8 that a swarm of roughly ten thousand coordinating AI agents produced a complete proof of the Navier-Stokes singularity problem, one of six unsolved Millennium Prize problems and a question fluid dynamics researchers have chased for two centuries ¹³. The company said its agents worked continuously across eighty-eight hours, from Sept. 1 to Sept. 5, before a separate verification pass confirmed the result in the formal proof language Lean ². Missing from OpenAI's celebratory framing was any early acknowledgment of Tristan Buckmaster, an NYU mathematician whose unpublished, closely related work with Anthropic researcher Levent Alpöge appears to have shaped the very direction OpenAI's model pursued ¹. Sam Altman later called the episode a case where his researcher, Sébastien Bubeck, "acted with integrity and generosity throughout," a defense that reads differently once Buckmaster's own account of the days before publication becomes public record ¹⁴.

Ten Thousand Agents, One Weekend

Scale defined OpenAI's approach from the outset. Engineers set loose a system of interlocking agent groups, each able to communicate within its own cluster, against the full three-dimensional Navier-Stokes equations rather than the more tractable Euler case mathematicians had spent decades chipping away at ². Agents drew on cached web access and code execution tools, generating 2.7 million internal messages and roughly 130 billion output tokens before the swarm converged on a singularity proof ². GPT-6 Astra then spent seventeen additional hours translating the informal argument into Lean, the proof assistant language mathematicians increasingly trust to catch errors human reviewers miss ². Force, more than elegance, carried the day. OpenAI's own account stops short of claiming insight into why the equations break down, stating only that they demonstrably do ³.

The Call That Changed Everything

Buckmaster's account begins on Sept. 3, when he told an OpenAI mathematician about his and Alpöge's unpublished progress, stressing that the work stood apart from either employer ¹. Three days later, on a call, Bubeck told him OpenAI's internal model had already produced a hundred-page proof of forced Navier-Stokes, the same narrow approach nearly every other researcher had passed over ¹. Buckmaster says Bubeck then offered two paths forward: OpenAI publishes a day behind Buckmaster's team, or Buckmaster alone writes up the result, with Alpöge stripped from the credit line because he works inside a rival lab ¹. When Buckmaster refused the second option, Bubeck allegedly asked him, "Why would you ruin your career?" ¹

Altman's Defense and Its Tell

Sam Altman moved quickly to close ranks around his researcher once Buckmaster's account went public, saying Bubeck "acted with integrity and generosity throughout" ⁴. Weigh the phrasing closely: a chief executive defending an employee's process rarely needs to reach for two virtues at once unless the underlying facts leave room for genuine doubt about either. "Integrity" answers the accusation of copying; "generosity" answers the accusation of pressure — Altman's sentence quietly concedes that both charges landed hard enough to require a rebuttal apiece. Bubeck's own later statement moved further still, telling reporters he recognized "the priority of Alpöge and Buckmaster's work" and offering "congratulations on monumental achievement" ⁴. Study the timing: the concession arrived only after the dispute reached print, a sequence in which public accountability accomplished what private conversation left undone.

What Machines Owe Their Teachers

Buckmaster raised a second, quieter question beneath the credit fight: whether OpenAI's model learned from his own research sessions. He used OpenAI's Codex tool extensively while developing his approach and asked the company directly whether his sessions trained the system that later reproduced his direction ¹. OpenAI's response, as reporters characterized it, held that researchers first encountered Buckmaster and Alpöge's actual work only once it published, though the company allowed that de-identified usage data might plausibly have shaped model behavior in ways it struggled to rule out with full confidence ⁴. That concession matters more than its careful phrasing suggests: a lab built partly on ingesting the open internet now faces the possibility that its own paying research customers supply training signal the company can barely trace and barely deny. Every mathematician who runs an unpublished proof through a commercial coding assistant now inherits Buckmaster's dilemma, trading convenience for a claim on discoveries that once belonged to them alone.

Tao's Warning and the Ecosystem Question

Terence Tao, widely regarded as the era's most accomplished living mathematician, offered the sharpest external critique of the achievement itself. AI, he said, "produces answers" that arrive stripped of insight, a distinction he considers central to why mathematics functions as a discipline rather than a lookup table ⁴. Tao warned that labs racing to claim famous open problems risk what he called "strip-mining" the field, extracting trophy results while leaving the community that spent decades building toward them with diminished credit and diminished funding ⁴. His concern lands with particular weight given his own history of collaborative, credited mathematics; a scholar who built his reputation on generous attribution is warning that automated speed threatens the norms that made his own career legible to peers. Training students remains the sharper stake, in Buckmaster's own framing: a "Deep Blue-Kasparov moment for mathematics" changes how graduate students learn to prove things, as much as it changes who receives credit for having proved them first ¹.

The Compute Behind the Contest

Economics sits underneath the human drama. Running ten thousand coordinating agents for eighty-eight hours against frontier compute costs several million dollars by outside estimates, a sum only a handful of labs can spend chasing a single unsolved problem for prestige rather than product ². Buckmaster and Alpöge, working on a fraction of that budget, needed merely a hundred agents and fifty hours to crack the narrower Euler case weeks earlier, evidence that clever direction-finding still beats raw compute on the hardest problems, at least until someone with more compute learns which direction to point it ². Distinguishing between the two efforts requires exactly the kind of human judgment that made Buckmaster's contribution valuable in the first place, judgment OpenAI's swarm skipped entirely because two mathematicians already exercised it for free. Every future Millennium Prize attempt now carries an implicit question alongside its mathematics: which humans supplied the insight compute merely scaled, and whether those humans get named.

Precedent, more than any single proof, is what this week actually settled. Diego Córdoba and Luis Martínez-Zoroa developed the foundational strategy years earlier that Buckmaster and Alpöge extended into their Euler result, and Princeton's Charles Fefferman, an authority on the underlying mathematics, called the eventual resolution a moment that left him "thrilled that the problem was solved" ². Martínez-Zoroa's own reaction stayed modest and personal rather than triumphant: "I'm very happy for Tristan," he said, then repeated the sentiment for emphasis ². Layered credit chains like this one, running from foundational strategy through extension through automated verification, used to sort themselves out slowly, through citations and tenure letters written years apart. Compressing that chain into a single contested week is the actual innovation Sept. 8 produced, and mathematics now needs new norms fast enough to keep pace with labs that publish on a product timeline rather than an academic one.

By the numbers

• Ten thousand: peak concurrent OpenAI agents deployed on the Navier-Stokes proof, working Sept. 1 to Sept. 5 ¹.
• Two point seven million: internal messages the agent swarm exchanged while producing the proof ².
• Nearly 130 billion: output tokens the effort consumed before formal verification began ².
• Seventeen additional hours: time GPT-6 Astra needed to formalize the result in the Lean proof language ².
• One million dollars: the Millennium Prize purse OpenAI said it declined to claim ³.
• Nearly a hundred agents, fifty hours: the smaller swarm Buckmaster and Alpöge used to crack the narrower Euler case weeks earlier ².
• Three days: the gap between Buckmaster's private outreach to OpenAI and Bubeck's account of a completed rival proof ¹.
• Two centuries: roughly how long the Navier-Stokes equations have resisted a complete mathematical account of their behavior ³.

What to watch

Bubeck faces continued pressure to publish a complete, verifiable timeline of what his model saw and when, a disclosure mathematicians say would settle the dispute more convincingly than any statement issued through a press office ¹. Anthropic gains an unplanned recruiting advantage: Alpöge's public vindication over authorship makes the lab's research culture look like the safer harbor for mathematicians wary of losing credit inside a faster-moving rival ⁴. Clay Mathematics Institute officials have yet to weigh in on whether a forced Navier-Stokes result meets the prize committee's original criteria, a ruling that will shape how the next AI-assisted Millennium Prize attempt gets framed from its very first press release ³.

Sources

1. Russell Brandom, "OpenAI Fought Dirty on Career-Making Math Problem, Says NYU Mathematician," TechCrunch, Sept. 8, 2026, https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/
2. Quanta Magazine, "AI Has Solved One of Math's $1 Million Millennium Prize Problems," Quanta Magazine, Sept. 8, 2026, https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/
3. The Next Web, "OpenAI Publishes Its Navier-Stokes Proof, Skips the Millennium Prize Claim," The Next Web, Sept. 8, 2026, https://thenextweb.com/news/openai-navier-stokes-proof-published-millennium-prize
4. Fortune, "OpenAI Says It Cracked Navier-Stokes, One of Math's Grand Challenges," Fortune, Sept. 8, 2026, https://fortune.com/2026/09/08/openai-says-it-cracked-navier-stokes-math-grand-challenge-buckmaster-accusation-cheating-intimidation-tao-lament/
5. Semafor, "OpenAI Agents Find Proof to $1 Million Millennium Prize Problem," Semafor, Sept. 8, 2026, https://www.semafor.com/article/09/08/2026/openai-agents-find-proof-to-1-million-millennium-prize-problem
6. OpenAI, "On the Navier-Stokes Millennium Prize Problem," OpenAI, Sept. 8, 2026, https://openai.com/index/navier-stokes-solution/