prediction claim
The speaker expects both Lean-based verification and natural-language proofs to be used, and considers Lean combined with reinforcement learning essential for model training.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“I think it's clearly gonna be elements of both, that Lean and reinforcement learning in that environment is gonna create these, the engines. It's gonna be, like, essential for model training.”1:01:44Report a misattribution
0.80how strongly it was put, not whether it is true
0.90importance to the conversation
0.97confidence the claim was read correctly