descriptive claim
When the speaker started working with Mathlib, it lacked the complex numbers; the speaker estimates that complex numbers date from about 500 years ago.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“You know, it's, uh, you know, thousands of years old. Uh, and it didn't have the complex numbers, which are, I guess, from about five hundred years ago.”32:48Report a misattribution
0.85how strongly it was put, not whether it is true
0.60importance to the conversation
0.92confidence the claim was read correctly