一個心智論

前一篇文章說了那個故事:三個月,一個人,從零寫出一套 TLS 堆疊;而 Fred Brooks 早在五十年前就解釋了真正重要的那部分—它沒有散掉。從那之後,我一直被問的是另一個問題:如果答案是「一個心智,被放大」,為什麼建立在相近模型上的 AI 寫程式工具,用起來卻像差了一個世代?我認為,把這個論題說清楚,就能回答它—而且能寫成一個你可以下注反對的預測。

論題

一個系統要維持概念完整性,唯有在恰好一個心智握有其設計的寫入權時。每一個用 AI 打造軟體的工具,不是保住這個條件,就是打破它—而這一點,比裡面裝的是哪個模型,更能決定這個工具用起來的感覺。

「寫入權」是刻意挑選的精確用詞,這篇文章其餘的部分,就是在說明為什麼這個精確度很重要。

三種形狀的工作框架

把品牌撕掉,目前的工具就是三種架構。

行內助手把第二個心智放進你的編輯器裡,以敲鍵的粒度與你交錯。你正想到一半;它從一幅比你淺的系統圖像裡射出一段補全;你接受或拒絕,然後接回你的思路。每一次接受,都是一次設計意圖的微型交接,通過的是世界上最窄的通道—幾個 token 的局部脈絡,沒有歷史,沒有驗證。助手在你的迴圈裡面行動,卻從未持有整個設計,也從不跑測試。Brooks 的 n 悄悄變成了二,而這兩個心智,由你,以最細的粒度,每小時磨合數百次。

樂隊式編排走另一個方向:一個規劃代理拆解任務,幾個執行代理各自實作,一個評審代理審查結果。這看起來像一張組織圖,因為它就是一張組織圖—而產出物會映照它,正如 Conway 定律所說的那樣。凡是規劃者的問題模型與某個執行者的模型不一致之處,程式碼就有一道接縫。沒有任何一個參與者—包括你—持有完整的設計,所以在它壞掉之前,沒有人看得見那道縫。這是以機器速度運轉的委員會設計:論題只允許一位架構師的地方,站了兩位,或五位。

擁有整個迴圈的代理握有專案的完整脈絡—儲存庫、慣例、歷來決策的理由—並且從頭做到尾:讀、改、建置、跑測試、觀察失敗、修正。你在粗的邊界上交接意圖:一個任務進去,一份驗證過的 diff 出來。設計權從不裂解,因為在任務之內,代理執行的是你的系統模型;在任務與任務之間,唯一做設計決策的心智仍然是你的。在要緊的地方,n 始終是一。

用這種方式打造 tlslane 的三個月—加上一次把工作分散出去的失敗實驗—教會我:這三種形狀之間的差異不是人體工學,而是 Brooks 的溝通成本—付了,或者沒付。

必須唯一的,究竟是什麼

這是我花了最久才看清的細分:必須唯一的是寫入權,不是認知

許多心智並存完全沒問題—只要它們是讀者。放十幾個代理出去搜尋一個程式碼庫、從彼此對抗的角度審一份 diff、獨立驗證一個宣稱的臭蟲:這行得通,我每天都在用。它行得通,是因為讀者的產出是結論,而結論可以無損地壓縮成一份報告。設計意圖無法壓縮。它活在上千個小小的承諾裡—pipe 不做任何在地決策、工作階段的身分來自 TLS 內容而永遠不是四元組—而每一次把這整捆東西交給另一個做決定的心智,都會在運送途中掉了一部分。

這正是 Brooks 的外科手術團隊只有一位主刀者加許多助手,而不是三位主刀者對一位病人的原因。助手延伸主刀者的手;他們不分那把刀。

可被推翻的版本

比較產品,會把工作框架和裡面的模型混為一談,所以這個論題公平的版本必須是一個預測,而不是一篇評測:

凡是讓兩個心智以細粒度交錯、或把寫入權拆分給多個代理的工作框架,都會觸頂—而且隨著模型進步仍然觸頂—因為它們的損耗是架構性的,不是認知性的。凡是讓一個心智擁有整個迴圈的工作框架,會隨模型能力一起變強。

如果下一代模型能讓行內補全用起來像一位架構師,或讓規劃者/執行者委員會產出沒有接縫的設計,這個論題就錯了。我賭的是相反:更好的模型會讓架構性的損耗顯眼,因為模型會越來越不是瓶頸。對團隊的推論不太舒服,但我相信它:AI 槓桿的單位不是組織,是一個帶著放大器的個人心智—往一個專案裡加代理,除非每一個都在同一個權威之下寫入,否則只是把 Brooks 定律重新造出來。

缺的那一半:通道

還剩一個問題,而它補完了整個理論。把設計意圖交給另一個人類,損耗大到 Brooks 能從中建出一條定律—那為什麼交給一個代理,竟然交得過去?

因為大型語言模型,就其本性而言,是一個思想表徵之間的翻譯者—人類語言、機器語言,以及介於兩者之間、壓縮而尚未成形的那個念頭。Brooks 的 n² 從來不真的是人頭成本;它是通道成本。心智之間狹窄的通道會毀掉設計意圖,所以一個設計唯一安全的存放處是一顆腦袋裡,而一顆腦袋能敲鍵盤的速度就那麼快。代理沒有往這條方程式裡加任何一個 n。它拓寬的是那個既有心智的通道—從敲鍵速率,拓寬到接近無損—於是,意圖第一次能在交接中存活。

所以這個論題有兩個條款,缺一不可。唯一的寫入權,讓設計永不裂解。一條無損的通道,讓握有這份權威,不再意味著所有的呈現都得自己動手。概念完整性,加上一條夠寬的通道—Brooks 的理想,終於降到了付得起的價格。這就是這裡一切被打造出來背後的紀律,也是我們帶進一次遷移案的東西

← 所有文章