亚马逊 CTO Werner Vogels：自然语言的模糊性使 AI 生成代码更需要形式化验证

亚马逊副总裁兼首席技术官 Werner Vogels 在 2026 年 10 月亚马逊云科技软件企业峰会创业加速营巅峰路演上与极客公园创始人兼 CEO 张鹏的炉边对谈中，对 AI 生成代码的责任归属给出了一个具体判断：我们现在是用一种天然带有模糊性的语言——人类自然语言——去命令机器生成要求绝对精确的执行代码。这个描述点出了 AI 辅助开发区别于传统编程的核心风险来源。

传统编程中，开发者用精确的编程语言直接表达意图，错误通常来自逻辑疏漏或边界条件遗漏，责任链条清晰。而 AI 代码生成引入了一个中间翻译层：人用模糊的自然语言表达需求，模型将其转化为精确的代码。这个翻译过程本身带有不可完全消除的不确定性——同一段提示词可能生成不同结果，模型可能误解意图而输出语法正确但逻辑偏离的代码。

Vogels 由此推出一个实践结论：技术圈有一句铁律——你构建了它，你就必须为它负责（You build it, you own it）。这也是为什么在 AI 时代，形式化验证、自动化推理以及代码开源审查，反而变得比以往任何时候都更加重要。

Vogels 特别指出，在金融、医疗等受强监管的领域，如果 AI 犯了致命错误，开发者绝对不能对监管机构说「这不怪我，是 AI 干的」。责任始终归属于构建系统的人，而非模型本身。