ARTICLE · 1097028
AI时代的软件工程3.0,我的六大判断

一门手艺变成一门工程,走的都是同一段路:先有人把"我这么做,因为手感是对的",改口成"我这么做,因为这个数必须落在 3 到 5 之间"。改口那一下,事情的性质就变了。原来的师傅没有被赶走,他只是换了站位——从把手感用在活儿上,移到把手感用在定这个数上。
制药从"汤剂煎到什么火候"变成含量测定;造桥从"老师傅看着配比"变成荷载计算;临床从"名医摸一下"变成化验单与临床路径。
软件工程在这条路上卡了五十多年,卡在一个很具体的位置:它能测量交付速度、缺陷密度、构建时长,却始终测不准那件最贵的事——一段需求,是否被正确地理解,并转化成了一段正确的代码。这一段没法改成数,于是只好留在人脑里,由人的责任心兜底。
大模型撬动的正是这个卡点。而它撬动的方式不是"写得更快",是让这件事第一次有了可以被写下来、被重放、被复核的形状。
也正因为它撬动了这个卡点,工程在组织里的位置悄悄变了:过去它是"奢侈品"——让系统更体面、更可持续,代价是更慢更贵,收益靠长期兑现,预算一紧就先被挤掉;如今它正在变成"地基"——没有它,你连一个能被信任、能被追责复盘的系统都造不出来。
为什么这次不一样?因为换掉的不是工具,是执行者。人治时代那位工程师慢、可靠、自知,正确性被他随身携带;新的执行者高速、概率性、不自知——一个人看不住一个它,更看不住十个。判官退场,正确性就无处可栖,只能被外置到系统结构里。
这就是 3.0的内核:把"什么是对"从人脑搬进系统。
以下六条判断,是这次跃迁的六个截面。
判断一:机械化的单位,正从"工序"上移到"链路"
19世纪的铁路,最早的自动化是单项的:有人管道岔,有人管信号,有人管进路。这些环节单独看都在进步,事故照旧发生。真正让铁路变安全的,是联锁——把道岔、信号与进路用机械和电气关系锁死,让"红灯亮着却放行了"这个组合在物理上无法出现。
这个区分是全文的地基:工序自动化回答"这一步能不能少用人",链路自动化回答"错误的组合能不能不发生"。
今天软件工程的自动化,绝大部分还停在工序层:格式化、静态检查、补全、生成单测。它们都很好,但彼此独立,谁也不知道谁。3.0 的第一件真事,是这条链路第一次具备了闭合的可能——需求、设计、实现、测试、部署、监控,连成一条互相约束的路径。
链路闭合有一个很朴素的验收标准:一次失败,能不能自动回溯到它上游那个被证伪的假设。做到的团队,失败一次长一层皮;做不到的团队,失败一次只是多一份事故报告。
由此带出一件反直觉的事:当生成变得便宜,稀缺的就不再是"写出来",而是"判定它到底对不对"。工程化的重心,会从产出的那一端,整体搬到判定的那一端。
判断二:判定权,正从"手感"移交给"可审计的规则"
先说一个别的行业走过的路。
在复式记账与审计制度成熟之前,商业上的信任只能建立在同一件事上:这个人可信。制度成熟之后,信任建立在完全不同的另一件事上:这笔账,别人能重算一遍。会计这个职业没有消失,它换了一次血——从"靠操守的岗位"变成"靠程序的岗位"。也恰恰因为账可以被重算,上面才长出了审计与签字责任。
软件工程从2.0 走向3.0,是同一件事。2.0时代,"这段代码好不好"由最有经验的那个人说了算;3.0时代,"好不好"由一组可以被重算、被审阅、被版本化的判定说了算,人的判断退回到这组判定的来源这个位置。
这次移交有四个后果:
其一,门禁从"建议"变成"约束"。检查工具给的是建议,建议可以不理;联锁给的是约束,不理就过不去。一个团队的工程化强弱,可以用一句话量出来:你的规则,到底是建议,还是约束。
其二,稀缺角色换人。过去稀缺的是代码写得好的人;现在稀缺的是能把业务判断写成一条可执行判定的人——既要懂业务到能发现问题,又要懂形式化到能把问题写成机器能跑的东西。
其三,手感不会消失,它只是搬家。从"写代码时的手感",搬到"写判定时的手感"。谁以为规则一旦写下就万事大吉,谁就会养出一套僵硬、和业务脱节的判定机器。
其四,也是最容易被误读的一点:这是一次权力的移交,不是一次工具的升级,所以它不会自动发生。规则可以设强,也可以设弱。设强,用速度换稳定;设弱,用稳定换速度。没有哪股技术潮流会替你选。后面第四条、第五条的分化,是选择造成的,不是趋势造成的。
判断三:分水岭是"可编码化的程度",不是"用不用 AI"
同一个医生,面对两种病人:一种说"我不舒服",另一种交出完整的化验单、影像、病史。他能给出的东西,根本不在一个量级。
模型面对一个组织,和医生面对病人是一样的。它放大的是你已经说清楚的那部分。所以模型不是提纯器,是放大器:清晰被放大成产能,含混被放大成事故。一个团队用它之后变得更乱,通常不是模型不行,是它把原本藏在个人经验里的含混,连本带利放大出来。
于是"谁会在 3.0里赢",需要换一个答案。分水岭不是"用不用AI"——那是入场券,不是位置——而是你的知识可编码到什么程度:规则说得出吗?数据结构说得出吗?什么叫失败,说得出吗?评测集,写得下来吗?
高可编码化的业务(结算、风控、对账、调度)会因为模型获得接近指数级的收益;低可编码化的业务(创意、战略、复杂诊断)收益小得多,而且更危险——它的输出"看起来对"的比例,远远高于实际对的比例,而没有人有耐心去区分这两件事。
由此得出一条与直觉相反的推论:最该把 AI 用起来的,往往不是最难的那块业务,而是最没被写清楚的那块业务。因为模型在这里的价值,不是替你把活干快,而是逼着你把从来没说明白的东西摆到桌面上。它是一面镜子,先照出来的是你的糊涂。
判断四:逆向选择——最先被自动化的活儿,往往最先烂掉
组织里的活儿分两类。一类难而值钱,验收成本高,好坏要争半天;另一类容易而好验收,输入输出清楚,对错机器一看就知道。自动化先吃掉第二类,又快又便宜。这本是好事,但有三个不显眼的代价。
知识不再沉淀。过去干这类活儿的人,顺手就理解了上下游。现在这类活儿由机器产出,人只做旁观式的批准——他既不真的理解自己在批准什么,也没有机会在批准里长大。
债更贵,而不是更便宜。机器写的乱账比人写的更难查:人写的至少还有一个"他当时怎么想的"可以问,机器写的连这个都省了。
路径被锁死。当所有同行都这么干,成本优势就变成行业底线;你停下来就出局,于是只能继续。
而最容易被忽略的是第四个代价——学徒制的断裂。几乎所有行业的新人,都是从最简单的活儿进场的。在那些活儿里,他学会规矩、看见后果、长出自己的判断。最容易的活儿被机器接管后,新人没有了入口,第一课变成"审核一个懂得比他多的机器"。
这件事不会立刻显形。它会在十年后,以"中层骨干断层"的形式突然出现——那时再补,已经来不及。
所以 3.0里会出现一种分化:把自动化当收入的组织,和把自动化当资本的组织,头三年报表都好看。区别要到第五年才显影——第一个的库房里堆着没人敢动的东西,第二个的库房里堆着可以被继承的东西。
判断五:规模经济的临界点被挪动了——两端受益,中段最痛
先看一个农业上的结构。大农场可以自建育种实验室,用的是自己的种子;个体农户直接买商业种子,便宜、够用、立刻能种;最难受的是中等规模:买来的种子担心不适合自己的地块,自己育种又养不起那套试验体系。
模型时代,软件组织的处境与此相似。但真正的"自留种"不是模型。模型可买、可换、可替代;买不到的是你知道怎样才算对的那套东西——评测集、验收标准、正负样本、踩过的坑。那才是种子。
据此:巨头的优势,是能把内部反馈闭环变成只对自己开放的育种体系;个体与小团队的优势,是直接插上通用能力,瞬间获得接近一支小队的产能,没有历史包袱;中段两难——规模不够大到能自建判定体系,业务又敏感或特殊到不敢全托付公共能力。
需要诚实标注的是:这条判断的证据还薄,方向比幅度可信。它不是说中型组织会消失,而是说它过去赖以立足的优势——采购议价、共享中台、标准化流程——正在贬值,而替代它们的优势——判断密度、领域纵深、可交付的严格性——还没建立起来。
判断六:代码,正在退回"中间产物"的位置
写过汇编的人越来越少了。可在计算机早期,汇编就是最终产物,程序员要数字节、数机器周期。后来它退了一步,退成编译器的输出,人不看了。
今天正在发生的,是同一件事的下一层:代码本身,正在往"汇编曾经的位置"退。人开始用意图、约束、验收标准来说事;代码退成机器之间的一种方言,只在出事的时候,才有人下去看那么一眼。
换个说法:图纸与房子。真正的产出是图纸——需求写清楚了,约束写清楚了,什么算对写清楚了。房子只是这张图纸的一次实例化,而且是随时可以被拆掉重来的那一次。
这件事会重排技能清单。重要的不再是"掌握几门语言",而是能不能把自己的要求,写成一段没有歧义的约束。写出好代码的手感,会被写出好约束的手感替代。
但有一条硬边界,所有乐观预测都必须给它让路:只有能被说清的约束,才能被机械化。有些系统会长期留在人手工程里,原因不是机器不够强,而是关于这件事的知识本身还没被想清楚——歧义不是技术问题,是认知还没到位。
尾声:工程化的目的,不是把人赶走
回到开头那位师傅。他没有被赶走,只是从"把手感用在活儿上",换到"把手感用在定那个数上"。
工程化真正在做的事,不是把人从他的擅长里清除出去,而是把他身上那些不可复制的部分,变成可以交接的部分。它先把"手艺"变成"刻度",再把"刻度"变成"制度",最后把"制度"变成别人不必从头学一遍就能接手的东西。土木、电力、制药都走完了这段路,代价是有的:那些不能被写下来的东西,确实跟着一代人一起消失了。
六条判断说到底只有一句话:工程化的对象从"动作"上移到"判定",竞争力从"用人"上移到"写下来"。你也可以拿它量一量自己的位置——只问一句:今天"这个是对的"这句话,是谁在说?换一个人来复核,算不算得出来?
软件工程正在走这段路。它要付的代价也很清楚——
那些写不下来的判断,不会消失,它只会跟着人一起退休。
这才是 3.0 时代最贵的成本。而它唯一的对冲手段,就是趁人还在的时候,把他脑子里的东西,一件一件写到机器上。