x.com/imjustnewatai/status/2097203480695890156
1 correction found
OpenAI's internal model 'Bel' has solved navier-stokes.
This overstates what the linked source says. Tristan Buckmaster wrote only that he was told an internal OpenAI model had a proof, that he had not seen it, and that he did not know whether OpenAI had actually closed the Navier–Stokes gap.
Full reasoning
The post turns an unverified report into a settled fact.
In the linked statement, Tristan Buckmaster does not say that OpenAI has solved Navier–Stokes. He writes:
- "I was told that an internal OpenAI model had produced a proof of finite time blowup for the forced Navier-Stokes equations."
- "I was told the proof is about 100 pages. I have not seen it."
- Later, even more explicitly: "I have not seen OpenAI’s proof. I do not know what their model did, or how."
- He then conditions the claim again: "If indeed an OpenAI model did close the gap to Navier-Stokes..."
So Buckmaster's statement is that he was told OpenAI had such a proof, not that he had verified one or that the problem was solved.
Independent of Buckmaster's statement, the Clay Mathematics Institute still lists Navier–Stokes among its "Unsolved problems" and says there is still "no proof for the most basic questions one can ask". Clay's rules also say a proposed Millennium solution is not even considered unless it is published in a qualifying outlet, two years have passed, and it has achieved general acceptance in the mathematics community.
That makes the sentence "has solved navier-stokes" materially misleading: it presents a rumor/claim of a proof as an established mathematical resolution.
3 sources
- Tristan Buckmaster statement
"I was told that an internal OpenAI model had produced a proof of finite time blowup for the forced Navier-Stokes equations... I was told the proof is about 100 pages. I have not seen it." Later: "I have not seen OpenAI’s proof... If indeed an OpenAI model did close the gap to Navier-Stokes..."
- The Millennium Prize Problems - Clay Mathematics Institute
The page lists "Navier-Stokes Equation" under "Unsolved problems" and says: "However, there is no proof for the most basic questions one can ask: do solutions exist, and are they unique?"
- Rules for the Millennium Prize Problems - Clay Mathematics Institute
Before CMI will consider a proposed solution, it must be published in a qualifying outlet, at least two years must have passed since publication, and it must have received general acceptance in the global mathematics community.