descriptive claim
After completing the proof in summer 1998, Thomas Hales expected to apply its methods to other similar problems.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“When Hales had finished the proof in the summer of 1998, he had imagined he would use the methods he had developed for Kepler to attack other similar problems.”5:20Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.92confidence the claim was read correctly