descriptive claim
The speaker's primary appointment at Carnegie Mellon is in its philosophy department.
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.99how strongly it was put, not whether it is true
0.40importance to the conversation
0.99confidence the claim was read correctly