Linux创始人力推AI写代码,被下属当场拒绝

Linux创始人力推AI写代码,被下属当场拒绝

LinuxLinus TorvaldsLLM开源AI代码审查

数据源:Lobsters + LKML + web research · HN

2026 年 7 月 15 日,Linux 内核邮件列表(LKML)上发生了一件不寻常的事:有人对 Linus Torvalds 说了”不”。

说”不”的人是 Laurent Pinchart,一位长期为 Linux 内核贡献代码的核心开发者。他拒绝的是 Linus 本人亲自推销的提议——用大语言模型(LLM,也就是 ChatGPT 背后的那类 AI 技术)来辅助审查内核代码补丁。

Linux 吉祥物 Tux 企鹅

发生了什么?

先给不写代码的读者解释一下背景。Linux 内核是全世界最重要的开源软件项目——你的安卓手机、Wi-Fi 路由器、银行后台服务器,绝大多数都跑着它。这个项目每天会收到几百个代码修改提案(业内叫”补丁”或 patch),需要由经验丰富的开发者逐行审查,确认没有 bug、没有安全漏洞、代码风格统一,才能合并进去。这项工作叫”代码审查”(code review),是内核开发流程中最核心、也最消耗人力的环节。

Linus 认为,AI 可以帮上忙。最近 Google 捐了一个叫 Sashiko 的 AI 审查工具给 Linux 基金会,它能自动扫描每一个提交的补丁,找出潜在问题,然后像人类审查者一样给出修改建议。Linus 在邮件列表上试图说服大家接受这个工具——至少不要排斥它。

但 Laurent Pinchart 不买账。他的核心诉求是:AI 生成的审查意见不应该直接发给写代码的开发者,而应该先经过维护者(子系统负责人)的人工验证和筛选。他的理由是,AI 经常”幻觉”——一本正经地指出一些根本不存在的问题,如果直接轰炸开发者,实际上会增加工作量而非减少。

这个担忧并非空穴来风。据媒体报道,内核的媒体子系统之前尝试让 Sashiko 直接往开发者邮件列表发审查意见,结果 AI 产出了大量”幻觉问题”的胡言乱语,被搞糊涂的开发者把这些 AI 评论转给人工维护者核实,最终维护者的工作量不减反增。

矛盾的焦点:双重标准

到这里,这还只是一场普通的工程辩论。但 Lobsters 技术社区的讨论——帖子拿到 △119 分、101 条评论,是当天质量最高的讨论——挖出了这件事更耐人寻味的一面。

Lobsters 用户 ayushnix 的评论获得了 △63 的最高票,他是这样概括的:

“Linus 试图推销使用 LLM,当 Laurent 基本说’不了谢谢’之后,Linus 说我们都是看技术理由的,如果你拿不出来就别谈了,别拿你个人对 LLM 的信念来推销——但这话是在他自己先那样做了之后说的。Laurent 有理有据地指出了这一点。这是对’诉诸权威’的一个漂亮确认——这个论证方式大概是最肤浅、最无力的一种,搬出 Linus 的名字并不会让论证自动变强。”

笔者看到这段评论的时候,不自觉地停下来重读了一遍。ayushnix 点出的是一个逻辑问题:你用个人权威推销 AI,当别人用个人立场拒绝 AI,你却说”我们只看技术”。这公平吗?

当然,立刻有人为 Linus 辩护。用户 atmosx 反驳说:Linus 领导了过去 30 多年全世界最复杂的软件项目,在技术天才、竞争企业、法律问题和社会争议之间保持了平衡,让项目持续前进——这本身就不是小事。他做了判断,你可以不同意,但他赢得了做这种判断的资格。

这两条评论之间的张力,恰好是这个故事最有价值的部分。

工具与信任的裂痕

这场争论之所以在 Lobsters 上炸出 101 条评论,不是因为它有多新奇——Linus 骂人、Linus 力排众议,这些都是开源圈的常规节目了。真正让讨论停不下来的是:这件事精准地戳中了开源社区对 AI 既期待又恐惧的矛盾心理。

