prediction claim
The speaker says mathematical practice uses its formal language at roughly 99 percent capacity, and machines could help bring its use to 100 percent.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Uh, but in practice, uh, we're only using it at sort of ninety-nine percent capacity. And one of the things that machines will offer you is the chance to upgrade that to a hundred percent capacity.”1:11:16Report a misattribution
0.85how strongly it was put, not whether it is true
0.85importance to the conversation
0.96confidence the claim was read correctly