descriptive claim
Leo found himself rapidly responding to users who were not his intended audience and were using Lean for purposes he had not planned for it.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“It's very hard for him to receive a piece of feedback, especially if he recognizes it's kinda fundamentally correct, and ignore it. So he finds himself kind of responding rapidly to all these users who are not even the users he intended to be building for, who are doing something that's not even what he planned Lean to be useful for.”25:24Report a misattribution
0.95how strongly it was put, not whether it is true
0.60importance to the conversation
0.96confidence the claim was read correctly