descriptive claim
The other four models in Epoch AI's fixed-budget test resolved zero problems.
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.75importance to the conversation
0.98confidence the claim was read correctly