descriptive claim
Formal verification that a proof is correct does not ensure that it proves the intended statement.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“But a checked proof can still be a proof of the wrong thing.”1:24Report a misattribution
0.95how strongly it was put, not whether it is true
0.85importance to the conversation
0.97confidence the claim was read correctly