Leo de Moura, AWS VP and Lean creator, says AI-generated code needs formal verification with machine-checked proofs to replace traditional testing and trust-based software engineering.

When AI Writes the Code, Who Proves It Works? - The Data Exchange

Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • Overcast • Pocket Casts • YouTube • AntennaPod • Podcast Addict • Amazon • RSS. Ben Lorica speaks with Leo de Moura, creator of Lean, VP and Distinguished Scientist at AWS, and Chief Architect of the Lean Focused Research Organization, about how AI is making formal verification more accessible and potentially transforming software engineering. They discuss the growing importance of specificat...