1d:I[70616,["/_next/static/chunks/0kcf5dt6yxdox.js","/_next/static/chunks/1su5n1uv1ti4s.js","/_next/static/chunks/0gvke1wv6udfg.js","/_next/static/chunks/1dfrle3jgmlzh.js","/_next/static/chunks/162lgvduyr-fa.js","/_next/static/chunks/2gcnnopam8e9w.js","/_next/static/chunks/2g60iab5a1pkg.js"],"Breadcrumb"] 1e:I[90762,["/_next/static/chunks/0kcf5dt6yxdox.js","/_next/static/chunks/1su5n1uv1ti4s.js","/_next/static/chunks/0gvke1wv6udfg.js","/_next/static/chunks/1dfrle3jgmlzh.js","/_next/static/chunks/162lgvduyr-fa.js","/_next/static/chunks/2gcnnopam8e9w.js","/_next/static/chunks/2g60iab5a1pkg.js"],"ArticleGrid"] 1f:T1ba5,

On the morning of September 8, mathematicians at OpenAI announced that roughly 10,000 autonomous agents, directed by researchers and running on an internal model the public cannot access, had located a singularity in the three-dimensional Navier-Stokes equations. Within twelve hours the mathematics community was arguing less about the fluid dynamics than about who deserved the credit.

Key takeaways

OpenAI says about 10,000 agents worked for 88 hours and exchanged nearly 5 million messages before producing a blowup proof, which a separate model then formalized in Lean over another 17 hours.
The company will not claim the $1 million Clay prize, because its construction relies on an external forcing term that the official Millennium formulation does not permit.
NYU's Tristan Buckmaster, who announced related results twelve hours earlier with Anthropic's Levent Alpoge, has suggested OpenAI benefited from seeing their work; OpenAI's Sebastien Bubeck denies it.

What the agents actually proved

The Navier-Stokes equations, written down in the mid-19th century, apply Newton's second law to fluids. The open question the Clay Mathematics Institute attached a $1 million prize to in 2000 is whether their solutions always stay well-behaved, or whether some vanishingly small parcel of fluid can begin moving infinitely fast — a singularity, or in the field's own shorthand, a blowup.

OpenAI's answer is that blowup happens. According to the company's technical post, it first pointed a group of roughly 100 agents at the related Euler equations, which describe frictionless fluids, and got a regularity disproof after about 50 hours. It then scaled up to some 10,000 agents for Navier-Stokes. Those agents ran 88 hours and traded close to 5 million messages; a second model spent 17 more hours converting the argument into Lean, the proof assistant that lets a machine certify each logical step. Bubeck has put the compute bill at several million dollars.

Formal verification is what separates this from the usual round of model-solves-math claims. Lean does not care whether an argument sounds persuasive. What it cannot check is whether the statement fed into it is the statement mathematicians care about — and that is precisely where the asterisk sits. OpenAI's construction introduces a forcing term, an outside push on the fluid. The prize version asks what the fluid does on its own. The company's decision not to file for the prize is the clearest signal available about how it rates its own claim against the formal criteria.

Why the credit fight erupted

Twelve hours before OpenAI published, Buckmaster of New York University released a statement describing work with Alpoge, now at Anthropic, that resolved several closely related problems using a mix of models. The pair had a Lean-verified Euler proof by August 22 and had planned a more careful write-up, but moved their timeline up after word of their progress reached OpenAI. Buckmaster was blunt about the cost of rushing, describing one of the three papers they released as slop and apologizing for it.

OpenAI concedes priority on the three-dimensional Euler result to Buckmaster and Alpoge while claiming Navier-Stokes for itself. It also acknowledges that rumors of their progress are what prompted it to attack the problem at all. Buckmaster's statement goes further, implying that OpenAI researchers or their agents may have seen and benefited from work the pair carried out using OpenAI's own models. Bubeck has rejected that account, saying the internal model reached the Euler result independently and by different means. As of publication the participants are telling materially different versions of the same week.

The humans behind the method

Both teams stand on work by Diego Cordoba of Madrid's Institute for Mathematical Sciences and Luis Martinez-Zoroa of CUNEF University. In his 2021 dissertation, Martinez-Zoroa developed analytic techniques that avoid computers entirely, an unfashionable choice in a field that had leaned on computer-assisted error control since Thomas Hou and Guo Luo's 2013 cylinder result. By 2023 the pair had shown that a version of Euler with an ugly forcing function admits singularities, using an infinite cascade of layered non-singular solutions. Making that cascade produce a smooth forcing function was the remaining hurdle, and it is the step both AI groups appear to have cleared.

Charles Fefferman of Princeton, who wrote Clay's official description of the problem, called Cordoba and Martinez-Zoroa the heroes of the story, as Quanta Magazine reported. Buckmaster said publicly that he believes Martinez-Zoroa deserves a Fields Medal. Cordoba's own line on the AI boom is drier: he jokes that he does not use AI because he has Luis.

What this means for AI-assisted mathematics

