San Francisco, September 9, 2026 — OpenAI this week said that roughly 10,000 coordinating agents powered by an unreleased internal model produced a resolution related to the Navier-Stokes existence and smoothness Millennium Problem in about 88 hours. The company said it does not intend to claim the Clay Institute's USD 1 million prize.
BBC and other outlets cited compute costs in the tens of millions of dollars at public list prices, alongside a paper and a Lean formalization. NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge alleged that OpenAI only pursued the same unusual approach after word of their AI-assisted progress spread.
OpenAI denied using their prompts or proofs, while acknowledging it started work on September 1 after "hearing a rumor" and cannot fully rule out that de-identified product-usage data helped its models. The dispute, covered by CNBC, CNN, BBC and MIT Technology Review on September 9, has become one of the most-watched controversies in modern mathematical research.
Analysts said machine-checkable Lean proofs are hard currency — but credit fights over who first chose the right attack path are becoming frontier labs' new reputational liability.
