Skip to content
Tech News
← Back to articles

Drama swirls around OpenAI’s legendary mathematical milestone

read original get The Millennium Problems by Keith Devlin → more articles
Why This Matters

OpenAI claims an unreleased internal model, running 10,000 concurrent agents, solved the Navier-Stokes problem — one of the seven $1M Millennium Prize Problems — which would be a landmark for AI-driven mathematical discovery. But an NYU mathematician who was working the same approach alleges the proof followed his team's route and has asked whether OpenAI trained on or accessed their Codex sessions, a question he says wasn't fully answered. The dispute puts a spotlight on how AI labs handle user data and credit when their tools are used for original research.

Key Takeaways
Worth a Look

The Millennium Problems by Keith Devlin — If OpenAI's Navier-Stokes claim has you curious what the fuss is about, Keith Devlin's book walks through all seven Millennium Prize Problems in plain language, including the fluid-flow puzzle at the center of this story. It's a great way to understand why a 90-year-old equation problem is worth a million dollars and decades of mathematicians' careers.

See The Millennium Problems by Keith Devlin on Amazon → Affiliate link — we may earn a commission on purchases, at no extra cost to you. Product picked by AI based on this article; it is not a tested recommendation.

is a news writer who covers the streaming wars, consumer tech, crypto, social media, and much more. Previously, she was a writer and editor at MUO.

Posts from this author will be added to your daily email digest and your homepage feed.

OpenAI says it found a solution to a major math problem that has remained unsolved for around 90 years, as reported earlier by The New York Times and Wired. In a blog post on Tuesday, OpenAI announced that it discovered a solution to the Navier-Stokes problem — which relates to the flow of liquid and gas — using an internal AI model more powerful than the newly released GPT-6 Astra alongside 10,000 concurrent agents. The Navier-Stokes problem is one of seven Millennium Prize Problems, each of which comes with a $1 million reward for solving.

OpenAI says it started training the internal AI model on August 28th, which has “exhibited unprecedented performance in our benchmarks, including mathematics.” The solution is a big breakthrough for the mathematics community, but it doesn’t come without controversy.

Just one day before OpenAI’s announcement, New York University mathematics professor Tristan Buckmaster published findings on a related problem in partnership with Levent Alpöge, a researcher at Anthropic. When announcing these findings, Buckmaster claims he contacted OpenAI after learning the company had heard about their progress. However, Buckmaster found that OpenAI had produced a proof for the Navier-Stokes equation using a route he and Alpöge had been working on with OpenAI’s Codex and Anthropic’s Claude.

In his statement, Buckmaster raises concerns about whether OpenAI had accessed their Codex data to get closer to the Navier-Stokes solution. “I asked whether the model had been trained on, or had access to, our sessions in Codex, into which we had been putting all our drafts for the whole of this project,” Buckmaster writes. “I was told the model did not look up user data. I asked again, about training, and I did not get an answer.”

Related The AI takeover of mathematics has begun

OpenAI is now attempting to squash these suspicions with its Tuesday announcement, saying “no specific user data was accessed in order to solve this problem.” It adds that “while unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models⁠.” When reached for comment, OpenAI pointed The Verge to its statement on X, which echoes its blog post.

Sebastien Bubeck, a member of technical staff at OpenAI, similarly said: “We did not see any of their [Buckmaster and Alpöge’s] work until they released it publicly last night. One can in hindsight see that our proofs differ significantly and even the precise results proved are different.”

Meanwhile, Buckmaster responded to this in a post on Mastodon, claiming that OpenAI is “openly admitting they used training data from a period after we found our result.”

... continue reading