descriptive claim
When the speaker started working with Mathlib, the library lacked a definition of the real numbers and had only just gained the concept.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“It didn't even have a definition of the real numbers when I started, or it, it, it just got this concept of the real numbers, which is something known to, you know, known to the ancient Greeks and the Babylonians.”32:38Report a misattribution
0.85how strongly it was put, not whether it is true
0.65importance to the conversation
0.90confidence the claim was read correctly