prediction claim
The team initially estimated that the proof-checking project would take about one year.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And at, at the time, we imagined it would be about a year's worth of work. But then we started reading. We had to start reading the material, and we had to start reading it pro-- We, we were really the first people to be reading it, possibly.”50:57Report a misattribution
0.95how strongly it was put, not whether it is true
0.60importance to the conversation
0.98confidence the claim was read correctly