对抗知识焦虑,从看懂这条开始
App 下载对抗知识焦虑,从看懂这条开始
App 下载
合并请求把关|代码可验证性|AI自动审核|Boris|Claude Code|AI产业应用|人工智能
Claude Code负责人Boris已经一年多没手写过一行代码,每天几十个代码改动全靠AI生成——但他提交的每一个合并请求,都要先过AI自动审核,再经人工最终把关。国内自媒体盯着他“编程被解决了”这句话大做文章,却漏掉了后半句:真正的挑战从来不是“写代码”,而是“写对代码”。当AI能以秒级速度生成代码时,软件工程的瓶颈正从“如何写得快”,转向“如何确保对”。
你可以把AI写代码想象成新手厨师照着菜谱炒菜——能做出样子相似的菜,但不知道盐放多了会齁、火候过了会糊,更不会预判客人的过敏禁忌。这里的核心标尺就是“可验证性”:一段代码写出来后,确认它做对的成本有多低? 如果是个小工具函数,跑一遍输入输出就知道对错,验证成本趋近于零,AI可以全包。但如果是改一段支付链路,错了直接损失真金白银;或是改十年前的老代码,错了可能触发没人记得的兼容逻辑——这类代码的验证成本高到无法承受,AI写得再快也没用,因为你根本不敢直接上线。 斯坦福数字经济实验室的数据显示,22-25岁初级开发者就业率已下降近20%,被替代的恰恰是那些验证成本低的重复性任务。而中高级工程师的需求反而稳中有升,他们的工作正在从“写代码”转向“定义验证规则”。
Anthropic的工程师在博客里直白地承认:再强的AI模型,自己跑也做不出生产级产品。让AI能安全干活的,是套在它外面的“挽具”——一套定义边界、监控状态、兜底风险的框架。 这个框架不是抽象的理念,而是具体到每一行代码里的安全网:是能覆盖用户异常操作的需求驱动测试,是明确接口规则的契约定义,是实时监控错误的告警系统,是一键回滚的发布机制。就像给自动驾驶汽车装上刹车和安全带,AI可以往前冲,但人类始终握着控制权。

亚马逊的Kiro工具就是典型的挽具工程实践:先写清晰的需求规范,再让AI拆分任务生成代码,全程自动同步测试、扫描安全漏洞、估算成本。有团队用它在3周内完成了原本需要3个月的AI代理开发,效率提升90%,但所有关键决策和验证规则,依然由人类工程师定义。

当AI接管了初级编码任务,一个隐藏的危机正在浮现:过去靠写增删改查积累经验的“育苗床”没了,未来的中高级工程师从哪来? 斯坦福的研究指出,22-25岁开发者就业率下降的同时,35岁以上资深工程师的需求反而增长了9%。这意味着职业成长的路径正在重构——新人不能再从“写代码”起步,而要直接学习“定义问题、设计验证、监控AI输出”。 一些企业已经在调整培养模式:让新人在AI辅助下参与需求拆解,而不是写基础代码;用模拟项目训练他们识别AI生成代码的漏洞,而不是自己从头写代码。本质上,是把过去在编码中积累的“隐性知识”,提前到需求和验证阶段传授。
Boris说“编程被解决了”,但他自己的工作并没有变轻松——他从写代码的人,变成了指挥多个AI代理、设计验证规则、把控系统风险的人。工程师的价值从来不是“会写代码”,而是“能解决问题”。AI只是把写代码的体力活接了过去,却把更核心的“定义问题、控制风险”的工作,交还给了人类。 写代码的能力会贬值,但解决复杂问题的判断力永远稀缺。