causal claim
An algorithm can verify whether a mathematical proof is correct, supporting trust and collaboration with people who have never met.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“You have an algorithm that can check whether the proof is correct or not. For math, for example, this is useful for trust. I mean, you can collaborate with people you never have met.”7:48Report a misattribution
0.95how strongly it was put, not whether it is true
0.80importance to the conversation
0.97confidence the claim was read correctly