作者ybite (小犬/小B)
看板Soft_Job
标题Re: [讨论] Linus决定Linux专案不反对AI
时间Tue Jul 28 03:02:02 2026
全文吃光光
关於 Linus 对 AI 的看法,可以看他今年的Keynote 对谈
应该是五月中在温哥华的Linux基金会北美开源峰会
先说我认为,软体工程而言
AI工具=Agent=LLM+工具调度
https://youtu.be/fi29pfLcW4I
我的YouTube App 跳了 Gemini 提问
於是我问了一下摘要
https://i.imgur.com/hf727S9.jpeg
还有媒体常下标的「听到99%用AI写会生气」
https://i.imgur.com/xRG4za6.jpeg
回到 Linus 七月在邮件清单的回应:
* AI工具可以提升程式设计的生产力,但并非完美
* 因此会制造大量问题,但不应该掩耳盗铃不去面对
而是确保LLM工具可以帮助维护者而非制造困境
* Linux Kernel 一向技术本位,开源是为了更好的技术
因此不会反对使用AI(不强制用 但会无视反对使用的意见)
---
在近半年,特别是 Opus 4.5 黑船入港之下
开源/自由软体社群对於 AI 使用可说是炒成一片
反对的理由大致上是
- 审核负担无解问题
- 产出程式码的着作权、专利、授权混杂污染问题
有些更左的反对理由称不上主流就不列了
作为另外一个极端,德国的Codeberg(开源世界的GitHub替代站)
就在近期宣布禁止绝大部分以AI写的专案与禁止内容用於训练
我自己的立场认为这就是一个工具跟技能放大器
过度的吹捧跟过度的反对其实都是有害的
这东西已经注定不会消失,就看世人如何面对
至於科学领域 至少有一件事我很肯定
「有了AI以後,暴力推导就能求证反证的问题都不是问题」
「也许」一亿倍的无限猴子也有机会打出前所未见的证明
但那些东西只要还是基於语言模型,都称不上是一种智慧
最後,那个Keynote里也有提到他认为Sashiko(这次讨论的开端)
虽然偶尔审核结果不够好,但确实能帮助到人
看了一下他们预设接Gemini,喔喔,确实确实(?)
-----
Sent from JPTT on my iPhone
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 36.229.73.42 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Soft_Job/M.1785178924.A.B2B.html
1F:推 oopFoo: 跟gemini关系不大。现在llm tooling最大的问题还是一堆错 07/28 06:22
2F:→ oopFoo: 需要人来检查。但llm产能高,人跟不上。现在很多Projects 07/28 06:27
3F:→ oopFoo: 禁止ai就是没有人力处理slop。Linus是很懂得适当使用ai, 07/28 06:29
4F:→ oopFoo: 但现在就是一堆程度差的滥用ai累死maintainers。 07/28 06:32
5F:推 oopFoo: Sashiko这个案例就是,它确实有帮助,但也常常错误,浪费 07/28 06:40
6F:→ oopFoo: 人力。整体来讲是有帮助,而且以後应该会是错误减少。但 07/28 06:41
7F:→ oopFoo: Linus没考虑到的是,我们又多一个程序,要更多时间去处理 07/28 06:45
8F:→ oopFoo: llm可恨的地方就是,有帮助但花更多时间,现在静下来思考 07/28 06:48
9F:→ oopFoo: 时间都没有。tasks一直来,但真的产能有提昇? 07/28 06:49
10F:推 wei115: 现在不是贡献者用ai ddos维护者,然後linus就想引入ai做 07/28 09:07
11F:→ wei115: 筛选,减轻维护者的工作量吗? 07/28 09:07
12F:推 wei115: ai时代,贡献者不稀缺了,反而维护者是专案宝贵的资源, 07/28 09:11
13F:→ wei115: 比起消耗维护者的精力,更倾向用ai去打枪提交 07/28 09:11
14F:推 yamakazi: 可恨XD,有这麽气喔 07/28 11:05
15F:→ yamakazi: 第一次看到有人用可恨描述AI 07/28 11:06
16F:推 pponywong: AI只会持续进步 你回到过去 你会跟裁缝师说赶快去恨 07/28 11:36
17F:→ pponywong: 成衣厂吗 07/28 11:36
18F:→ pponywong: 人再怎麽厉害 也会百密一疏 要不然软体的bug从哪里来的 07/28 11:37
19F:→ pponywong: 说AI会产生BUG 你写程式可以保证100%没BUG? 07/28 11:38
20F:→ ybite: 我会觉得 第一个 LLM确实也会出错 但重点是「视模型(跟工 07/28 12:01
21F:→ ybite: 具调度)能力决定人爲介入的程度」小模型连语法都常写错 但 07/28 12:01
22F:→ ybite: 前段模型而言 後面执行完验证後 错几乎只会出在需求或解法 07/28 12:01
23F:→ ybite: 没有确实对齐这种中高阶问题上 07/28 12:01
24F:→ ybite: (每天工作看Opus瞎掰注解就饱了) 07/28 12:02
25F:→ ybite: 第二个 审核而言 LLM简单的问题抓很快 硬烧Token烧出没注意 07/28 12:06
26F:→ ybite: 的细节很常见 我认为导入一定有帮助 问题反而在不是大家都 07/28 12:06
27F:→ ybite: 有充足的预算 07/28 12:06
28F:→ ybite: 但老实话 适应工具能力的过程极为痛苦 07/28 12:08
29F:→ ybite: 我是支持用人去看去对 而不是硬烧烧到好就是了 07/28 12:09
30F:推 Obama19: 台湾人很喜欢服从权威 跟教育有关 很在意什麽某某大神讲 07/28 13:36
31F:→ Obama19: 了什麽 事实上自己用的习惯最重要 07/28 13:36
32F:→ Obama19: 老实说他的意见根本不重要 东西能产出能收到钱对我来说 07/28 13:37
33F:→ Obama19: 才是重点 07/28 13:37
34F:→ galic: 我也可以说台湾人只看事情有没有价值 觉得赚得到钱最重要 07/28 13:47
35F:→ galic: 後面是那个大神 提出什麽观点 跟我一点屁关系也没有 07/28 13:47
36F:→ galic: 你的价值观是你的事 硬要把在意大神 连接到 台湾人 服从威 07/28 13:51
37F:→ galic: 权跟教育问题 的确很有想像力 佩服佩服 07/28 13:52
38F:推 viper9709: 讲的有道理 07/28 15:36
39F:推 dream1124: 整篇客观公允,算是比较清流,但不太同意暴力推导那句 07/29 01:08
40F:→ dream1124: 如果你塞给AI能得到有意义的东西却解释不出背後原因, 07/29 01:09
41F:→ dream1124: 那这就是AI赌博赌赢而不叫「暴力算」。暴力法不能於 07/29 01:11
42F:→ dream1124: 讲不出道理,两者还是很不同,因此从经典暴力法角度看 07/29 01:12
43F:→ dream1124: 本来能暴力解的东西只要时间放长一点本就不是问题, 07/29 01:12
44F:→ dream1124: 就好比加密演算法那样。这跟AI无关,没这波前已是这样 07/29 01:13