4 sources healthy · latest episode 9 Nov 2026
descriptive claim

Leo is strongly user-oriented and finds it difficult to disregard feedback when he recognizes it as fundamentally correct.

Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026

In their words

The transcript segments this claim was taken from

“Wouldn't it be great if we could do this? It would be much easier if we could do that. Can we have, like, a richer UI? Uh, Leo wants to please the, the users. He's extremely, like, users-oriented in that way.”
“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:14Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.97confidence the claim was read correctly