descriptive claim
Leo began developing Z3 during a period of duplicated theorem-prover work at Microsoft.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Some were building their own theorem provers, some were working on obsolete theorem provers, and it was at that point that Leo decided to start working on Z3.”15:28Report a misattribution
0.95how strongly it was put, not whether it is true
0.60importance to the conversation
0.96confidence the claim was read correctly