OpenAI not too long ago introduced one thing extraordinary: an inner AI system had produced a proposed resolution to the Navier-Stokes existence and smoothness drawback, certainly one of arithmetic’ legendary Millennium Prize Issues.
Extra exactly, the system constructed a finite-time singularity for the three-dimensional Navier-Stokes equations with a easy exterior pressure, one of many routes permitted by the official Clay Arithmetic Institute formulation of the issue. It doesn’t settle the better-known query of whether or not the unforced equations all the time stay easy.
In accordance with OpenAI’s official report, the Navier-Stokes effort concerned on the order of 10,000 concurrent AI brokers, 2.7 million messages and roughly 130 billion output tokens. The brokers reached their proposed resolution about 88 hours after the experiment started, adopted by one other 17 hours of Lean formalization and verification.
At first look, it sounds just like the type of end result individuals have lengthy imagined from extremely autonomous AI: give a system an issue mathematicians have struggled with for many years, let it work for a couple of days, and get a proof again.
However the story of how OpenAI bought there’s significantly extra attention-grabbing.
The Story Began With Two Human Mathematicians
Earlier than OpenAI launched these 10,000 brokers, mathematicians Tristan Buckmaster of NYU and Levent Alpöge, who works at Anthropic, had already been making main progress on carefully associated fluid dynamics issues.
They weren’t working with out AI both.
Their analysis used instruments together with Claude and OpenAI Codex, and their outcomes have been formally verified utilizing Lean. Their work included setting up finite-time blowup for the three-dimensional incompressible Euler equations with easy forcing.
Their end result did not clear up Navier-Stokes, however it pushed additional right into a carefully associated space.
Then one thing attention-grabbing occurred.
In accordance with OpenAI, on September 1, 2026 it heard rumors that two Millennium Prize issues had been solved. These rumors, mixed with sturdy outcomes from its newly skilled inner mannequin, prompted the corporate to check the system throughout the remaining open Millennium Prize issues.
OpenAI later realized the rumors have been related to Buckmaster and Alpöge.
So AI didn’t merely get up one morning, independently select Navier-Stokes and clear up it from nowhere.
Human researchers have been already making vital progress across the identical frontier.
However importantly, it was OpenAI’s personal Euler end result that later satisfied the corporate to pay attention its sources particularly on Navier-Stokes.
Then OpenAI Scaled It to 10,000 Brokers
That is the place OpenAI did one thing genuinely uncommon.
It primarily created a big digital analysis lab.
The brokers have been divided into teams that would talk internally, run code and entry a cached model of the web.
Completely different teams explored completely different mathematical approaches.
Almost 100 brokers first labored for about 50 hours on an Euler-related drawback and produced a end result that OpenAI thought-about promising.
At that time, OpenAI redirected brokers away from different Millennium Prize issues and towards Navier-Stokes.
It additionally started sharing helpful findings between teams.
OpenAI describes this as cross-pollination: Codex consolidated promising intermediate outcomes from completely different agent teams, and people findings have been fed again into later prompts.
Finally, the profitable effort concerned roughly 10,000 concurrent brokers.
Which will really be the largest story right here.
A single mathematician can discover a handful of concepts.
A analysis group can discover extra.
Ten thousand brokers can examine big numbers of doable paths concurrently, discard failures and maintain constructing on promising outcomes.
Maybe the breakthrough is not that AI abruptly turned a mathematical genius.
Maybe it turned an extremely scalable analysis workforce.
Then the Controversy Began
After OpenAI’s end result emerged, Buckmaster raised an uncomfortable query.
He and Alpöge had been utilizing Codex whereas creating their very own analysis and, in accordance with Buckmaster, had put drafts from the venture into the software.
So he requested OpenAI whether or not its new mannequin had been skilled on, or had entry to, these periods.
As detailed in ABC Information’ account of the dispute, Buckmaster mentioned he was initially advised that the mannequin didn’t “lookup” person knowledge. When he requested particularly about coaching, he mentioned he didn’t instantly obtain a solution.
Buckmaster was cautious to not accuse OpenAI, saying, “I have no idea what their mannequin did, or how,” and that he didn’t know whether or not their knowledge had been used.
OpenAI later investigated.
In an replace to its report, the corporate mentioned Buckmaster’s Codex prompts from the previous two months couldn’t have influenced the system in any means, together with by coaching. OpenAI additionally says its researchers and brokers had not seen Buckmaster and Alpöge’s unpublished work earlier than it turned public.
So based mostly on the proof at the moment out there, there is no such thing as a foundation for saying OpenAI skilled on their unpublished proof or copied their personal analysis.
However then one other disagreement emerged: who will get credit score?
There have been now two separate outcomes: Buckmaster and Alpöge’s Euler work and OpenAI’s Navier-Stokes end result.
In accordance with Buckmaster, OpenAI researcher Sébastien Bubeck introduced two doable methods ahead.
One was for Buckmaster and Alpöge to publish their Euler end result earlier than OpenAI launched Navier-Stokes.
The opposite was extra controversial.
Buckmaster says he was provided the possibility to write a paper presenting OpenAI’s Navier-Stokes proof, clearly acknowledging that an OpenAI mannequin had generated it.
However Alpöge wouldn’t be included as a result of he labored for Anthropic.
Buckmaster refused.
Bubeck later mentioned he had proposed Buckmaster as lead creator of a rewritten presentation of OpenAI’s proof, and that he thought-about it inappropriate for an Anthropic worker to creator OpenAI’s work. He additionally clarified that he had by no means proposed eradicating Alpöge from Buckmaster and Alpöge’s personal Euler paper.
That disagreement factors to an issue educational publishing was by no means actually designed for.
If people develop the encircling concepts, AI instruments take part within the analysis, one other AI system generates the ultimate proof and people nonetheless must interpret and publish it, who really will get the credit score?
So What Did AI Truly Uncover?
OpenAI’s experiment was not 10,000 brokers ranging from a clean web page and inventing fluid dynamics from scratch.
It constructed on many years of arithmetic, current human progress in the identical space, and analysis instructions that have been already changing into promising. People additionally determined the place to allocate compute, whereas OpenAI intentionally handed helpful intermediate findings between agent teams.
However that doesn’t make the end result any much less vital.
What OpenAI demonstrated is one thing completely different: hundreds of AI brokers can discover analysis paths in parallel, discard lifeless ends, mix promising concepts and compress an unlimited quantity of labor into only a few days.
The Clay Arithmetic Institute has since mentioned that the Navier-Stokes drawback “has apparently been settled,” whereas making clear that evaluating the end result and figuring out credit score will take time.
So maybe the essential query isn’t whether or not AI has abruptly reached synthetic basic intelligence.
What this experiment actually reveals is that we are able to now give a really tough analysis drawback to hundreds of AI brokers, allow them to discover many various concepts on the identical time, and doubtlessly end in days what might take human researchers for much longer.
That may be a main shift.
Nevertheless it additionally creates a brand new query: if AI is constructing on many years of human analysis after which exploring these concepts at huge scale, what a part of the ultimate end result ought to we name a real AI discovery?
Last Ideas
For me, probably the most attention-grabbing a part of this experiment isn’t that AI solved a well-known arithmetic drawback in 88 hours.
It’s the way it bought there.
OpenAI didn’t ask one mannequin to take a seat and assume more durable. It created hundreds of brokers, despatched them down completely different analysis paths, moved extra compute towards promising concepts, shared helpful discoveries between teams, and saved going till one thing labored.
That begins to look much less like a chatbot and extra like a analysis group operating at machine velocity.
The truth is, OpenAI has already described its broader purpose as constructing an automatic AI researcher.
However Navier-Stokes additionally reveals why we ought to be cautious with the phrase discovery.
The brokers have been engaged on prime of many years of arithmetic, present analysis, human choices and concepts that have been already creating on the frontier.
So possibly the true milestone right here isn’t that AI abruptly realized how one can uncover issues by itself.
It’s that analysis itself might now be scalable.
And if 10,000 AI brokers can already do that in the present day, the extra attention-grabbing query is what occurs when the identical method is utilized to hundreds of different unsolved issues throughout arithmetic, science and engineering.
Abid Ali Awan (@1abidaliawan) is an authorized knowledge scientist skilled who loves constructing machine studying fashions. Presently, he’s specializing in content material creation and writing technical blogs on machine studying and knowledge science applied sciences. Abid holds a Grasp’s diploma in expertise administration and a bachelor’s diploma in telecommunication engineering. His imaginative and prescient is to construct an AI product utilizing a graph neural community for college students battling psychological sickness.
