descriptive claim
At the time of the conversation, Mathlib contained nearly all undergraduate mathematics and about all first-year graduate-level mathematics.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“At the moment, it's essentially maybe first-year graduate-level math. They have all of undergraduate math, modulo a few things here and there. They have about all of first-year graduate-level math.”39:12Report a misattribution
0.75how strongly it was put, not whether it is true
0.75importance to the conversation
0.98confidence the claim was read correctly