descriptive claim
The Equational Theories collaboration narrowed 22 million questions to 238 within a month and to 138 by late November.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Within a month, the Equational Theories group had narrowed twenty-two million questions down to two hundred and thirty-eight. By late November, they were down to a hundred and thirty-eight.”59:37Report a misattribution
0.90how strongly it was put, not whether it is true
0.80importance to the conversation
0.98confidence the claim was read correctly