opinion claim
The speaker is uncertain whether using AI proof-writing to verify software and LLM outputs will succeed.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So I don't know. That, that kind of bet is underway. Whether or not it pans out, I don't know.”1:22:36Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.99confidence the claim was read correctly