OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
wired.com Sep 9, 2026

OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul

AI-summarised brief · reviewed before publication

OpenAI announced that an internal AI model has produced a solution to the Navier‑Stokes equation, one of the seven Clay Millennium problems that has remained unsolved for two centuries. The breakthrough was revealed after the company accelerated a dedicated research effort on August 28, deploying up to 10,000 AI agents for more than 50 hours and spending “millions of dollars” in compute. The proof was formalized in the Lean language and presented by OpenAI mathematician Sébastien Bubeck. Shortly after the claim, NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge accused OpenAI of appropriating their unpublished work, alleging the firm had accessed their Codex logs and attempted to control credit for the discovery. OpenAI denied using user data and said the solution was independently derived.

💡 Why It Matters

  • · The dispute pits corporate AI research against academic integrity, raising immediate questions about how machine‑generated discoveries are attributed and who owns the underlying data.