opinion claim
Kevin Hartnett initially considered checking the remarks in modern mathematical papers completely impossible, while Tom Hales's proposal to formalize theorem statements seemed viable.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So it, it was just a completely y- my idea was just like, let's check these modern papers remark, that's completely impossible. Whereas Hales' idea was viable.”43:52Report a misattribution
0.90how strongly it was put, not whether it is true
0.55importance to the conversation
0.90confidence the claim was read correctly