definition claim
The speaker describes autoformalization as automatically translating a full mathematics textbook into Lean code using AI.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“There's a dream that you could take, uh, a full math textbook, show it to an AI, and have it automatically translate it, convert it into Lean code. This is the, the process of autoformalization.”1:06:05Report a misattribution
0.95how strongly it was put, not whether it is true
0.80importance to the conversation
0.95confidence the claim was read correctly