descriptive claim
At the time described, Mathlib covered nearly all undergraduate mathematics, with a few gaps, and approximately 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.80how strongly it was put, not whether it is true
0.80importance to the conversation
0.96confidence the claim was read correctly