Linux 并不反对 AI:Linus 的“Fork 或离开” 而非强制
今天网上铺天盖地的说Linus的内部邮件强烈的表达了:“所有反对 AI 的人都滚出 Linux 社区”,我觉得有些不可思议。然后我就发现“要么 Fork,要么滚”是媒体为了传播夸张效果做的标题化处理。Linus 的准确意思并不是“所有反对 AI 的人都滚出 Linux 社区”。而是:Linux 主线不会被定义成一个原则上反对 AI 的项目;坚持另一条路线的人,可以利用开源赋予的权利维护自己的分支,也可以选择退出。简单来说:Linus 并没有给 AI 发放免检通行证。他真正确定的是一条更现实的路线:Linux 不会原则上排斥 AI,但 AI 不能替人签字,更不能把验证成本甩给维护者。是的对于这个观点我深度认同:就像我日常遇到了AI写的bug,并不成为理由,也不能为你背锅。它意味着任何人都可以复制一份开源代码,按照自己的理念继续维护;也意味着当社区对发展方向产生根本分歧时,双方不必永远争论下去,可以各自用结果证明路线是否正确。2026 年 7 月 14 日,在一场围绕 AI 代码审查工具 Sashiko 的 Linux 内核邮件列表讨论中,Linus Torvalds 再次使用了这套开源世界最直接的逻辑。他明确表示,Linux 不是一个“反 AI”项目。无法接受这一方向的人,可以 Fork,也可以离开。这番话听起来极为强硬,但它真正传递的,并不是“AI 生成的代码可以无条件进入 Linux”,更不是“维护者必须使用 AI”。Linux 不会因为意识形态而禁止一种已经被证明具有工程价值的工具;但 AI 的输出是否能够被接受,仍然必须接受技术标准、社区流程和人类责任的约束。一、争议的主角不是“AI 写代码”,而是“AI 审代码”
这场争论期初点是 Sashiko:是一个面向 Linux 内核的智能体代码审查系统。它会监控公开的内核邮件列表,读取开发者提交的补丁,从架构设计、执行流程、资源管理、并发锁、安全问题和硬件驱动等多个维度进行分析,再生成类似人类维护者的审查意见。按照项目介绍,它采用多阶段审查机制,先分析补丁目标,再检查实现、错误路径、内存管理、并发问题和安全风险,最后进行去重、验证和严重程度判断。项目团队声称,在其自身进行的一组测试中,Sashiko 使用Gemini 3.1 Pro检查最近一千个带有修复标记的上游提交时,能够发现其中约53.6%的历史缺陷;基于有限人工抽查,误报率被估计在20%以内。不过项目也明确提醒,这只是项目方自己的测试结果,模型输出具有概率性,同一份代码并不保证每次都得到相同结论。AI 确实可能找到人类审查时遗漏的问题,但它也可能产生误报、冗长报告和貌似专业却无法复现的结论。AI 发现的问题,是否应该在未经人类完整验证的情况下,直接发送给补丁作者?部分开发者认为,使用 AI 的维护者应先筛选和核实结果,不能让原作者承担验证机器输出的成本。另一些开发者则认为,如果所有 AI 结论都必须由维护者事先重新完整审查,那么自动化工具节省时间的意义就会大幅下降。Linus 的回应,实际上是拒绝把这场工程问题变成一场“是否允许 AI 存在”的意识形态战争。二、影响:AI 在 Linux 开发流程中获得了“程序合法性”
Linus 的表态最直接的影响,在他的意识形态里是否接受 AI 作为工具参与开发?因此,Linus 的表态不是给 AI 发放“免检通行证”,而是让 AI 从一个社区立场问题,转化为一个可以被记录、审查和治理的工程工具。熟悉 Linux 的朋友都知道。 Linux 在开源世界拥有巨大的示范作用。未来,越来越多项目可能不会再简单选择“全面禁止”或“全面放开”,而是参照这种思路,建立披露、验证、限流和责任追踪机制。所以这封内部邮件的公开,我觉得有着非常重大的意义。因此,真正需要建立的不是一句“支持 AI”或“反对 AI”的口号,而是一套能够容纳不同选择、同时避免成本外溢的治理机制。但你不能仅仅因为别人用了 AI,就否定一份技术上可靠的贡献。但你不能把验证 AI 输出的时间和风险,全部转嫁给别人。Linus 反对的不是质疑,而是把工具变成信仰战争反对 AI 没有问题,但不能要求 Linux 因为恐惧、道德姿态或未经验证的假设,原则上拒绝一种具有现实工程价值的工具。结合我上面内容的分析:“Fork 或离开” 很多人关注点都在离开,其实我觉得Linus更多表达是自由:开源世界最基础的双向自由:反对者有权维护自己的路线,主线项目也有权决定自己的技术方向。当AI可以暴利介入到生产开发的今天,代码的实现变得越来越廉价,可信、得到验证的逻辑、产出才会成为最稀缺的生产资料。