descriptive claim
The speaker's team formalized the statements of 50 theorems published in the Annals of Mathematics.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Uh, so we wrote down the statements of fifty, um, fifty theorems from this top pure math journal, the Annals of Mathematics.”1:09:37Report a misattribution
0.95how strongly it was put, not whether it is true
0.75importance to the conversation
0.98confidence the claim was read correctly