normative claim
The mathematical library should contain ideas that are well understood and stated at the appropriate level of generality.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So m-mathematics needs to mature. Sometimes at the boundary, it's, it's not material that's ideal for the library. You know, what we want in the library is ideas which are really well understood and there's a-- exist in the correct generality.”35:46Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.98confidence the claim was read correctly