Lean 创始人探讨 AI 如何推动形式化验证发展，提升软件可靠性与自动化证明能力。