descriptive claim
The speaker says he and Leo enjoyed reconnecting and discussed both Lean and topics unrelated to Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Um, and yeah, it was, it was just, I don't know, it was just, it was great, great talking to him again. Um, you know, we, we talked about Lean but we talked about things that were not Lean.”1:32:36Report a misattribution
0.90how strongly it was put, not whether it is true
0.30importance to the conversation
0.97confidence the claim was read correctly