descriptive claim
Hales's paper was accepted with a disclaimer stating that the reviewers were 99 percent confident the proof was correct.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“The paper was accepted with a disclaimer saying something like, "We're ninety-nine percent confident this proof is correct." But then Tom started using proof assistants.”5:58Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.90confidence the claim was read correctly