prediction claim
A computer searching only for strictly correct results would not be guided by the human values that inform mathematical intuition.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And I think you're right to say that a computer doing this kind of search for things that are just like correct in some strict sense, some concrete sense would not be, um, its search would not be informed by th-those same kind of values.”54:25Report a misattribution
0.85how strongly it was put, not whether it is true
0.75importance to the conversation
0.96confidence the claim was read correctly