Lean Creator: Verification Is the New Bottleneck in AI-Era Software

Lean creator and AWS distinguished scientist Leonardo de Moura says AI has made code generation easy, making verification the key bottleneck, and that AI-driven formal verification could reshape software engineering.

2026-10-29 ~ 2026-10-29 · 2 related posts

• Lean Creator Says AI-Powered Formal Verification Could Reshape Software Engineering — bigdata · 2026-10-29
• Lean Creator Leo de Moura on AI, Formal Verification and Trusting Agent Code — bigdata · 2026-10-29