descriptive claim
The reporter says he learned that Leo’s decision to build Lean 4 independently marked a decisive fracture between Leo and the mathematics community.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Ultimately what I learned is there had been a, a somewhat decisive fracture between Leo and the math community where he says, "I'm gonna go off on my own and build Le- Lean 4.”1:29:51Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.96confidence the claim was read correctly