descriptive claim
Thomas Hales was unable to get the mathematics community to verify his proof of Kepler's conjecture.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“He couldn't get the math community to verify his proof of Kepler's conjecture. Why would he court frustration by applying the same methods to other problems?”5:44Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.92confidence the claim was read correctly