opinion claim
The speaker is more interested in understanding machine-produced proofs than simply establishing that a machine can prove things.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“It may not be, but I think those are different quests at some point. It's like, can I make a machine prove stuff? Sure. But I'm interested in like understanding it, right?”11:04Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.97confidence the claim was read correctly