从 Linus 的角度看,他的逻辑是清晰的:AI 是一种工具,就像编辑器、编译器、静态分析工具一样。Sashiko 在自己的测试中,能从 1000 个真实的内核补丁中找出大约一半被人类审查者遗漏的 bug——这是实打实的技术价值。如果因为”有人不喜欢 AI”就禁用这个工具,那和当年有人因为不喜欢 C++ 就禁用 C++ 编译器有什么区别?

但 Laurent 的担忧同样真实。AI 不是编译器。编译器是确定的——同样的代码,每次都产出一模一样的机器指令。LLM 是概率性的——同一个 prompt,不同时刻可能给出不同答案。在操作系统内核这种”一行代码出错可能导致全球服务器瘫痪”的场景里,对”概率正确”的东西保持警惕,不是愚昧,是专业素养。

更深层的问题,被 Lobsters 上另一位用户的一段话总结得最好。笔者试着翻译一下大意:每个人都是对的——这些工具确实有效,但 LLM 恰好体现了 Linux 创立之初想要避开的那些行业问题。

什么意思?Linux 诞生于 1991 年,当时软件行业被微软这样的商业巨头垄断,个人开发者几乎没有话语权。Linus 创造了 Git(版本管理工具)和 Linux 内核协作模式,本质上是在解决一个问题:如何让成千上万的陌生人,在没有老板、没有公司层级、纯粹靠技术信誉的情况下,协同产出高质量的代码?

这个体系运行了 34 年,靠的就是「代码审查靠人眼」这条铁律。每一行进入内核的代码,都是某个有血有肉的人写的、另一个人逐行看过的、有明确责任归属的。AI 生成的审查意见,责任在谁?AI 建议的代码修改,出了问题该找谁?这些问题的答案,目前是模糊的。

笔者的看法

作为一个旁观这场讨论的写作者,笔者不想假装自己能判断谁对谁错。但有三件事是明确的。

第一,Linus 这次遇到的是一群比任何外人都更理解内核开发复杂性的工程师。Laurent Pinchart 在意的是 AI 的审查结果需不需要经过人工过滤。这是一个关于流程设计的工程问题,跟”信不信任 AI”的信仰问题无关。

第二,“诉诸权威”确实是弱的论证方式,但”权威的判断”未必就错。Linus 在 2005 年力排众议用 C 写 Git——当时有人认为他疯了,但回头看,那是一个正确的工程判断。他对 AI 的判断最终是对是错,时间会给出答案,而不是 Lobsters 的投票。

第三,也是最让笔者感慨的一点:开源社区之所以能健康运转 34 年,靠的就是有人敢对 Linus 说”不”。

在大多数科技公司里,CEO 或 CTO 说要推 AI,下面的员工大概率只会附和。但在 LKML 上,创始人亲自推销一项技术,马上就有核心开发者出来说”你这个论证方式有问题”。这正是开源文化最值得尊重的地方。

Linus Torvalds 在公开场合

尾声

这场争论还在继续。Linus 的最新立场是:Linux 不是”反 AI”的项目,如果有人不能接受 AI 工具,可以”做开源该做的事——fork 它,或者直接走人”。但他也明确说,不会强迫任何子系统使用 AI,各维护者有自己的裁量权。

换句话说,Linus 把分歧留在了工程层面:每个子系统的维护者自己判断,AI 工具是帮手还是负担。答案不来自权威,来自实际使用中的数据。

这大概是这件事最令人安心的收尾方式。


参考链接:

  • LKML 邮件列表:Linus Torvalds 关于 LLM 的提议
  • Lobsters 讨论 (s/pb6d8m)
  • ZDNET:Linus Torvalds puts his foot down, tells anti-AI programmers to ‘fork it’
  • Neowin:Linus Torvalds fires back at Linux’s anti-AI crowd
  • PBX Science:Linus Torvalds Tells AI Critics to Fork It or Walk Away