descriptive claim
Thomas Hales completed the work after many years, producing 1,767 computer programs for the configurations of the balls.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And it took him many, many, many years to do this, and eventually he did it. So he had seventeen hundred and sixty-seven computer programs for every single configuration of these balls, and he was elated.”3:40Report a misattribution
0.90how strongly it was put, not whether it is true
0.70importance to the conversation
0.85confidence the claim was read correctly