opinion claim
The speaker says Lean’s progress from its early days to the present seems surreal in retrospect.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And so looking, looking back on all that it, it almost seems surreal. I mean, it, it, it seems d- very surreal, you know, how far we've come.”1:32:59Report a misattribution
0.90how strongly it was put, not whether it is true
0.40importance to the conversation
0.97confidence the claim was read correctly