正式環境中的 Software 3.0
用英文寫程式、用程式碼驗證——Karpathy 的框架遇上企業交付的現實
作者
Tenten AI FDE Team
Forward Deployed Engineering
發佈日期
2026年6月5日
閱讀時間
16 min

摘要
Andrej Karpathy 的「Software 3.0」分層,說中了第一線工程師早已隱約感受到的轉變。Software 1.0 是人親手寫的程式碼,Software 2.0 是訓練出來的權重,Software 3.0 則是疊在最上面那一層:用自然語言寫的 prompt 去驅動模型——意圖用一段話講出來,再由模型本身把它編譯成行為。
英文已經變成一層程式語言——模糊、富有表達力,而且如今是承重的。這是貨真價實的槓桿,卻也是貨真價實的風險,因為那個把你的話編譯成動作的模型,做這件事並不具決定性;而且不管它有沒有真的聽懂你的意思,回傳的輸出永遠流暢。
讓這一切在正式環境安全落地的紀律,一句話就講完:用英文寫規格,用程式碼驗證。type、schema、斷言、測試與 eval,就是鋪在這層模糊自然語言指令底下、那張具決定性的安全網。流暢不等於正確,而只有程式碼層級的檢查,分得出兩者的差別。
本文談 Software 3.0 為團隊帶來的改變——寫 spec 成為核心能力、code review 的重心從「逐行」移到「行為」、資淺工程師在理解系統之前先學會了操作模型——以及「vibe coding」如何透過防護機制、測試、審查關卡與明確的當責,長成一套專業實務。
最後,是我們在交付現場一再看到的觀察:Software 3.0 唯有搭配嚴謹的驗證,才在正式環境撐得住。英文進、程式碼把關後再出。只採用富表達力的那一半、卻略過驗證那一半的團隊,會自信地大量產出 bug——又快,又成規模。
完整內容
解鎖完整白皮書
提交您的資訊後可立即解鎖完整內容。我們每月發送一至兩封技術通訊,隨時可取消訂閱。
提交即代表您同意接收 Tenten AI 的技術資訊,可隨時退訂。
