definition claim
A proof checker certifies a derivation but not whether humans chose the intended target, a limitation described as the formalization gap.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“The checker certifies the derivation, but it doesn't certify the human choice of target. This is the formalization gap.”1:07:57Report a misattribution
0.95how strongly it was put, not whether it is true
0.85importance to the conversation
0.99confidence the claim was read correctly