causal claim
The mathematical community tries to avoid adding concepts to the library prematurely, since later generalization or simplification could require reworking the entire concept.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Because you don't really want to put some concept in the library, and then it gets generalized and simplified a bit, and then somehow you need to rework the entire thing. This- we, we try and avoid this.”36:54Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.97confidence the claim was read correctly