opinion claim
The speaker characterizes tensions within the Lean project as conflicts among people with different aims, rather than a struggle between good and bad people.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Um, and, uh, um, and when there were tensions involved, uh, sort of, you know, making them, making it come across that, again, it wasn't a matter of good guys and bad guys but just people looking, uh, for different things.”1:29:14Report a misattribution
0.85how strongly it was put, not whether it is true
0.55importance to the conversation
0.96confidence the claim was read correctly