descriptive claim
In Epoch AI's fixed-budget test, a pre-release OpenAI model proved Erdős problem 126 and disproved Erdős problem 74 by finding a counterexample.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“In Epoch AI's fixed budget test, a pre-release OpenAI model proved Erdős problem one hundred and twenty-six and disproved problem seventy-four by finding a counterexample.”58:49Report 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