程式碼？不用寫了。
就在剛剛，馬斯克在 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月，Google接近 80% 的新程式碼都是 AI 生成的。一些小創業公司更誇張，95%的程式碼都是 AI 寫的，人類工程師干的活基本就是審程式碼、定方向。
這其實也不新鮮。整部程式設計史，可以說就是一部「人類不斷往後退」的歷史。
1940年代，程式設計師直接用0和1寫機器碼，對著紙帶打孔，錯一個數整台機器白跑。後來有了彙編語言，用MOV、ADD這些助記符代替數字，稍微好點，但還是在跟機器說機器話。
直到1957年Fortran出現，第一次讓程式設計師可以用接近數學公式的方式寫程序，這是革命性的一步。再後來C、C++、Java、Python——每一代語言都在做同一件事：把人類從底層細節裡解放出來，讓你離機器越來越遠，離意圖越來越近。
每一次抽象層上移，都伴隨著一模一樣的恐懼：「我們要失去控制了！」 但每一次，新工具鏈都建立了新的信任機制。
編譯器讓你不用看機器碼，類型系統讓你不用追記憶體，垃圾回收讓你不用手動釋放。恐懼來了，又消失了。
而今天的Cursor、Claude Code、Codex，本質上就是這條線的最新延伸。你說一句話，AI幫你寫完一整個功能。
但注意：它們仍然生成的是原始碼。 人能讀、能查、能改。
馬斯克說的「直接生成二進制、跳過原始碼」，目前全世界還沒有任何一個產品在做。
真正的問題
說到底，這場爭論實際上是在追問一個更根本的東西：
人類能不能建造出一種自己看不懂、但依然可以信任的工程體系？
過去每一次抽象層上移——從機器碼到彙編，從彙編到高級語言，人類雖然放棄了底層細節，但始終保留了一層自己能讀懂的東西作為安全網。
原始碼，就是這張網最後的一層。
馬斯克說：這張網也可以拆了。大佬們說：拆了，誰來兜底？
半個世紀前，沒人相信程式設計師會不看彙編。但編譯器用確定性證明了自己值得信任，恐懼就散了。
今天AI想取代原始碼的地位，它必須回答同一個問題：憑什麼讓我信你？ (新智元)