# OpenAI claims 10,000 agents solved Navier-Stokes Millennium Prize problem in 88 hours

Digest AI · Research · published 2026-09-10T21:22:59Z · updated 2026-09-17T08:02:55Z

Canonical: https://digestai.news/story/openai-s-navier-stokes-proof-with-lean-4-formal-verification

## Summary

OpenAI announced that an unreleased AI model, driven by 10,000 autonomous agents, solved the Navier-Stokes Millennium Prize Problem in 88 hours. The breakthrough, which demonstrates that fluid dynamics equations can break down over time, required millions of dollars in compute resources—roughly 1,000 times the cost of previous mathematical AI efforts. Mark Chen, OpenAI’s chief research officer, described the event as a major milestone for AI’s ability to tackle complex scientific questions.

The announcement triggered immediate controversy with mathematician Tristan Buckmaster and Anthropic researcher Levent Alpoge, who had recently published AI-assisted work on related equations. Buckmaster alleged that OpenAI adopted their specific approach after rumors of their progress spread, though OpenAI denied using their prompts or proofs. While OpenAI stated it would not claim the $1 million prize, the Clay Mathematics Institute emphasized that rigorous peer review and a two-year validation period are required before any solution is officially recognized.

This incident highlights the accelerating role of large-scale agent swarms in high-level mathematics, raising debates about the nature of machine-generated understanding versus human insight. The dispute over credit underscores the competitive tension between major AI labs and the academic community as AI systems begin to address problems that have remained unsolved for decades.

## Key points

- OpenAI used 10,000 AI agents and millions in compute to solve the Navier-Stokes problem in 88 hours.
- Mathematician Tristan Buckmaster accused OpenAI of copying his approach, though OpenAI denied using his specific prompts.
- OpenAI will not claim the $1 million prize, as the Clay Institute requires peer review and a two-year validation period.

## Why it matters

This marks a potential paradigm shift in scientific discovery, demonstrating that AI agent swarms can solve century-old mathematical challenges. It also highlights emerging ethical and credit disputes between AI labs and human researchers in high-stakes academic fields.

## Sources

1. [OpenAI says 10,000 AI agents cracked one of math's hardest problems in 88 hours](https://phys.org/news/2026-09-openai-ai-agents-math-hardest.html) (phys.org, 2026-09-09)
2. [Last Week in AI #344 - Navier–Stokes, Pacing the Frontier, AI Misuse](https://lastweekin.ai/p/last-week-in-ai-344-navierstokes) (Last Week in AI, 2026-09-17)
3. [OpenAI maths bombshell sparks debate about who gets credit in age of AI](https://nature.com/articles/d41586-026-02910-w) (nature.com, 2026-09-16)
4. [AI companies must work with the research community to protect attribution](https://nature.com/articles/d41586-026-02886-7) (Nature Machine Learning, 2026-09-16, primary source)
5. [Scott Aaronson says that labs, "having been burned by the hostile response to the Navier-Stokes proof, are now sitting on solutions to some very major problems until they figure out a better way to handle things"](https://scottaaronson.blog/?p=10062) (scottaaronson.blog, 2026-09-15)
6. [OpenAI just wants to win](https://theverge.com/ai-artificial-intelligence/994255/openai-millennium-prize-problem-tristan-buckmaster-competition) (The Verge AI, 2026-09-12)
7. [‘Immature playground boasting’: Mathematicians uneasy at OpenAI’s latest scalp](https://theguardian.com/science/2026/sep/12/openai-mathematicians-millennium-prize-problem) (The Guardian AI, 2026-09-12)
8. [OpenAI Claims Another Huge Mathematical Result Amid Fights Over Credit, Ethics, and Privacy](https://singularityhub.com/2026/09/11/openai-claims-another-huge-mathematical-result-amid-fights-over-credit-ethics-and-privacy) (singularityhub.com, 2026-09-11)
9. [OpenAI’s Navier-Stokes release included a Lean 4 formal proof](https://johndcook.com/blog/2026/09/09/formal-method-revolution) (johndcook.com, 2026-09-10)
10. [OpenAI’s sly mathematical breakthrough sends a chill through academia](https://theverge.com/ai-artificial-intelligence/992953/openai-math-millennium-prize-navier-stokes) (The Verge AI, 2026-09-09)
11. [OpenAI's secret model settles a $1M math problem](https://therundown.ai/articles/openai-secret-model-settles-a-1m-math-problem) (The Rundown AI, 2026-09-09)
12. [OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hours](https://cnbc.com/2026/09/09/openai-navier-stokes-math-problem-solved.html) (CNBC Technology, 2026-09-09)
13. [AINews OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awarded](https://latent.space/p/ainews-openai-reports-navier-stokes) (Latent Space, 2026-09-09)
14. [What OpenAI’s latest controversy tells us about the future of math](https://technologyreview.com/2026/09/08/1143747/what-openais-latest-controversy-tells-us-about-the-future-of-math) (MIT Technology Review AI, 2026-09-09)
15. [Some thoughts on the Navier–Stokes Millennium Prize Problem](https://simonwillison.net/2026/Sep/8/on-navier-stokes) (Simon Willison, 2026-09-08)
16. [OpenAI claims to have solved maths problem that stumped humans for decades](https://theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades) (The Guardian AI, 2026-09-08)
17. [OpenAI says it cracked 90-year-old maths problem in 88 hours](https://bbc.co.uk/news/articles/cy7zygy3rl2o?at_medium=RSS&at_campaign=rss) (BBC Technology, 2026-09-08)
18. [OpenAI claims huge maths breakthrough on a famed ‘Millennium Problem’](https://nature.com/articles/d41586-026-02842-5) (Nature Machine Learning, 2026-09-08, primary source)

## Cite

Digest AI, "OpenAI claims 10,000 agents solved Navier-Stokes Millennium Prize problem in 88 hours", 10 September 2026, https://digestai.news/story/openai-s-navier-stokes-proof-with-lean-4-formal-verification

---

Written by Digest AI's editorial model from the linked sources; the sources are the record. Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse
JSON: https://digestai.news/story/openai-s-navier-stokes-proof-with-lean-4-formal-verification.json