theorem provers

Leo de Moura, creator of the Lean theorem prover, discusses the future of formal verification and its growing intersection with artificial intelligence in a new interview. The conversation covers how AI tools could change mathematical proof checking and software correctness, and why Lean has become central to research in both mathematics and AI-assisted reasoning.