descriptive claim
The speaker says that during a period of Lean 4 development, Leo was frustrated with users generally and particularly with mathematical users.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Oh, so, so, uh, so if, if you read the book, there was a, a period where Leo was just kind of frustrated with, with, uh, well really all users but especially the mathematical users.”1:31:11Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.96confidence the claim was read correctly