descriptive claim
On September 8, OpenAI published what it claimed was a resolution of the Navier–Stokes millennium problem, accompanied by a Lean formalization.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Both results were checked in Lean. It resolved two of sixty-eight problems. The other four models resolved none. And on September the eighth, OpenAI also published a claimed resolution of the Navier-Stokes millennium problem alongside a Lean formalization, but unfortunately not under the best circumstances.”59:01Report a misattribution
0.90how strongly it was put, not whether it is true
0.90importance to the conversation
0.98confidence the claim was read correctly