为何 AI 造不出下一个 Linux？内核 4100 万行代码背后的验证鸿沟
AryHHAry · x · 2026-10-31
有人提问：既然 AI 几乎能做任何 app，为什么不能直接让它造出下一代 Windows 或 Linux？作者回应：卡点不在代码生成能力。Linux 内核如今约 4100 万行（Phoronix 与 cloc 在 7.2–7.3 周期数据），其中大头是大量已停产硬件的驱动——这是 30 多年人机交互的沉淀，经过真实环境测试、在大型模型从未见过的 edge case 上 debug，并由知道何时该删、何时该留的人维护。造 OS 不是写很多行代码，而是让系统在硬件故障、并发访问、安全漏洞、多年熵增和数百万上游依赖下保持稳定。作者结论：当前 AI 强在生成，弱在长期验证。
「漫话AGI」频道最新
- 三位数学家做客 Lex 播客，谈 AI 攻克 Navier-Stokes 等难题 — khademinori · 2026-10-31
- 从死抠 iptables 到言出法随:20 年运维门槛被 AI Agent 抹平 — tinyfool · 2026-10-31
- OpenAI 暴露度数据显示模特不受影响，AI 模特经纪公司却已开业 — WillRinehart · 2026-10-31
- Domingos 毒句：产品不够好才需要营销 — pmddomingos · 2026-10-31
- UC San Diego 斥资 125 万美元新设「原则性智能体 AI」跨学科中心 — sethlazar · 2026-10-31
- AI 安全研究者争议:人人都另起炉灶或集体自我挫败 — sethlazar · 2026-10-31