descriptive claim
Around 2000, the speaker began exploring proof assistants as a hobby because they found them interesting.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So here at Carnegie Mellon, my primary appointment is in the philosophy department. Proof assistants started just kind of as a hobby, just messing around with them because I thought they were interesting around the year 2000.”18:40Report a misattribution
0.98how strongly it was put, not whether it is true
0.50importance to the conversation
0.99confidence the claim was read correctly