descriptive claim
The speaker asked undergraduates to encode the mathematics they were learning in their degree in Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And then I would get them to start, you know, transcribing what they were learning in their, in their undergraduate degree, just, just teaching it to this machine.”34:30Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.94confidence the claim was read correctly