descriptive claim
Formal proof checking can provide assurance that a proof is correct, so its organizer need not continually question its correctness.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“people can maintain this proof later. But you don't have to keep thinking about is this, the proof is correct or not. He knows the proof is correct.”8:50Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.95confidence the claim was read correctly