descriptive claim
Using a tool such as Lean to prove a result can produce certificates.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Well, I think the main thing is that we can, when you prove something using a tool like Lean, you can get certificates.”7:40Report a misattribution
0.90how strongly it was put, not whether it is true
0.70importance to the conversation
0.98confidence the claim was read correctly