descriptive claim
In 2017, the speaker explored whether Lean could learn mathematics at the same rate as undergraduate students.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So it's twenty seventeen, and the question was, you know, let's just imagine you've enrolled on our degree. You know, can we, can we actually teach you at the same rate as we teach the undergraduates?”34:50Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.93confidence the claim was read correctly