
What happened
OpenAI said on Tuesday it solved the Navier-Stokes problem, which has stumped mathematicians for around 90 years, using an internal model more powerful than its newly released GPT-6 Astra, alongside 10,000 concurrent agents.
Why it matters
The claim would mark a major advance for math, but NYU professor Tristan Buckmaster alleges OpenAI may have used his private Codex sessions; OpenAI denies accessing specific user data, yet admits it cannot rule out use of de-identified data.
What to watch
The dispute hinges on whether OpenAI's model was trained on Buckmaster's Codex data, especially since OpenAI began training on August 28th. OpenAI says it won't claim the $1 million prize, signaling uncertainty.
WHO IT HITSMathematicians working on the Navier-Stokes problem and other Millennium Prize Problems face potential disruption if this solution is verified, as it could change how proofs are discovered. Researchers using AI tools like Codex and Claude may also have concerns about data privacy and attribution.
Ask the AI about this article →
Summaries like this, in your inbox every morning.
OpenAI's announcement of a solution to the Navier-Stokes problem arrives with both fanfare and suspicion. The problem, unsolved for around 90 years, has been a towering challenge in mathematics, and a credible solution would be a landmark achievement. The claim was made in a blog post on Tuesday, with the company detailing that it used an internal AI model, which it says is more powerful than its recently released GPT-6 Astra, and ran it with 10,000 concurrent agents. Training reportedly began on August 28th, and OpenAI states the model exhibited unprecedented performance on its benchmarks, including mathematics.
The controversy stems from a pre-announcement publication by Tristan Buckmaster, a mathematics professor at NYU, who had been working on a related problem with Levent Alpöge. Buckmaster raised concerns that OpenAI might have used his private session data from Codex, where he stored his drafts, to gain an edge. OpenAI's response, that it did not access 'specific user data' but cannot rule out that 'de-identified data' helped improve its models, has done little to quell the dispute. This incident underscores the growing sensitivity around data usage in AI training, particularly when academic research is involved.
The resolution of this dispute hinges on whether the details of Buckmaster's work can be shown to have influenced OpenAI's model. OpenAI claims its proofs differ significantly from Buckmaster's, but the company's own acknowledgment of potential indirect data influence suggests a grey area. Given the high stakes—including the $1 million prize, which OpenAI says it won't claim—the veracity of the solution and the ethical conduct around it will likely be scrutinized by the mathematics community. The test is whether OpenAI can provide convincing evidence that its model's training data did not include any of Buckmaster's private research, a standard it has yet to fully meet.
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…
