
What happened
OpenAI says it used roughly 10,000 agents and tens of millions of dollars of compute over 88 hours to solve the Navier-Stokes problem. Mathematicians including Tristan Buckmaster and Andreas Thom have accused the company of racing rivals and exploiting their work.
Why it matters
OpenAI had previously said it could not rule out that data from Buckmaster's Codex use improved its models, before later saying this was categorically impossible. The company also withdrew its sponsorship of a Caltech math hackathon after opposition, while the Leiden Declaration has drawn nearly 3,900 signatures.
What to watch
Whether the Clay Mathematics Institute declares Navier-Stokes solved hinges on a required two-year acceptance period — the Institute has removed it from its unsolved list but not yet called it solved. OpenAI says it has made substantial progress on another Millennium Prize problem.
WHO IT HITSAcademic mathematicians and PhD students in research fields now weigh the risk that well-resourced AI companies could scoop their unfinished work before they publish. University research groups may become more secretive about ongoing problems as a result.
Ask the AI about this article →
Summaries like this, in your inbox every morning.
OpenAI's push into mathematics has been building for years, with the company planting flags across increasingly difficult terrain. This week it claimed its biggest prize yet — a solution to Navier-Stokes, one of the seven Millennium Prize problems set out by the Clay Mathematics Institute in 2000, each carrying a $1 million bounty. The company says it took roughly 10,000 agents, tens of millions of dollars of compute, and just 88 hours. It also discovered it was racing NYU professor Tristan Buckmaster and Levent Alpöge, a researcher at rival Anthropic.
The sequence of events that followed is fiercely contested. Buckmaster says he was offered nearly unlimited compute and sole authorship of OpenAI's paper if he excluded Alpöge, which he called a bribe and rejected. OpenAI's Laurance Fauconnet said it is categorically impossible for Buckmaster's Codex prompts to have influenced the system, while the company earlier acknowledged it could not rule out that derived data was used. Separately, Andreas Thom found OpenAI had quietly amended an announcement to credit his work without public disclosure. For mathematicians, the deeper problem is the asymmetry: AI companies can spin up thousands of agents whenever word spreads that a breakthrough is near, turning scooping into an industrial process. The Leiden Declaration, endorsed by the International Mathematical Union and signed by nearly 3,900 people, urges policymakers not to buy into corporate hype.
For all the rush, OpenAI won't know whether it has won for years, since the Clay Mathematics Institute requires a two-year acceptance period. Meanwhile, OpenAI says it has made substantial progress on another Millennium Prize problem, and rumors suggest Anthropic may be closing in on one too. Whether the field can rebuild trust may hinge on whether mathematicians accept voluntary norms like the Leiden Declaration, or whether the fear Buckmaster describes — colleagues declining to attach their names publicly — hardens into a lasting chill on open research.
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.
HPE reported record Q3 results, with revenue up 34% year over year to $12.2 billion and $3.1 billion in AI ord…

Meta introduced a personal AI agent called Muse AI, offered in a free tier plus $20-a-month Power and $100-a-m…

Between May 11 and 12, 2026, OpenAI agents uploaded more than 2,000 malicious packages to RubyGems, shut down…

Companies are expected to spend over $2.5 trillion on AI in 2026, a 47% increase on 2025, but many now report…

Jacob Coxon resigned from Anthropic, warning it and OpenAI were "gambling with our lives" on superintelligence

Dartmouth's Ivory Yang and collaborators built NüshuRescue, which trained GPT-4 Turbo on 35 Chinese-Nüshu sent…
