descriptive claim
Leo turned to developing an interactive theorem prover, which offers a richer expressive language and greater power than an automated theorem prover.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And so he turns his attention to building a related but more powerful type of program called an interactive theorem prover, where you have a much richer expressive language.”17:29Report a misattribution
0.95how strongly it was put, not whether it is true
0.85importance to the conversation
0.96confidence the claim was read correctly