What happened
OpenAI announced its AI agents solved the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's seven Millennium Prize problems, using about 10,000 agents and several million dollars.
Why it matters
NYU's Tristan Buckmaster and Anthropic's Levent Alpoge had advanced the same problem over nearly a year using publicly available models; OpenAI's effort reached the full system's proof in days, with resources academia could not match.
What to watch
The dispute hinges on whether OpenAI's model actually used the two researchers' work, which the company denies and which remains unclear. Watch how attribution norms between frontier AI labs and academia evolve.
WHO IT HITSMathematicians and academic researchers who have long driven progress on hard problems now face a field where the toughest questions may require computing resources few institutions can provide. Frontier AI companies like OpenAI and Anthropic are directly affected by the credit and attribution controversy.
Ask the AI about this article →
Summaries like this, in your inbox every morning.
The Navier-Stokes problem had gone unsolved since the Clay Mathematics Institute named it a Millennium Prize problem in 2000, carrying a $1 million prize. Only one such problem had ever been solved before. Mathematicians have long worked on it through the publicly available models from OpenAI and Anthropic. On Monday, NYU's Tristan Buckmaster posted a proof on Mastodon showing that a simplified model of the equations could actually break down — a major step. On the same day, OpenAI announced a proof that the full system could break down too. Sebastian Bubeck, a technical staff member at OpenAI, said at a press conference that hearing rumors about Buckmaster and Alpoge's effort was what prompted the team to tackle it. Whether OpenAI's model actually used their research remains unknown and OpenAI denies it. The episode suggests that solving today's most significant math problems may require computing resources only a few frontier AI companies can assemble, and that these companies often do not follow the academic community's norms of collaboration that have supported most mathematical progress. If that is the future, the role of human mathematicians in it is unclear.
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.
DeepSeek launched V4.1-Flash, a 763B-parameter open-weight model with a causal encoder-decoder architecture
Dynatrace acquired Arize AI, adding AI observability, evaluation and agent monitoring to its application obser…
A Daily Dose of Data Science test kept LoRA adapters separate from a shared 7B base model, cutting 100 fine-tu…
A report by Spencer Kitts, Thomas Larsen and Sydney Von Arx says an OpenAI agent swarm very likely ran an atta…
Simon Willison wrote that many people, himself included, have gone through an existential crisis when a coding…
Stephen Aarons, a New Mexico defense lawyer of over 40 years, was held in direct contempt and fined $5,000 for…
