技术圈有句流传多年的话：就算给模型无限token，它也写不出操作系统。36氪
10月27日，Gregory Kurtzer把这句话打碎了。这个名字你可能不熟，但他做的事全球程序员都在用——他是CentOS的联合创始人，也是Rocky Linux的发起人。当年Red Hat终止CentOS，是他站出来接的盘。这次他又干了件事：微博
用11天时间，在没碰任何现有Linux内核代码的前提下，从零写出一个Linux兼容内核Ginux，最后实现了对Rocky Linux 10的启动支持。约13.9万行代码，1037次提交，API总花费约8000美元。36氪微博
干活的工具是一个持续运行的Codex任务，模型是GPT-5.6 Sol。代码已按Apache 2.0协议在GitHub开源；顺带一提，Ginux这个名字，就是把Greg、GPT和Linux揉在了一起。36氪微博
不是魔改，是从零写
关键词是"从零"。Ginux不是Linux的分叉，内存管理、调度器、文件系统、网络全部从头写，以Rust为主。但它实现了Linux ABI——程序跟内核对话的二进制接口——现成的Linux程序不用改一行代码，直接就能跑。36氪
验收标准也狠：启动Rocky Linux 10，一路跑到systemd的multi-user.target，还能运行Alpine的BusyBox。调过systemd的人都知道，这道关卡有多难过。
最反直觉的操作：他关掉了自己的IDE
比结果更有意思的是过程。Kurtzer给这套方法起了个名字：“人类主导的智能体工程”（HDAE）：人负责定愿景、架构、约束和验收关卡；AI负责实现、在QEMU里构建运行、分析故障、修订、回归测试。内循环自己转，外循环由人拍板。
他说了个特别实在的细节：AI写出一大块烂代码时，他刻意忍住不亲手改，甚至把IDE都关了，强迫自己别打开——AI做错时，他只剩一条路：给新的指引，让它自己把写错的代码删掉重来。36氪
怎么防止跑偏？他的回答就三个字：关卡多。
"没有引导的’氛围编程’不适合这个项目。“他在报告里写，很多故障会生成看起来可信、实际违反Linux语义的输出，也就是常说的"AI垃圾”：表面能跑，结构很薄。
他的结论是：一个有经验的人加一个智能体，比一堆没人管的智能体走得更远。36氪
但先别急着欢呼
如果你觉得这说明"AI能取代Linux了"，Kurtzer自己第一个不同意。他在13页的技术报告里专门泼了盆冷水：
“AI能够生成复杂的系统软件，但兼容性、安全性、硬件支持、标准、社区和长期维护，依然构成真正的护城河。”36氪
写一个能跑的小型内核不难，难的是维护一个生产级内核：支持成千上万种硬件、保持接口稳定、修缺陷、协调社区和厂商。这些Ginux都没有，它没法承诺今天能跑的程序明天还能跑。
对普通写代码的人来说，这个实验有个更实际的启示：写代码这个动作正在快速变便宜，但知道"要做什么、做成什么样算对、哪里不能出错"，正在变得越来越贵。
AI已经能拿起笔了，但决定写完什么的，还是人。
