opinion claim
Thomas Hales' 20 person-years of formalizing his Kepler conjecture result yielded assurance of correctness, which the speaker considers less exciting than new mathematics and discoveries.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And at the end, all he gets out of it is assurance that the thing is correct. Now that is like, that's much less exciting than getting new math and new discoveries.”11:29Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.96confidence the claim was read correctly