descriptive claim
The reporter says Leo communicated that he wanted to build Lean 4 independently and be left alone, and the mathematicians understood that message.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Please leave me alone," in so many words. And they kind of, they kind of actually, they get the message. They're a little wary of like angering this guy who they admire and is so, is so important to them.”1:30:01Report a misattribution
0.90how strongly it was put, not whether it is true
0.65importance to the conversation
0.95confidence the claim was read correctly