【代码审查地狱：当你的同事都变成了AI代码复读机】

快速导读：AI让初级开发者变成了代码喷射器，结果是高级工程师淹没在无穷无尽的PR审查里，工作从创造变成了质检。当代码生成接近零成本，真正的价值不再是写代码，而是定义和验证“正确”。

---

一位程序员在网上吐槽，他的工作日常已经变成了代码审查地狱。团队里的初级开发者们，自从用上了AI，就变成了人形代码喷射器，一天能提交10-15个PR。这些代码看起来都像模像样，但细看全是问题。而他，作为资深工程师，唯一的价值似乎就是跟在AI屁股后面，给这些看似光鲜的“AI生成物”做人工质检。

你以为AI是你的副驾，帮你写代码。一个残酷的真相是：它正在把整个行业的代码产量推向失控。谷歌和微软承认，他们25-30%的新代码由AI生成。Andrej Karpathy（前特斯拉AI总监）坦言他已经懒得看diff，直接“Accept All”了。这引出了一个新词：Workslop——看着很光鲜，但需要下游有人默默返工修复的AI生成物。

问题不在于AI写得不好，而在于我们验证代码的速度，被AI生成的速度甩开了几个数量级。我们依赖的人工审查和测试，连当年一个由人类写出的Heartbleed漏洞都花了两年才发现。现在，当AI以千倍速度在软件的每个层面生产代码，这条防线实际上已经崩溃了。你的工作，正在从“创造”悄悄变成“修复”。

一种更激进的未来正在浮现：用数学来终结这场混乱。Léonardo de Moura，编程语言Lean的创造者，提出了一个近乎科幻的设想：与其让人类去审查AI写的代码，不如让AI自己提交一份“数学完工证明”。AI不再只是交付一堆功能代码，而是交付一段代码，并附上一份机器可验证的、数学意义上的“正确性证明”。从源头确保它在所有情况下都是对的。

这听起来很遥远，但亚马逊、微软已经在用Lean验证其最核心的加密库和授权引擎。核心逻辑是：当代码生产的成本趋近于零，稀缺的就不再是实现功能的能力，而是定义“正确”的能力。你的价值，将不再是你写了多少行代码，而是你能不能写出无懈可击的“规矩”（形式化规约），让AI在这个框架内行事。

所以，当AI负责生产代码，谁来定义“正确”？以及，那个定义“正确”的人，会是你吗？

---

简评：

这篇文章精准地戳中了当前许多资深程序员的隐痛：当生产力工具异化为“垃圾制造机”，个人的价值感和工作乐趣都被稀释了。它没有停留在抱怨，而是把问题拉到了一个全新的高度——从“人工审查”到“数学验证”的范式转移。这不仅是对AI时代软件工程走向的深刻洞察，更是对每个程序员未来职业价值的终极拷问。

---

ref: leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html

#AI创造营##人工智能#