On September 8, 2026, a long-standing mathematical frontier became the center of a heated dispute between academic researchers and OpenAI. Tristan Buckmaster, a mathematician at New York University, and Levent Alpöge, a researcher at Anthropic, released a series of three papers establishing “finite-time blowup” for the Euler equations—a critical step in understanding fluid dynamics. On the same day, OpenAI announced that its internal AI models had independently solved the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems.
The simultaneous announcements have sparked allegations from Buckmaster that OpenAI used its corporate weight and data access to “scoop” the academic team. According to reported claims, an OpenAI representative allegedly asked Buckmaster, “Why would you ruin your career?” when he suggested he would go public with his concerns about their conduct.
The Compute Discrepancy and Data Allegations
The scale of OpenAI’s effort highlights a growing divide between traditional academic research and “brute force” AI discovery. OpenAI’s solution was achieved by deploying approximately 10,000 AI agents running for 88 hours. This operation is estimated to have cost millions of dollars in compute resources, a level of power unavailable to most university mathematics departments.
Beyond the hardware advantage, the dispute involves questions of data ethics. Buckmaster has raised concerns that OpenAI may have leveraged data from his private Codex sessions—a tool used by researchers to assist with coding and formalizing proofs—to inform its own models. While OpenAI has denied accessing specific user data for this purpose, the company acknowledged that “de-identified data” from product usage is frequently used to improve its models, which include the GPT-6 Astra architecture standard in 2026.
“Forced” Solutions and the Millennium Prize
Despite OpenAI’s claim of a solution, mathematical experts have pointed to a technical distinction that may affect the company’s eligibility for the $1 million bounty from the Clay Mathematics Institute. The OpenAI proof specifically addresses the “forced” Navier-Stokes equations, which include an external force term. However, the Millennium Prize typically requires a solution for the “unforced” version of the equations, which describes the internal behavior of fluids without external interference.
While OpenAI’s work utilized Lean, a formal verification language, to validate its AI-generated proofs, the academic community remains divided on the methodology.
The friction between the two teams reportedly extended to personnel. OpenAI researcher Sébastien Bubeck is alleged to have pressured Buckmaster to remove Levent Alpöge from his paper’s authorship, citing Alpöge’s affiliation with OpenAI’s primary competitor, Anthropic. Buckmaster refused the request, and the three papers were published with the original co-authors intact, alongside OpenAI’s own technical report. The Clay Mathematics Institute has not yet issued a formal statement on whether either submission meets the rigorous requirements for the Millennium Prize.
