descriptive claim
The reporter says Leo was angry and had withdrawn from the Lean community for a period.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Leo was mad and kind of had left, left this sphere for a little while. Uh, and of course once, once you get one person to, to explain their side of the story, others, um, are kind of more forthcoming about theirs as well.”1:30:52Report a misattribution
0.90how strongly it was put, not whether it is true
0.55importance to the conversation
0.95confidence the claim was read correctly