descriptive claim
The speaker's team planned to publish its formalized theorem statements that week and used an AI to check them before publication.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Uh, and we're going to make them public this week. But before we made them public, we ran them, we ran them through an AI and asked an AI to check them.”1:09:46Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.97confidence the claim was read correctly