causal claim
Mathematicians' resistance to Lean stems from not seeing how it helps with their primary goal of discovering new mathematics.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So that's really where the resistance comes from. They don't see the utility of Lean for the thing they most care about, which is discovering new math.”12:09Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.96confidence the claim was read correctly