descriptive claim
Kevin Hartnett worked for Quanta Magazine when he approached the speaker about an article on Lean and its mathematics library.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And I was contacted by a guy called Kevin Hartnett, uh, who at the time worked for Quanta Magazine and wanted to run a piece on, on Lean's, Lean and its mathematics library, uh, for Quanta.”1:26:03Report a misattribution
0.95how strongly it was put, not whether it is true
0.40importance to the conversation
0.98confidence the claim was read correctly