Lean 创造者：AI 时代验证成软件工程瓶颈

Lean 创造者、AWS 杰出科学家 Leonardo de Moura 在 The Data Exchange 播客中探讨 AI 对软件工程的根本性影响。他指出，随着 AI 让代码生成变得空前容易，验证代码正确性正成为关键瓶颈，而 AI 也让形式化验证和机器证明走向实用，有望重塑整个软件工程领域。

2026-10-29 ~ 2026-10-29 · 2 条相关