新智元报道

代码？不用写了。

就在刚刚，马斯克在 X 上甩出一条暴论：代码正在变成下一个汇编，下一步是彻底摒弃它，让 AI 直接生成二进制！

简单说就是：以后你只要告诉 AI 你想要什么，它直接吐出一串机器能跑的二进制文件。

Python、Java、C++全是中间商，砍掉。

这种暴论一出，圈内瞬间炸锅。UML 之父、《代码整洁之道》作者接连下场，软件工程界的教父级人物，罕见地站到了马斯克的对立面。

点火的人叫 James Douma，特斯拉前 Autopilot 深度学习专家。8月3日在X上发了条帖子，说了句：我可能再也不会看源代码了。就像半个世纪前，我停止查看汇编代码，因为我信任编译器。现在，我对AI生成的代码有了同样的信任。

马斯克看到后秒转。还接了句更炸裂的暴论：完全正确。源代码正在变成下一个汇编。下一步，是彻底摒弃「源代码」，直接用AI生成高效的二进制文件。

他给「source code」加了引号。意思是要消灭的不是某种编程语言，而是「人类写代码、读代码」这个环节本身。

大佬们坐不住了

要是普通人说这话，大家在评论区最多翻个白眼。但马斯克说的，那就不一样了。

先是知名开发者bashbunni，一句反讽直接拉满：把一切都当黑盒，能出什么错呢？

真正的重量级人物随后下场。Uncle Bob Martin，程序员圣经《代码整洁之道》（Clean Code）的作者，业内人称「Bob大叔」，给了个建设性方案：别急着直接吐二进制，先让AI生成一种人类不用看、但机器能跨平台一致执行的中间表示。

相当于是说：你想跳过源代码可以，但好歹留个中间层当过渡。

Grady Booch，UML之父，软件架构活化石，反驳得更优雅也更狠。他说：一种有足够表达力、精确、可重复、能产出可执行物的语言，我们管它叫什么？我们管它叫编程语言。

这句听着像绕口令，其实是一记绝杀。

马斯克想干掉的是「源代码」这个产物，但Booch告诉你：只要你还需要精确描述意图，你就需要某种「编程语言」，而用这种语言写出来的东西，按定义就叫源代码。

换句话说：不管你叫它提示词还是自然语言，只要它精确、可重复、能版本管理、能审查，它就是编程语言，写出来的就是源代码。

又绕回去了，相当于是。

评论区还有一个被反复提到的区别：编译器是确定性翻译，AI是概率性生成。

信任编译器，是因为同一份源代码，编译一万次出来的二进制一模一样。但AI生成的代码可能完全不同。

而这正是 Douma 那个「半个世纪前的类比」最薄弱的地方：一个是翻译官，忠实、准确、零发挥；一个是即兴创作的小说家，灵感来了什么都能写，但你永远不知道下一句是啥。

马斯克错了吗？

说马斯克完全在做梦，也不公平。因为现实已经在朝他说的方向狂奔。

2026年4月，谷歌接近 80% 的新代码都是 AI 生成的。一些小创业公司更夸张，95%的代码都是 AI 写的，人类工程师干的活基本就是审代码、定方向。

这其实也不新鲜。整部编程史，可以说就是一部「人类不断往后退」的历史。

1940年代，程序员直接用0和1写机器码，对着纸带打孔，错一个数整台机器白跑。后来有了汇编语言，用MOV、ADD这些助记符代替数字，稍微好点，但还是在跟机器说机器话。

直到1957年Fortran出现，第一次让程序员可以用接近数学公式的方式写程序，这是革命性的一步。再后来C、C++、Java、Python——每一代语言都在做同一件事：把人类从底层细节里解放出来，让你离机器越来越远，离意图越来越近。

每一次抽象层上移，都伴随着一模一样的恐惧：「我们要失去控制了！」但每一次，新工具链都建立了新的信任机制。

编译器让你不用看机器码，类型系统让你不用追内存，垃圾回收让你不用手动释放。恐惧来了，又消失了。

而今天的Cursor、Claude Code、Codex，本质上就是这条线的最新延伸。你说一句话，AI帮你写完一整个功能。

但注意：它们仍然生成的是源代码。人能读、能查、能改。

马斯克说的「直接生成二进制、跳过源代码」，目前全世界还没有任何一个产品在做。

真正的问题

说到底，这场争论实际上是在追问一个更根本的东西：

人类能不能建造出一种自己看不懂、但依然可以信任的工程体系？

过去每一次抽象层上移——从机器码到汇编，从汇编到高级语言，人类虽然放弃了底层细节，但始终保留了一层自己能读懂的东西作为安全网。

源代码，就是这张网最后的一层。

马斯克说：这张网也可以拆了。大佬们说：拆了，谁来兜底？

半个世纪前，没人相信程序员会不看汇编。但编译器用确定性证明了自己值得信任，恐惧就散了。

今天AI想取代源代码的地位，它必须回答同一个问题：凭什么让我信你？

参考资料：

编辑：所罗门

秒追ASI