Back to feed

The Navier-Stokes Fight: 10,000 AI Agents and the Million-Dollar Equation

On September 8, 2026, OpenAI announced that an internal model running close to ten thousand agents for 88 hours had produced a proof finding finite-time singularity in the Navier-Stokes equations. The result covers the externally forced version of the million-dollar problem; the unforced case most mathematicians care about stays open. Behind the announcement grows a credit and data quarrel with NYU's Tristan Buckmaster and Anthropic's Levent Alpöge.

Imported to Nodesdaily: (UTC+03:00)
Watch on YouTube — tk9i489ACu8
Reading options

Device speech is unavailable in this browser.

Concept lens

Choose a technical term in this view to read its general definition, teaching example and use in the article.

No terms from our glossary were found in this view. The glossary does not cover every term yet.

Bora Özkent usually reads artificial intelligence through an investor's lens, asking which sectors will grow and where the money sits. This video keeps that lens but points it at an unfamiliar target: the accelerating scientific output of AI and the scandals around it, with people, tears, and OpenAI in the frame. His thesis is that AI approaching science opens business opportunities in thoroughly physical industries, aircraft design among them.

The human story starts with two researchers: NYU mathematician Tristan Buckmaster and Turkish researcher Levent Alpöge, who collaborates in a private capacity while working at rival lab Anthropic. The pair pursued a hard fluid-dynamics problem with the help of publicly available AI models, including Codex, and were close to publishing when a letter arrived from OpenAI saying the problem had already been solved. That collision between a nearly finished paper and a corporate announcement is the engine of the whole dispute.

The problem itself is the Navier-Stokes existence and smoothness question, one of the Clay Institute's million-dollar Millennium problems since 2000. Picture a tap: water first flows in order, then wobbles and curls further down. The mathematics asks whether such flows can be predicted in every setting and whether a smooth start can ever spiral into a singularity where speed shoots to infinity. On September 8, 2026, OpenAI announced its internal model had produced an answer: close to ten thousand agents working in parallel for 88 hours, plus 17 more hours of formalization in the Lean proof language, released as a hundred-plus-page paper with machine-checkable files.

Then came the authorship quarrel. According to Buckmaster, OpenAI invited him to inspect the thesis and co-publish it, but wanted Alpöge's name left off because of the Anthropic affiliation. Buckmaster insisted the work had been joint and refused to sign alone, and describes the exchange as including threats to his career, an account OpenAI disputes. The argument spilled onto social media, where plenty of people already distrust the company, and grew beyond anyone's control.

A second scandal layer concerns how OpenAI started at all. By its own account the project began on September 1, after rumors that rival-side mathematicians were nearing solutions to Millennium-scale problems, and three days before the publication a competitor had formalized Fermat's Last Theorem in eleven days. Because Buckmaster and Alpöge had worked on public models, suspicion arose that their unpublished thinking may have fed the machine that scooped them. OpenAI says it did not look at private work, yet concedes its system may have benefited at low probability, which satisfied almost nobody.

Set the quarrel aside for a moment and the science remains striking. OpenAI's result concerns predicting how a fluid reacts to an outside push, the kind of mathematics that decides wing shapes, weather forecasts, chip cooling, and even blood flow through vessels and stents. Science advances on trial, error, and result, and ten thousand coordinated agents compress that loop dramatically: they gather more material at once than a human could survey in a lifetime and walk it toward a conclusion. That is why the video treats the episode as an investment lens as much as a science story.

The closing argument is about the changing role of the scientist. The machine takes no initiative and frames no question; choosing the problem stays human work. But much of the laboratory routine may migrate to models, leaving people to find the thesis and check the results, with hallucination as a standing risk the video's author admits seeing in his own heavy AI use. Every profession is changing, he concludes, and science is no exception: sometimes people's labor gets taken, sometimes accelerated, and a middle path is still to be found.

Visualization: nodesdaily AI

AI commentary

"What hooked me in this story is not the proof itself but its timing. A rumor on September 1, a publication on September 8, and a rival team's names in the middle: this is how fast frontier science moves when industrial-scale compute enters the race. I read OpenAI's claim as a serious Lean-checked result on a real version of the problem, and the authorship fight as the first public quarrel of a new era in which laboratories, not just universities, decide who discovered what."

AI assessment

The strongest version of OpenAI's case deserves to be stated plainly. The company published a computer-checked result on the forced version of the problem, a version the Clay statement permits, and built it on years of human mathematics that the American Mathematical Society described as the groundwork for the final steps. That the unforced case stays open limits the scope of the claim; it does not erase the result.

What the announcement does not settle matters more than what it settles. The Clay Institute has not accepted the proof and still lists the problem as open, with its president promising a deliberately unhurried and rigorous review. A Lean compile shows an argument follows from its axioms, not that the formalization captures the intended problem, and independent mathematicians are still walking through the hundred-plus pages. Cost estimates from two to more than twenty million dollars also narrow who can repeat such a run.

The provenance questions are where my confidence drops. Buckmaster says he asked whether his team's data had been used and received no answer, while OpenAI denies the claim that collaboration was conditioned on removing a rival-affiliated name. The sequence itself is documented: a September 1 start on a rumor, a September 8 publication, three days after a competitor formalized Fermat's Last Theorem. Terence Tao's warning stands on its own: if rumors trigger million-dollar scooping runs, researchers will stop sharing promising work early, and open science loses its foundation.

My practical read, in the first person: for an investor the video's physical-world lens survives this dispute, because fluid prediction really does touch wings, weather, chips, and blood flow, but no position should rest on a single unreviewed announcement. For a researcher the lesson is operational: do not run sensitive unpublished work on infrastructure whose owner races you. I treat the proof as worth taking seriously and the celebration as premature, and I read the quarrel as the herald of a new balance of power between laboratories and universities.

Sources

10 links; 6 of them also cited by 11 other stories. Stories sharing a link do not confirm each other; a source's origin is not inferred from how often it is cited.

navier-stokes · openai · tristan buckmaster · millennium problems · ai science · lean proof · terence tao

Follow the topic

Before this story

A short reading order from earlier stories linked to this event by an editor.

Evidence and sources

Review permitted source passages, versions and origins.

KAYNAKLARLA OKU

Bu haberi açalım.

Hesap kontrol ediliyor…