descriptive claim
The speaker became interested in Mathlib's development in 2020 while assigned to write a Quanta Magazine article about the project in its early days.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“It's through the development of Mathlib. And actually, I got in-interested in this story back in twenty twenty when I was assigned an article for Quanta Magazine on the development of Mathlib when it was still quite early days.”31:49Report a misattribution
0.95how strongly it was put, not whether it is true
0.40importance to the conversation
0.97confidence the claim was read correctly