Building Mathematical Superintelligence
The Data Exchange with Ben Lorica
00:00
Formal Theorem Provers and Lean
Tudor explains Lean as a rich, verifiable language and why Harmonic uses formal proofs for correctness.
Play episode from 09:20
Transcript
