4 sources healthy · latest episode 9 Nov 2026
descriptive claim

The Lean project experienced difficulties and tensions, which its participants preferred not to emphasize publicly.

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

In their words

The transcript segments this claim was taken from

“y- you know, there were, there were the, the, the bumpy spots along the way, and there were the, um, you know, the, there were these tensions and-- But we don't wanna dwell on them, right?”
1:28:34Report a misattribution
0.95how strongly it was put, not whether it is true
0.55importance to the conversation
0.97confidence the claim was read correctly