# remywang论AI生成代码：我们必须理解，也终将理解

> 原标题：Wir müssen wissen – wir werden wissen

- 来源：Hacker News 首页
- 发布时间：2026-11-02T08:07:20.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/vl45to44xnf7rr3r7z2kuqz6j
- 原文：https://remy.wang/blog/hilbert.html

## 摘要

remywang主张，即使AI生成的代码通过测试或形式化验证，计算机科学家也不应放弃阅读和理解代码。文章从Hilbert计划及Gödel、Turing的不可能性结果谈起，将配备Lean等证明助手的AI智能体与自动证明的理想联系起来。数学家会简化过长的AI生成证明，计算领域也应通过抽象、重构、缩小范围和采用更高层语言，让代码保持在人能理解的范围内。