descriptive claim
The speaker says Leo kept his distance from others while working on Lean 4, although he occasionally replied quickly to the speaker’s emails.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And while he was working on Lean 4 he kind of holed off and, you know, he kind of needed his distance. Um, and you know, e- every once in a while I would send him a, an email and get a quick response, but it was clear that he, he wanted some distance.”1:31:21Report a misattribution
0.90how strongly it was put, not whether it is true
0.55importance to the conversation
0.96confidence the claim was read correctly