opinion claim
The speaker values understanding mathematical proofs and says that even if a machine proves something, he still has to understand it himself.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Can I make a machine prove stuff? Sure. But I'm interested in understanding it, right? And I'm still the one who has to understand it.”1:06Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.94confidence the claim was read correctly