descriptive claim
Even before AI, many people in the mathematics community were excited that formal proof checking could let them collaborate with contributors such as high school students.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“I think many people in the math community got excited about that, even before AI. It's like saying, oh, wow, I can work even with high schoolers and they can contribute to my project.”7:59Report a misattribution
0.85how strongly it was put, not whether it is true
0.60importance to the conversation
0.94confidence the claim was read correctly