descriptive claim
Thomas Hales' proof was highly verbose and complex, handled cases instance by instance, and was less abstract than earlier proofs.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Thomas Hales' proof was extremely verbose. It was complex. He was going through on an instance-by-instance basis, and it wasn't very abstract like the proofs that came before.”9:27Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.97confidence the claim was read correctly