opinion claim
A formally checked proof can be refined after verification, while retaining the value of its established correctness.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“He can clean up, improve, but the proof is correct. This is valuable.”9:00Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.95confidence the claim was read correctly