Strip out the priority dispute and a structural claim remains: a coordinated swarm of AI agents running for days, checked by a formal proof system, is now a viable instrument for research-level mathematics. That is a different proposition from a large language model answering a competition question, and it echoes the multi-agent scaling patterns described in OpenAI's earlier 1,200-agent experiments. The open questions are now sociological as much as technical — how priority is assigned when a lab can point compute at a rumor, and how credit flows back to the people whose methods made the search tractable.

FAQ

Did OpenAI win the Millennium Prize?

No. OpenAI has said it will not claim the prize. Its proof adds an external forcing term to the equations, while the Clay Mathematics Institute's official formulation concerns the unforced case, so the result does not satisfy the prize criteria as written.

Has the proof been verified?

The argument was formally checked in Lean, which gives strong confidence that the stated theorem follows from its premises. Human reviewers still have to confirm that the formalized statement is mathematically equivalent to the blowup claim, and that review is ongoing.

Who is Luis Martinez-Zoroa?

He is a mathematician at CUNEF University in Madrid who, with his doctoral adviser Diego Cordoba, developed the infinite-cascade technique both AI teams built on. Buckmaster has argued publicly that the work merits a Fields Medal.

a:["$","div",null,{"className":"mx-auto max-w-7xl px-4 py-8 sm:px-6","children":[["$","script",null,{"type":"application/ld+json","dangerouslySetInnerHTML":{"__html":"{\"@context\":\"https://schema.org\",\"@type\":\"BreadcrumbList\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https://ainewsway.com\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"#mathematics\",\"item\":\"https://ainewsway.com/tag/mathematics\"}]}"}}],["$","script",null,{"type":"application/ld+json","dangerouslySetInnerHTML":{"__html":"{\"@context\":\"https://schema.org\",\"@type\":\"ItemList\",\"@id\":\"https://ainewsway.com/tag/mathematics#itemlist\",\"name\":\"#mathematics Articles\",\"numberOfItems\":1,\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"url\":\"https://ainewsway.com/articles/openais-10000-agent-navier-stokes-proof-lands-with-an-asterisk-mtwhyh84\",\"name\":\"OpenAI's 10,000-Agent Navier-Stokes Proof Lands With an Asterisk\"}]}"}}],["$","$L1d",null,{"items":[{"label":"# mathematics"}]}],["$","h1",null,{"className":"mb-8 text-3xl font-bold text-zinc-900 dark:text-zinc-100","children":["#","mathematics"]}],[["$","$L1e",null,{"articles":[{"id":"526690ed-d068-4540-b142-9693eea97859","slug":"openais-10000-agent-navier-stokes-proof-lands-with-an-asterisk-mtwhyh84","title":"OpenAI's 10,000-Agent Navier-Stokes Proof Lands With an Asterisk","subtitle":"The lab says a swarm of agents found a fluid singularity. It also says it will not claim the $1 million prize.","content":"$1f","excerpt":"OpenAI says 10,000 agents found a singularity in the Navier-Stokes equations, verified in Lean. It won't claim the Clay prize, and a credit fight has erupted.","coverImage":"https://cdn.ainewsway.com/uploads/2026/09/c1e21c75-f348-47f9-8367-ddd07342103d.webp","coverImageCaption":"Large-scale fractal motion in cloud formations, an everyday illustration of the turbulent flow the Navier-Stokes equations attempt to describe.","authorId":"6773f67d-d7fa-4b19-8f38-384f10ac761b","status":"PUBLISHED","publishedAt":"2026-09-11T05:10:24.420Z","viewCount":1,"likeCount":0,"readingTime":6,"isFeatured":false,"isBreakingNews":false,"metaTitle":"OpenAI's 10,000-Agent Navier-Stokes Proof, Explained","metaDescription":"OpenAI says 10,000 agents found a Navier-Stokes singularity, verified in Lean. Why it won't claim the $1M Clay prize, and the credit fight that followed.","metaKeywords":["OpenAI Navier-Stokes","Millennium Prize Problem","AI agents mathematics","Lean proof assistant","Tristan Buckmaster","AI math proof","Clay Mathematics Institute"],"ogImage":null,"aiSummary":"OpenAI announced on September 8, 2026 that about 10,000 autonomous agents, running on an unreleased internal model, found a singularity in the three-dimensional Navier-Stokes equations, with the argument formally checked in Lean. The company will not claim the Clay Institute's $1 million prize because its proof relies on an external forcing term the official formulation excludes. A priority dispute with NYU's Tristan Buckmaster and Anthropic's Levent Alpoge broke out within hours, and both efforts build on earlier analytic work from Madrid.","aiTags":[],"sentiment":null,"articleType":"ANALYSIS","videoEmbed":null,"videoType":null,"seoScore":85,"isAutoGenerated":true,"isBackfill":false,"pipelineStage":null,"copyrightScore":null,"similarityScore":null,"matchedSourceId":null,"createdAt":"2026-09-11T05:09:37.590Z","updatedAt":"2026-09-15T11:34:26.847Z","contentUpdatedAt":"2026-09-15T11:34:26.846Z","deletedAt":null,"author":{"id":"6773f67d-d7fa-4b19-8f38-384f10ac761b","name":"Seung Jung","username":"Seung Jung","avatar":null},"categories":[{"id":"e2b5fffc-de32-42aa-86fe-c75f219d6b4b","name":"AI & Machine Learning","slug":"ai-ml"}],"tags":[{"id":"95546cf6-8b8e-4ec4-829b-f9988ab8674c","name":"OpenAI","slug":"openai"},{"id":"971d527f-0508-47c9-aac1-39914a5f883c","name":"AI Agents","slug":"ai-agents"},{"id":"805c43a2-40de-4c09-b59e-ebbaca6c1013","name":"Mathematics","slug":"mathematics"},{"id":"a9083e67-1546-4fbe-9789-4e61748b6f9c","name":"AI Research","slug":"ai-research"}],"translations":[{"id":"2084b036-d662-4571-b047-2fb6b0b8c026","language":"zh","title":"OpenAI一萬智慧體的納維-斯托克斯證明，帶著一個註腳落地","subtitle":"該實驗室稱一群智慧體找到了流體奇點，同時表示不會申領那100萬美元獎金。","excerpt":"OpenAI稱一萬個智慧體在納維-斯托克斯方程中找到奇點並經Lean驗證。它不會申領克雷獎金，而一場功勞之爭隨之爆發。","metaTitle":"解讀OpenAI一萬智慧體的納維-斯托克斯證明","metaDescription":"OpenAI稱一萬個智慧體找到納維-斯托克斯奇點並在Lean中通過驗證。它為何不申領100萬美元克雷獎金，以及隨後爆發的功勞之爭。"},{"id":"7f3542d3-ff86-439f-8c75-e7ac6a31ddfb","language":"ko","title":"에이전트 1만 개가 만든 OpenAI의 나비에-스토크스 증명, 단서가 붙었다","subtitle":"에이전트 군집이 유체 특이점을 찾았다고 OpenAI는 말한다. 그러면서 100만 달러 상금은 청구하지 않겠다고 했다.","excerpt":"OpenAI가 에이전트 1만 개로 나비에-스토크스 방정식의 특이점을 찾아 Lean으로 검증했다고 밝혔다. 클레이 상금은 청구하지 않으며, 공로 다툼이 불거졌다.","metaTitle":"OpenAI 에이전트 1만 개의 나비에-스토크스 증명 정리","metaDescription":"OpenAI가 에이전트 1만 개로 나비에-스토크스 특이점을 찾아 Lean으로 검증했다. 100만 달러 클레이 상금을 청구하지 않는 이유와 공로 논쟁을 짚었다."},{"id":"2a4230d3-85f1-4eaf-8508-7a408925a14c","language":"ja","title":"1万体のエージェントによるOpenAIのナビエ–ストークス証明、注釈つきの到達","subtitle":"エージェントの群れが流体の特異点を見つけたと同社は言う。そして100万ドルの賞金は請求しないとも言う。","excerpt":"OpenAIは1万体のエージェントがナビエ–ストークス方程式の特異点を発見しLeanで検証したと発表。クレイ賞は請求せず、功績をめぐる論争が起きている。","metaTitle":"OpenAIの1万エージェントによるナビエ–ストークス証明を解説","metaDescription":"OpenAIは1万体のエージェントでナビエ–ストークスの特異点を発見しLeanで検証したと発表。100万ドルの賞金を請求しない理由と、その後の功績争いを整理する。"},{"id":"19658b04-4946-466d-b027-4a6265e49a69","language":"es","title":"La demostración de Navier-Stokes de OpenAI, con 10.000 agentes y un asterisco","subtitle":"El laboratorio dice que un enjambre de agentes halló una singularidad en un fluido. También dice que no reclamará el millón de dólares.","excerpt":"OpenAI afirma que 10.000 agentes hallaron una singularidad en las ecuaciones de Navier-Stokes, verificada en Lean. No reclamará el premio Clay y ha estallado una disputa por el mérito.","metaTitle":"La demostración de Navier-Stokes de OpenAI, explicada","metaDescription":"OpenAI dice que 10.000 agentes hallaron una singularidad de Navier-Stokes verificada en Lean. Por qué no reclama el premio Clay y la disputa por el mérito."}],"celebrities":[{"id":"b086135e-3126-46cd-b591-67f073dff1bb","nameKo":"OpenAI","nameEn":"OpenAI","slug":"openai","profileImage":"https://ui-avatars.com/api/?name=OpenAI&size=400&background=F97316&color=fff&bold=true"},{"id":"0632936d-a299-490f-b5e5-dfa87ba3eaa0","nameKo":"Anthropic","nameEn":"Anthropic","slug":"anthropic","profileImage":"https://ui-avatars.com/api/?name=Anthropic&size=400&background=84CC16&color=fff&bold=true"}]}]}],"$L20"]]}]

#mathematics

에이전트 1만 개가 만든 OpenAI의 나비에-스토크스 증명, 단서가 붙었다

뉴스레터 구독

#mathematics

에이전트 1만 개가 만든 OpenAI의 나비에-스토크스 증명, 단서가 붙었다