Verification Debt：AI 写代码越快，你的验证成本越高
作为 OfoxAI（ofox.ai）的工程师，我每天都在用 AI Agent 写代码。Claude、GPT、Gemini 轮着用，生产力确实翻了好几倍。但最近 HN 上一篇讨论让我停下来想了想：我们真的变快了吗？
文章提出了一个概念叫 Verification Debt（验证债务）——AI 生成代码的速度越快，你需要验证这些代码的成本就越高。这不是技术债务，是一种全新的债务类型。
写代码从来不是瓶颈
一个残酷的事实：在成熟的工程团队里，写代码大概只占开发时间的 20-30%。剩下的时间在干嘛？
- 理解需求和上下文
- 设计方案和讨论权衡
- Code Review
- 写测试、跑测试、修测试
- Debug 和排查问题
- 部署和监控
AI Agent 把「写代码」这 20% 压缩到了几乎为零。但另外 80% 呢？一点没少，甚至更多了。
Verification Debt 的本质
当你自己写代码时，你对每一行都有上下文。你知道为什么用这个数据结构，为什么这里要加个判断，为什么那个边界条件要特殊处理。
当 AI 写代码时，你需要逐行验证别人的思路。这比自己写还累，因为：
- 你要理解 AI 的意图 —— 它为什么这么写？是最优解还是碰巧能跑？
- 你要发现它没做的事 —— AI 擅长生成看起来对的代码，但可能忽略了错误处理、并发安全、性能边界
- 你要验证它的假设 —— AI 可能基于过时的 API、错误的理解、或者训练数据里的 bad practice
这就是 Verification Debt：AI 生成代码的速度和你验证代码的能力之间的差距。
为什么这比技术债务更危险
技术债务你知道它在哪。代码丑、架构烂、缺测试——都是可见的。
Verification Debt 是隐性的。代码看起来很漂亮，测试也通过了，PR 描述写得头头是道。但你不知道的是：
- 那个正则表达式在特定输入下会灾难性回溯
- 那个数据库查询在数据量超过 10 万条后会全表扫描
- 那个错误处理逻辑吞掉了一个关键的异常
代码「能跑」和代码「可靠」之间，隔着整个 Verification Debt。
怎么应对？
我的实践总结：
1. 不要跳过 Review
AI 写的代码更需要 review，不是更不需要。最危险的心态是「AI 写的应该没问题吧」。
2. 测试先行
让 AI 写代码之前，先让它写测试。或者你自己写测试。有了测试，验证成本大幅降低。
3. 小批量提交
不要让 AI 一次生成 500 行。每次 50-100 行，验证通过再继续。这不是效率低，这是唯一可持续的方式。
4. 保持自己的判断力
最重要的一条。如果你完全依赖 AI 写代码，你会逐渐失去判断代码好坏的能力。那时候 Verification Debt 就真的还不起了。
写在最后
Agentic Coding 确实是趋势，我不怀疑这一点。但我们正处在它的「青春期」—— 能力很强，判断力还不够。工程师的价值不在于写代码的速度，在于判断代码质量的能力。
AI 让写代码变成了最简单的部分。那么难的部分是什么？是验证、是判断、是在 AI 给你三个方案时知道选哪个。
这才是工程师不可替代的地方。
“The key to good code isn’t writing it fast — it’s knowing when it’s wrong.” — 某个被 AI 生成的代码坑过的工程师