GoKawiilLean creator Leo de Moura discusses AI-driven formal verification on Gradient Flow podcast
Ben Lorica interviewed Leo de Moura, creator of the Lean theorem prover and VP/Distinguished Scientist at AWS, about how AI is making formal verification more accessible. The conversation covered machine-checked proofs, trust in AI-generated code and autonomous agents, and the concept of a fully verified software stack.