descriptive claim
Kevin Hartnett's team had completed 20% of its theorem-statement formalization project, which he viewed as evidence that the goal was gradually becoming real.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And, uh, yeah, we're twenty percent through. So that's some indication, uh, that at least, you know, this dream is sort of slowly becoming a reality.”44:43Report a misattribution
0.95how strongly it was put, not whether it is true
0.70importance to the conversation
0.96confidence the claim was read correctly