opinion claim
The speaker said that formalizing definitions is much easier than formalizing proofs of theorems that are one hundred pages long.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“The year before, we'd, we'd taken one of his definitions. As I said, definitions are much easier than proofs of one hundred page theorems. The year before, we'd taken one of his definitions and taught it to the machine, and we got a certain amount of traction.”49:55Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.94confidence the claim was read correctly