opinion claim
The speaker believes adopting dependent type theory paid off over the long term.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Yeah, it paid off long term. In the long term, it paid off. It was a lot of extra work at the beginning. And to get it right was also a lot of work.”
“But I think it paid off.”21:09Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.99confidence the claim was read correctly