4 sources healthy · latest episode 9 Nov 2026
descriptive claim

The speaker says that Lean project contributors were young, idealistic, and excited, and felt their work was interesting and important.

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

In their words

The transcript segments this claim was taken from

“You know? It's just a wonderful community of, of good friends, and e- everybody working on the project was kind of young and idealistic and excited about it, and, you know, we all felt that we were doing something interesting and important.”
1:28:09Report a misattribution
0.95how strongly it was put, not whether it is true
0.55importance to the conversation
0.99confidence the claim was read correctly