descriptive claim
The speaker stayed late at work one evening each week to teach undergraduates how to use Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So, so I could stay late at work. Like, one evening a week, I'd stay late at work and just let the kids muddle on by themselves, and, uh, and I would teach undergraduates how to use this software.”34:18Report a misattribution
0.95how strongly it was put, not whether it is true
0.45importance to the conversation
0.95confidence the claim was read correctly