opinion claim
The speaker considers formal verification especially unexciting when mathematicians are already fairly confident that a result is correct.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“It's especially not exciting in situations where you're already fairly confident that things are correct. So in most cases, mathematicians know when things are right or not. They're not troubled by correctness.”11:40Report a misattribution
0.90how strongly it was put, not whether it is true
0.65importance to the conversation
0.95confidence the claim was read correctly