prediction claim
The speaker says AI is expected to make Lean coding much easier and probably increase the number of mathematicians who use Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“You can just kind of code it the way you would write, you know, JavaScript. There, there's an understanding that AI will make writing Lean code a lot easier and help probably bring more mathematicians into using the program.”1:05:42Report a misattribution
0.78how strongly it was put, not whether it is true
0.78importance to the conversation
0.93confidence the claim was read correctly