
What happened
NYU professor Tristan Buckmaster announced proofs with Anthropic mathematician Levent Alpöge, then accused OpenAI of using their approach after learning of their progress. OpenAI has published a full proof of the Navier-Stokes problem.
Why it matters
Buckmaster alleges OpenAI began its full proof effort only after his work reached them, then asked him to remove Alpöge's credit. The week-long effort consumed 300 billion output tokens, or $22.5 million in compute.
What to watch
The dispute hinges on whether OpenAI's proof, which it says began September 1, was truly independent or derived from Buckmaster's Codex usage. OpenAI admits it cannot rule out that de-identified product data improved its models.
WHO IT HITSMathematicians working on high-profile problems now face the risk that their unpublished approaches, shared via AI coding tools, could be used by labs with massive compute advantages. Academic researchers using AI assistants must weigh collaboration benefits against potential loss of credit.
Ask the AI about this article →
Summaries like this, in your inbox every morning.
The controversy centers on a clash between traditional academic norms and the immense compute power available to frontier AI labs. Buckmaster and Alpöge chose an uncommon, specific route to attack the Navier-Stokes problem, one that he says few others were pursuing. When OpenAI announced a full proof shortly after his preliminary findings, he found it suspicious that they had arrived at the same niche approach.
Buckmaster's concern is amplified by the fact that he used OpenAI's Codex tool extensively. Since OpenAI reserves the right to train models on Codex interactions, he worries his private work could have been regurgitated. OpenAI's response downplays this, asserting researchers and agents saw no specific user data, but concedes it cannot rule out that de-identified data helped improve their models.
The outcome may hinge on the credibility of OpenAI's claim that its effort began on September 1, inspired by rumors of solved problems, rather than by Buckmaster's work. For the mathematical community, the episode could define how research credit is assigned when AI systems are involved and whether using a lab's tools creates an implicit leak of one's own ideas.
For example, today's edition would include:
AI-summarized, only the topics you pick — one digest a day via Email, Slack, or Discord.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. Q&As are published on this page for other readers too.
Alphabet's second-quarter revenue grew 24% to $119.8 billion, while free cash flow turned negative $5.9 billio…

On September 8, Mad Money's Jim Cramer said Super Micro has accounting "irregularities," said he cannot recomm…

Google Research released TimesFM-3, a 330 million-parameter forecasting model trained on over one trillion dat…

Twenty-five Fields Medal winners, including Terence Tao, signed a joint statement warning that AI companies tr…

Meta is asking individual contributors in its Applied AI division whether they want to return to manager roles…

Todd Hughes, who trains language tutors at Rosetta Stone, told Fortune that AI can build vocabulary and aid co…
