4 sources healthy · latest episode 9 Nov 2026
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