计算机科学家呼吁不要放弃理解AI生成的代码

一名计算机科学家在希尔伯特提出“我们必须知道，我们必将知道”百年后撰文警告，计算机科学界正形成不读 AI 生成代码的习惯。作者称，AI 智能体借助 Lean 等证明助手正把定理证明变成机械化的“证明机器”；而程序通过 Church-Howard 对应即是一种证明，因此放弃阅读 AI 生成的代码，等同于数学家放弃理解 Lean 证明。 作者主张用抽象、重构和更高层语言让代码可被理解，而不是把思考交给机器。

AI 根据报道生成 · 50 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。