descriptive claim
The mathematical software community was small at the time of the proof-checking challenge.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“It was only, it was only six pages long, uh, but the community at that time was small. So we did wonder, we did wonder whether it would be feasible, uh, to, uh, to actually plow through these six pages.”50:18Report a misattribution
0.95how strongly it was put, not whether it is true
0.45importance to the conversation
0.98confidence the claim was read correctly