prediction claim
As of May 2025, there was hope that autoformalization would dramatically increase the rate of adding new mathematics to Mathlib.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“There is hope in May of 2025 that autoformalization will dramatically, uh, accelerate the r- the rate at which new math is added to Mathlib.”1:06:15Report a misattribution
0.65how strongly it was put, not whether it is true
0.80importance to the conversation
0.94confidence the claim was read correctly