descriptive claim
A machine can check a proof and thereby provide a reader that verifies whether it is correct.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“The machine says it's right, and something has now actually finally read it.”0:38Report a misattribution
0.85how strongly it was put, not whether it is true
0.70importance to the conversation
0.82confidence the claim was read correctly