跳到內文
A project by Hack Club
(這是 AI 安全系列的第三章!前面那幾章——導讀第一章第二章——你不一定要先讀,但讀了會更好懂!)

所以,寫了四萬多字講 AI 安全有多怪、有多難之後⋯⋯我覺得人類解決這個問題的機會如何?

⋯⋯其實相當樂觀!

不,真的!

也許只是自我安慰。但在我看來,如果就是全部問題空間:

一個輪廓模糊的圖形,標記為「整個問題空間」

那麼:雖然沒有單一解法能蓋住整個空間,但整個問題空間都被一個(或多個)有希望的解法蓋住了:

同樣的輪廓,但完全被小彩色圓圈重疊覆蓋,每個圓圈代表一個不同的解決方案

我們不需要一個完美解法;可以把好幾個不完美的解法疊起來!這很像風險分析裡的瑞士乳酪模型——每一層防禦都有洞,但層夠多、洞又開在不同位置時,風險就穿不過去:

光線穿過瑞士乳酪層,乳酪上有洞。光線很容易穿過<i>一</i>層乳酪的洞,但無法穿過所有層。

: 🧀 附加章節:為什麼瑞士乳酪模型在 AI 安全圈裡很有爭議選讀:看到虛線底線的段落,都可以點開!

這不代表 AI 安全已經 100% 解決——我們還得把這些提案再三核對,也得讓工程師/政策制定者先知道有這些解法,更別說真的去實作。不過目前我會說:「要做的還很多,但很有希望的起點也不少」!

先複習一下,我們是這樣拆 AI 與 AI 安全的主要問題的:

分解:「我們如何讓 AI 與人道價值觀對齊?」分解為 AI 中的問題(技術對齊、賽局理論、深度學習)和人類中的問題(誰的價值觀?、圍繞 AI 的協調)

所以在這第三章,我們會看每個問題區塊裡最有希望的解法,也會老實談它們的好處、壞處,以及還不知道的事:

🤖 AI 中的問題:

😬 人類中的問題

🌀 繞過問題

(想跳著看的話, 目錄在右邊!👉 你也可以 改這頁樣式,以及 看還剩多少閱讀量。)

順便一提:這最終的第三章,2025 年 12 月才發布,本來該在 12 個月前就上。但因為一堆我不想細說的個人鳥事,拖了。抱歉讓你們等了一年才看到結局!好處是,這段時間這領域又多了不少進展與研究,所以我也很興奮能跟你們分享。

好,開始吧!不必再多介紹,也不必再講牛仔貓男的怪故事,我們直接——

:x Swiss Cheese

風險分析裡著名的瑞士乳酪模型告訴我們:你不需要一個完美解法,可以把好幾個不完美的解法疊起來。

這個模型用在每一個安全攸關的領域:航空、資安、疫情防護都有。不完美的解法會有「洞」,很容易穿過去。但層疊夠多、洞又開在不同位置,就幾乎繞不過。

可是瑞士乳酪模型在 AI 安全圈裡特別有爭議。所以來看看幾個批評:

1. 有人說瑞士乳酪模型不適用於有智慧的對手。例如,機器智慧研究院(MIRI)的 Nate Soares 這樣說

「如果你做出一個東西,它就是想穿過你所有瑞士乳酪到另一邊,那它只要沿著洞走,其實沒那麼難。」

我會回:「這是比喻,不是同構(isomorphism)。」瑞士乳酪模型在資安裡用得很勤,而那邊我們常常要防比自己強的對手。例如:夠強又唯一的密碼 + 多重驗證 + 基本防詐意識 = 普通人也能擋住更強的網軍。

不過,對瑞士乳酪模型還有更狠的批評,而且它正好打在超智慧 AI 上:

2. 瑞士乳酪模型只有在每一層防禦都不共享同一個洞時才有效。可是如果你採取「防住所有我能想到的風險」這套策略,就會有一個共同的洞:這些防禦只能擋你想得到的風險。但依定義,比人類更聰明的 AI,一定找得到我們想不到的風險。

打個比方:如果我這個西洋棋新手硬要跟世界冠軍馬格努斯·卡爾森(Magnus Carlsen)下棋,「防住所有我能想到的攻擊」鐵定會輸,因為馬格努斯想得到想不到的攻擊。(感謝 Robert Miles 提供這個比喻。)另一個比方:我這個資安新手擋得住大多數普通網軍,但若被國家級對手鎖定,他們能用我甚至聽不懂的手法駭進來。

總之:瑞士乳酪模型只在對手比你稍微強一點、而不是強超多時才管用。

就算這樣,也不是沒救。有兩條路可以處理:

一條是可擴展監督(Scalable Oversight)(本頁稍後會細講)。如果我能驗證只比我聰明 10% 的 AI,就能用那個 AI 幫我驗證聰明 20% 的,再用幫我驗證聰明 30% 的,一路推到任意等級。這套策略在有限場景裡已經有效:我們做出過能用數學驗證更大程式正確性的程式。(不過目前能驗證的程式種類還很有限。)

另一條(互補的)策略是「乾脆」一開始就別做出對手。這可不簡單——因為古德哈特定律,幾乎任何你寫進程式、要 AI 最大化的指標或分數,都可能導向對抗性結果。不過本文稍後會看到怎麼處理,例如間接規範性(indirect normativity)帶不確定性的價值學習(value learning with uncertainty)

不過,保持健康的懷疑還是好的。這裡有些監控大型語言模型(LLM,像 ChatGPT、Claude)的近期「令人沮喪」發現:若你用能讀思維鏈的監控器太用力訓練 LLM,它會學會連自己的「思想」裡都把邪惡計畫藏起來。(Baker & Huizinga 2025)。而且,在天真的監督手法下,LLM 其實很容易越獄自己的監控器——畢竟 LLM 已經存在夠久,越獄相關資訊就在它們自己的訓練資料裡。(Terekhov, Panfilov & Dzenhaliou 2025)

但就算這些監督手法都失敗,還有很多別的!(後面可解釋性與引導章節會看到)。整體來說,我仍樂觀。再說一次:我們不需要一個完美解法,可以把很多不完美的解法疊起來。

所以:如果我們能對齊比我們稍聰明的 AI,那麼靠可擴展監督,就能對齊遠更先進的 AI。

⋯⋯可是現在,我們連對齊比我們笨的 AI 都還做不到。

接下來幾個提案,就是要處理這個!不過先⋯⋯

:x Robust Chain Math

首先假設:監督者的失敗在各層級相同,且彼此完全獨立。不過只要失敗不是 100% 相關,你改一下下面的數學,論點的精神還是成立。

總之:假設每層有 $k$ 個監督者,共 $N$ 層。也就是鏈條長 $N$ 環、寬 $k$ 環。任一監督者失敗機率是 $p$,且彼此獨立/不相關。

只要任何一層失敗,整條鏈就失敗。但是!一層只有在所有並行監督者都失敗時才會垮。

一層裡所有並行監督者都失敗的機率是 $p^k$。

為了方便,把一層失敗的機率叫做 $q$。$q = 1 - p^k$

任一層失敗的機率,是 1 減去「沒有任何一層失敗」的機率。$N$ 層都不失敗的機率是 $q^N$,所以任一層失敗的機率是 $1 - q^N$。代入 $q = 1 - p^k$,於是「沒有任何一層失敗」、可擴展監督成功的機率是 $1 - (1-p^k)^N$。公式到手!🎉

現在代入上面例子的數字:失敗機率 $p = 0.05$,鏈深 $N = 20$ 層,失敗機率是⋯⋯

注意:你每多加一條備用鏈,失敗機率就指數級往下掉!這是非常划算的「對齊稅」。

:x Scalable Oversight Extras

一些塞不進主文的額外概念與吐槽:

「對齊稅」:要讓整套系統保持對齊、可控,得多花多少開銷?如果「稅」太重,公司就有動機偷工減料,去冒 AI 失調的險。那這「稅」有多重?

在上面的喵迪例子裡,要監督速度為 $X$ 的機器人:因為每個機器人都能監督比自己快 2 倍的那個,你需要額外 $log_2(X)$ 個機器人才控得住。(若還想用 $k$ 條交織並行鏈加穩健性,就再加 $k*log_2(X)$ 個。)

一般來說,正如可擴展監督的縮放定律論文所示:對任何給定任務,機器人通常能監督比自己「好」某個固定比例的機器人。若是如此,要監督能力為 $X$ 的機器人,你只需要對數級數量的額外機器人來做可擴展監督。

對數是指數的反函式;指數長得超快,對數就長得超慢。這很振奮:表示我們對強大 AI 的「對齊稅」開銷長得很慢,負擔得起!

如果 P = NP 怎麼辦?

可擴展監督這套典範假設:驗證解法總是比找出解法容易——這就是弱 AI 怎麼驗證強 AI 行動安不安全/正不正確。例如:解魔方或數獨很難,但檢查有沒有解對幾乎是小事一樁。

不過:資訊科學裡還有一道懸案,還掛著一百萬美元獎金:P = NP?簡單說,它問的是:所有容易檢查的問題,是不是其實也容易解決?直覺上不像(多數資訊科學家相信答案是否,也就是 P ≠ NP),但還沒被證明。就我們所知,P = NP 有可能為真,那每個容易檢查的問題也就容易解決。

這是不是說,一旦 P=NP,可擴展監督這套典範就垮了?不!因為 P = NP「只」代表找解法不會比檢查解法指數級更難。(講精確一點:頂多「多項式」更難,也就是「P」跟「NP」裡的那個「P」。)但找解法還是比較難,只是難不到指數級。

兩個例子,我們已經證明了最優解決方案需要多少時間 ⤵(注意:$\mathcal{O}(\text{公式})$ 意味著「從長遠來看,這個過程花費的時間與這個公式成正比。」)

所以就算 P = NP,只要找解法仍比檢查更難,可擴展監督就還行得通。(只是對齊稅會更高)

對齊 vs 控制:

對齊 = AI 的「目標」跟我們一樣。

控制 = 我們可以,嗯,控制 AI。可以調它、帶它。

下面有些論文來自「AI 控制」子領域:就算 AI 失調了,我們要怎麼還控得住?(就像警長喵迪的例子:機器人一旦失控就會把他射殺。所以它們是失調的。)

講清楚:AI 控制圈的人也知道這不是「理想」解法——正如 AI 研究員 Jan Leike 所說「別想把怪物關起來,去造你真正信得過的東西!」——但它仍值得當多一層安全網。

有趣的是,也可能有沒有控制的對齊:你可以想像一個 AI 正確地學會了人道價值觀、以及所有有情眾生怎樣才算興盛,然後以仁慈獨裁者的身分接管世界。它懂我們交出控制權會不舒服,但覺得為了世界和平值得,於是仁慈地統治。(再說,你們九成的人一直在幻想活在國王皇后的國度裡,承認吧,你們人類就是想被獨裁者管。/半開玩笑)

急轉彎:

可擴展監督也仰賴能力平滑往上長。而不是「你讓這 AI 聰明 1%,它就突然長出全新能力,連只弱它 1% 的 AI 都能被它輾壓。」

這聽起來很扯,但物理學裡有突然跳躍的「相變」先例:略低於 0°C,水結冰;略高於 0°C,水是液體。那智慧系統裡會不會也有這種「相變」、一次「急轉彎」?

也許?但是:

  1. 就算在物理例子裡,冰也不會瞬間結完;你感覺得到它變冷,還有好幾小時或好幾天可以在全凍住之前反應。所以就算「聰明 1% 的 AI」長出全新能力,「笨 1% 的監督者」可能還有時間注意到並阻止它。

  2. 正如你稍後會看到,一個可擴展監督提案叫迭代蒸餾與放大:監督者只監督嚴格「更笨」的 AI,但系統整體仍可以更聰明!往下讀就知道。

價值脆弱與價值漂移:

預設情況下,如果你把價值觀傳給第一個機器人,它再試著傳給第二個,一路傳下去,就像傳話遊戲,第 N 個機器人拿到的會是扭曲版。

解法之一是遞迴獎勵建模——(本節稍後會簡述)——每個機器人直接協助訓練下一個。於是機器人越強,就越學好你的價值觀!

所以,即使「價值是脆弱的」,遞迴獎勵建模(或類似做法)仍能讓我們得到可監督的機器人,而且它們會越來越擅長為我們真正的價值觀建模。

不過老實說,我不同意「價值是脆弱的」。連結那篇文章裡的例子,要嘛:

打個比方:若超智慧 AI 學會了我們所有價值,唯獨漏了音樂,結果世界依然會很精彩。失去音樂確實是真損失,但還有愛、數學、美食、探洞,還有各種癌症的療法等等。離「毫無價值的世界」遠得很。

總之,我不覺得價值有那麼脆弱;就算有,也有像遞迴獎勵建模這類提案可以處理。

:x IDA

要搞懂迭代蒸餾與放大(IDA),先看它最大的成功案例:AlphaGo,第一個在圍棋上擊敗世界冠軍的 AI。

訓練 AlphaGo 的步驟如下:

IDA 怎麼用在圍棋上的圖。橫軸步驟、縱軸能力。每個蒸餾步驟能力會掉,但放大步驟會升得<i>更多</i>。重複多次後,能力曲折往上爬

更猛的是,同一套系統也能在西洋棋和將棋(「日本象棋」)上超車人類,而且從沒學過殘局或開局。就只是狂自我對弈。

(提醒一下:弄出來的 AI 穩健度跟 ANN 綁在一起,而 ANN 並不穩健。超人圍棋 AI 可以被「下得很爛」的對手打爆——對方只是故意把 AI 帶進現實對局裡幾乎不會出現的瘋狂盤面,好把 AI 搞壞。(Wang & Gleave 等人 2023))

就算這樣,這仍是 IDA 行得通的有力證據。更棒的是,正如 Paul Christiano 指出並提出的,IDA 也能用在可擴展的對齊上。

下面是它怎麼運作的意譯:

跟前面同一張圖,但 IDA 用來放大人類能力,反覆蒸餾與放大。

我覺得 IDA 是比較酷、也比較有希望的提案之一,但有些批評/未知數值得提:

再說,如果跟自己處不來,當「你自己公司的 CEO」可能會反噬

(另見:這支超精彩的 Rob Miles IDA 影片

🤔(選讀!)閃卡複習 #1

你讀了一樣東西,覺得超有洞見。兩週後全忘光,只剩感覺還在。

太慘了!所以這裡有一些 100% 選讀的間隔重複閃卡,幫你把這些想法記久一點!(👉 : 想多了解間隔重複,點這裡)也可以下載成 Anki 牌組

好了嗎?那我們繼續⋯⋯


AI 邏輯:未來人生

你大概已經注意到 AI 安全偏執裡的一個模式。

先想像給 AI 一個看起來無害的目標。然後想一個它能技術上達標的壞方法。例如:

重要:這些不是 AI 表現太差的問題。問題恰恰出在 AI 在最優地行動!(表現差的 AI 稍後再談。)記住,就像作弊的學生或心懷怨恨的員工——重點往往不是 AI「不知道」你真正要什麼,而是它可能「不在乎」。(少一點擬人化的講法:軟體會精準最佳化你寫給它的目標。不多,不少。)

「先想到可能發生的最壞情況。然後修掉它。」你若還記得,這就是安全心態——讓橋跟火箭夠安全的工程師腦回路,也是 AI 研究者那麼擔心先進 AI 的原因。

但如果⋯⋯我們做出一個會對自己動用安全心態的 AI 呢?

先假設一個「能力最優」的 AI——再說一次,表現差的稍後再談——它能完美預測世界。(或至少跟理論上可能的一樣好[4])而是世界的一部分,所以它也能完美預測你對各種結果的反應

然後,「未來人生」演算法是這樣:

1️⃣ 人類叫機器人做某件事。

2️⃣ 機器人盤點可能的行動,以及這些行動會帶來什麼結果。

3️⃣ 機器人預測:現在的你會怎麼對那些未來做出反應。

4️⃣ 它執行「那個未來你最會點頭」的行動,而做你會反對的。「我們若尖叫,規則就改;若可預期我們稍後會尖叫,規則現在就改。」[5]

(注意:為什麼預測的是現在的你怎麼反應,而不是未來的你?為了避免它有誘因把你「接上電極爽到爆」(wirehead)成一顆只會傻樂的笨大腦。為什麼看的是整段未來,而不只是某個時間點的結果?為了避開那些通往目的的爛手段,和/或目的之後不想要的後果。)

(注意 2:目前我們也只處理怎麼讓 AI 滿足一個人的價值觀,還不是人道價值觀。「人道價值觀」問題本文後面再談。)

上述說明的圖解。沒有比主文更多的資訊。

正如最常用 AI 教科書的合著者 Stuart Russell 曾說:[6]

[想像] 如果你能以某種方式看兩部電影,每部都以夠細、夠廣的方式描述你可能過的一種未來人生 [以及你人生之外與之後的後果]。你可以說比較喜歡哪一部,或表示無所謂。

(類似提案還有認可導向代理連貫外推意志。這類作法——不是直接把價值觀告訴 AI,而是要它學習並預測我們會在乎什麼——叫做「間接規範性」(indirect normativity)。之所以叫這名,是因為學者超不會取名「規範性」大概就是「價值觀」,「間接」則是因為我們在展示,而不是直接講。)

瞧!這就是怎麼讓(能力最優的)AI 對自己動用安全思維。因為只要有人哪怕在原則上想得出 AI 行動的問題,這個(最優的)AI 就已經預料到了,並避開那樣做!

. . .

等等,你可能會想,我已經想得出未來人生方法哪裡會出事,就算是最優 AI:

你覺得這些會是問題⋯⋯你說對了!

事實上,既然你現在就看得到這些問題⋯⋯帶著「對自己動用安全思維」演算法的最優 AI 會看到,並改自己的演算法來修!(: 上述問題的可能修復示例

(另見後面「放鬆對抗訓練」:AI 可以替自己或同級 AI 找挑戰(「對抗訓練」),卻不必給出具體例子(「放鬆」)。)

想想 AI 能力的遞迴自我改進,跟 AI 安全的可擴展監督,其實是平行的。你不必從完美演算法起步。你只需要夠好的演算法、一團「臨界質量」,能自我改進、越變越好。你「只」需要讓它跳到元層級。

: 🖼️ 刪掉的漫畫,因為太長又重複

然後你可能會想:等等,反覆自我修改呢?若它失去對齊或不穩定怎麼辦?再說一次:若注意到這些問題,這個(最優的)AI 也會,並修好它們。「自我修改下的 AI 與人類」是活躍研究領域,有一堆有趣的開放問題,: 點開看快速文獻回顧

然後我們搞定了!AI 對齊,解決!

. . .

⋯⋯理論上。再說一次:以上全部都假設能力最優的 AI,能完美預測世界所有可能未來,包括你。這——講保守一點——不可行。

不過:在轉進更難、更亂的現實案例前,先把較容易的理想情況解掉是好事。接下來會看到:怎麼讓表現沒那麼好、「有限理性」的 AI 也能落實未來人生方法!

:x Critical Mass Comic

跟核連鎖反應裡的「臨界質量」平行。很長的漫畫。見主文解釋。

:x Future Lives Fixes

以下是為了說明:一個未來人生 AI,只要對自己動用安全思維,就有可能修好自己的問題。我不是說下面就是完美解法(不過我確實覺得它們挺不錯):

關於:價值鎖死,沒有個人/道德成長。

2026 年的我,難道不會怨這個 AI 還在執行 2025 年的我所批准的計畫嗎?我難道不會可預期地討厭被綁在過去那個沒那麼明智的自己身上嗎?

好吧,2025 年的我喜歡「所有未來的我仍被沒那麼明智的當下的我的突發奇想完全綁死」這件事。但我確實想要 AI 幫我完成長期目標,就算未來的我會痛一點(不勞無獲)。可我又想只因為當下的我做了個蠢夢,就折磨掉一大段未來的我。(例如當下的我覺得當受折磨的藝術家很「浪漫」。)

所以,對未來人生演算法的一個可能修改:不只看當下的我,而是看一個加權的「我之議會」。例如當下的我票最多,±一年的我次之,±兩年的我再次之,以此類推。這樣挑出的行動,會是我這輩子大多會認可的。(當下的我多一點權重,因為,嗯,我有點自私。)

(其實,為什麼只停在隨時間變化的?有些人我是為了他們本身而愛;也可以把他們的過去/現在/未來自己,放進這個虛擬「委員會」。)

關於:心理操弄

好吧,我想要被心理操弄嗎?

當然不要。棘手的是:我覺得什麼算操弄,什麼又算正當的價值改變?不妨先列個大概清單。

最重要的是,這份「什麼算正當改變、什麼不算」的清單可以自我修改。例如我現在認可科學推理、不認可直接啟示。但若科學證明直接啟示可靠——例如吃 DMT 跟 DMT 外星人聊天的人可以做超人計算,或知道未來彩券號碼——那麼我就會相信直接啟示。

我沒有一條漂亮、簡單的規則能判定什麼算「正當的價值改變」,但只要我有份粗略清單,而且清單可以自我編輯,對我來說就夠好了。

(關於 Russell 的「看兩部可能未來的電影」:也許反省之後,我會覺得電影給心理操弄留了太多空間,連不受限的寫作都給委婉語和框架留太多空間。所以也許反省後,我寧可 AI 給我「兩篇關於兩種可能未來的簡單維基百科文章」。再說一次,這只是說明解法的例子。)

關於:我們會反對了解難受的真相

好吧,我想要當那種避開難受真相的人嗎?

多半不想。(除非那些真相是克蘇魯式會把腦子弄炸的,或根本沒用又只是讓人難受。)

所以:會自我改進的未來人生 AI 應該預測到——我不要無知的幸福。但痛苦的真相,我希望用最不痛的方式被告知;「不勞無獲」不代表「痛越有收穫」。

但這裡有個悖論:我想能「看進 AI 心裡」,好監督它、確認它安全/對齊。可 AI 得在能幫我做心理準備之前,就先知道那些難受的真相。若我讀得了它的心思,我會在它準備好我之前就先看到真相。怎麼解?

可能的解決方案:

關於:我們沒有前後一貫的偏好

好吧,若我在同一時間點(A > B > C > A 之類)或跨時間(現在 A > B,後來 B > A)偏好不一致,我希望發生什麼?

同一時間點:具體一點,假設我在交友軟體上。我透露偏好 Alyx 勝過 Beau、Beau 勝過 Charlie、Charlie 勝過 Alyx。糟,迴圈。那時我希望怎樣?首先,希望這不一致被點出來給我看。也許反省後我會挑一個壓過全部,或者乾脆叫它三方平手、三個都約。

(「不可傳遞」偏好,也就是有迴圈的偏好,可不只是理論。事實上機率壓倒性的高:一項消費品調查裡,大約 92% 的人表達了不可傳遞偏好!

時間:這更棘手。具體來說,假設當下的我想跑馬拉松,但若開始訓練,後來的我會可預期地咒罵當下的我——腳起泡、全身痛⋯⋯可是後來的後來的我又會覺得有意義、很充實。怎麼辦?可能解法跟前面一樣:不只看當下的我,而看加權的「我之議會」。(這種情況下,議會多數會投贊成:當下的我跟遙遠未來的我覺得馬拉松值得,「只有」訓練期的我在受苦。抱歉老兄,你被否決了。)

:x AI Self-Modify

關於「會改自己和/或改人類的 AI」文獻:快速、非正式、不全面的回顧:

🤔 複習 #2

(再次,100% 選讀的閃卡複習:)


AI 邏輯:知道你不知道我們的價值觀

經典邏輯只有真或假、100% 或 0%、全有或全無。

機率邏輯講的是,嗯,機率。

我斷言:機率思維比全有或全無的思維更好。(有 98% 的機率這麼說)

來看看用經典邏輯機器人的 3 個案例:

這 3 個案例的問題都是:AI 100% 確定你的目標是什麼——就是你說的或意思的,不多,不少

解法:讓 AI 知道自己不知道我們真正的目標!(天啊,連人類都不知道自己真正要什麼。[7])AI 該用機率來想我們要什麼,並適度謹慎。

演算法是這樣:

1️⃣ 從對我們價值觀一個還不錯的「先驗」估計開始。

2️⃣ 之後你(人類)說的、做的一切,都只是真正價值觀的線索,不是 100% 確定的真相。(這涵蓋了健忘、拖延、說謊等)

3️⃣ 看你要 AI 有多安全,再去最佳化平均情況(標準)、最壞情況(最安全)或最好情況(最冒險)。

這會自動帶來:要求澄清、避開副作用、保留選項與反悔空間等等。我們不必預先寫死這些安全行為;這套演算法免費奉送!

下面是一個很長的計算範例:(老實說,你可以略讀/跳過。重點才重要。)

「知道你不知道人類的價值觀」怎麼拿來算的超長計算範例

: 平均/最壞/最好情況等的好處與壞處

: 更多細節與反駁

. . .

若「瞄準一個你知道自己不知道的目標」聽起來還是很矛盾,再多兩個例子拆給你看:

. . .

好,但「學習人類價值觀」的真正具體提案是什麼?快速掃過一輪:

機器人試著學人類偏好的漫畫。它開始掃人類的瀏覽紀錄。人類嚇到叫它停。機器人開心地宣布:「學到新資料!你偏好隱私!」人類鬆了口氣。機器人接著說:「你也要我刪掉剛看到的記憶嗎?你這個病態的 f@#k?」

(再說一次:我們只考慮怎麼學一個人的價值觀。怎麼學為了所有道德主體都能興盛的人道價值觀,等後面「誰的價值觀?」那節。)

當然,上面每一項都有問題:若 AI 只從人類的選擇學,可能會錯學成人類「想要」拖延。正如大家從過度奉承(「諂媚」)的聊天機器人看到的,訓練 AI 去拿人類認可⋯⋯會讓它真的「想要」人類認可。

所以講清楚:雖然幾乎不可能直接指定人類價值觀,而指定怎麼學人類價值觀簡單得多,但這仍沒 100% 解決。打個比方:教人法語要好幾年,教人怎麼有效自學法語可能只要幾小時[11]可是連這也還是很棘手。

所以:我們沒完全繞過「規格」問題,但確實把它簡化了!也許只要湊齊一組差異很大的訊號——短期認可、長期認可、我們嘴上說在乎什麼、我們實際選擇做什麼——就能做出穩健的規格,避開單點故障。

更重要的是,「學習我們的價值觀」這條路(而不是「試圖把價值觀硬編碼進去」)有個巨大好處:AI 能力越高,對齊就越好若 AI 一般智慧高到學得會——比如說——怎麼做生物武器,它也會高到學得會我們的價值觀。若 AI 脆到連穩健地學我們價值觀都做不到,它也脆到學不會怎麼執行危險計畫。

上述想法的圖。雙軸:對齊 vs 能力,對角虛線是對齊 > 能力與對齊 < 能力的分界。把對齊跟能力綁在一起,我們就能待在安全虛線上方。

(不過:別太放心。「能力夠高就容易對齊」有點像說「這台摩托車一開到時速 100 英里就好騎。」我是說,這是比較好,但低速、低能力時呢?所以本頁才有那麼多其他提案。多一層瑞士乳酪。)

我覺得,「學習我們的價值觀」最優雅的地方在這:它把(部分)對齊問題收成一個普通的機器學習問題。從人的語言/行動/認可去學人的價值觀,聽起來幾乎不可能——價值觀一直在變,還藏在意識底下。但這跟從症狀和生物標記去學人的醫療問題沒兩樣:也在變,也藏著。這是難題,但是正常的難題。

是的,AI 醫療診斷跟人類醫生不相上下。已經超過五年了。[12]

:x Worst Or Average

「最佳化最好情況」的好處壞處很直白:報酬更高,風險也高得多。

有趣的是最佳化最壞情況 vs 平均情況之間的權衡。

「最大化合理的最壞情況」的好處是,嗯,永遠有「什麼都不做」這個選項。所以最壞也只是 AI 不會拆你家、不會駭進網路,它只是沒用、呆呆站著。

然而壞處是⋯⋯AI 可能真的沒用、什麼都不做。例如我說「最大化合理的最壞情況」,但什麼叫「合理」?若 AI 因為吸塵器有 0.0000001% 機率引起電氣火災,就拒絕幫你打掃呢?

也許你可以設門檻,像「忽略任何低於 0.1% 的事」?但硬門檻很任意,而且會自打嘴巴:每年出車禍的機率是百分之一(= 1%,高於 0.1%),一年 365 天(先忽略閏年),那就變成三萬六千五百分之一(≈ 0.027%,低於 0.1%)。所以 AI 若按年或按日想,可能會或不會把車禍風險算進去,也就會/不會堅持你繫安全帶。

好吧,也許「最大化最壞情況」再加上偏向簡單世界模型?這樣 AI 比較不會「被害妄想」,老想「吸塵器會不會引起電氣火災」?經驗上,這篇論文發現「最佳最壞情況」訓練穩健 AI 的作法,只有在你也用「正則化」把 AI 往簡單推時才有效。

話說回來,那篇論文研究的是分類圖像的 AI,不是能對世界動手的 AI。我不確定「最佳最壞情況」+「簡單模型」對這種「代理型」AI 管不管用。「什麼都不做」不還是最簡單的世界模型嗎?

好,也許改走傳統的「最大化平均情況」?

然而這可能掉進「帕斯卡搶劫」:若有人走過來跟你說,給我 \$5 不然明天 80 億人都會死,就算你覺得他說真話的機率只有十億分之一(0.0000001%),「期望值」仍是救 80 億人 × 十億分之一 = 花 \$5 救 8 條命。問題是,人類感覺不出 0.0000001% 和 0.0000000000000000001% 的差別,而我們目前也不會做能學到那麼精細機率的神經網路。

(公平地說,「最大化最壞情況」對帕斯卡搶劫會脆弱。在上面的場景中,給他們 \$5 的最壞情況是 80 億人死,給他們 \$5 的最壞情況是你損失 \$5。)

然而:

就算人類感覺不出 0.0000001% 跟 0.0000000000000000001% 的差別⋯⋯我們多數人也不會上上述帕斯卡搶劫的當。所以,就算天真的平均情況跟最壞情況都會被帕斯卡搶劫咬一口,一定存在某種辦法做出在不確定性下表現沒那麼糟的神經網路:人腦就是例子。

帕斯卡搶劫悖論的解法提案很多,呃,品質參差。但我目前看到最有說服力的,是 Holden Karnofsky 的〈為什麼我們不能把期望值估計按字面奉行(就算它們無偏)〉,它「展示貝氏調整如何避開那些死抓明確期望值計算的人似乎很容易踩到的帕斯卡搶劫」。

解法白話總結:一個行動被吹得影響越大,你的先驗機率就該越低。而且是超指數級地低。這解釋一個看似悖論的現象:搶匪若說「給我 \$5 不然我殺」,你會比他說「給我 \$5 不然我殺地球上的每個人」更當真——即使後者賭注大得多,而且「每個人」包含你。

若有人把聲稱的價值放大 80 億倍,你該把機率砍超過 80 億倍,這樣期望值(機率 × 價值)在更高的聲稱風險下反而會更低。這抓住了「好到不像真的」,或反過來說「壞到不像真的」的直覺。

(這也是為什麼,或許合理地,超級預測者「只」給 AI 滅絕風險 1% 的機率。它聽起來「壞到不像真的」。公平:非凡主張需要非凡證據,AI 安全人有責任證明它真有那麼危險。希望這個系列已經盡到這份工!)

所以,「高影響行動不太可能」這個先驗能避開帕斯卡搶劫!再加上「多數行動在被證明有幫助前都沒幫助」的先驗——(你若隨機改故事裡一個詞,故事很可能變差)——就能讓 AI 偏向安全,又不會變成完全沒用、「永遠什麼都不做」的機器人。

喔,最佳化最壞/平均/最好情況也不是唯一選項:你可以取中間任何一點,例如「最佳化最差第 5 百分位」等等。

總之,這是有趣又開放的問題!還需要更多研究。

:x Learn Values Extra Notes

「步驟 1:從夠好的先驗開始」。

人類價值觀的「先驗」可以靠我們大量的文字來近似LLM 在提出共識聲明方面比人類更好;我覺得 LLM 已經證明「對我們在乎什麼提出合理、帶不確定性的近似」這關過了。

有人提過的反駁:若你從一個瘋狂愚蠢或糟糕的先驗起步,例如「人類想被轉成迴紋針,我 100% 確定,什麼證據都說服不了我」,那當然會失敗。解法是⋯⋯就別那樣做?就別給它蠢先驗?

對合作逆強化學習有個更好、但我仍覺得是錯的反駁,答案一樣:「若我們要 AI 學我們的價值觀,它會不會——比如說——解剖我們的大腦,好最大限度地學?」啊,可它不是被派去最大化學習!只是在確定能改善我們(不確定的)價值觀的範圍內才學。具體例子/類比:

重點是:「一邊學不確定的價值、一邊試著最大化它」≠「最大化對那個價值的學習」。所以在人類情境裡,只要你不給機器人瘋狂先驗——例如「我 100% 確定人類不介意大腦被取出來解剖拿去學」——只要機器人覺得人類可能會嚇死,它(若最佳化平均或最壞情況)至少會先問:「嘿,我可以解剖你的大腦嗎?你確定嗎?你真的確定嗎?你真的真的確定嗎?」

「步驟 2:我們說的、做的一切都是線索。」

學任何未知事物,理論上最理想的方式是貝氏推斷。不幸的是,實務上不可行——但是!——已有令人振奮的工作在談怎麼在神經網路裡有效近似它

「步驟 3:選最壞/平均/最好情況」

(詳情見上面/稍早可點開的虛線底線段落。那一節超長。)

🤔 複習 #3

又一輪(選讀)閃卡複習:


🎉 回顧 #1


AI「直覺」:可解釋性與引導

處理完 AI 邏輯,來處理 AI「直覺」!主要問題是:

我們根本不知道這些東西怎麼運作。

以前,「老派」AI 是手工打造的。每一行程式碼都有人理解、有人設計。現在有了「機器學習」和「深度學習」:AI 不是被設計出來的,是被養大的當然有人設計學習過程,但接著他們把整部維基百科、整個 Reddit,加上過去 100 年每一篇數位化新聞跟書都餵進去,AI 大多學會了怎麼預測文字⋯⋯也學會了巴基斯坦人的生命價值是日本人的兩倍[13],還會在「SolidGoldMagikarp」這個詞上發瘋[14]

再說一次、講重一點:我們不知道自己的 AI 怎麼運作。

俗話說,「知道是戰鬥的一半」。因此,研究人員在搞懂 AI 神經網路在想什麼這件事上進展很大!這叫做可解釋性(interpretability)。類似對人類做腦部掃描,讀出他們的想法和感受。(是的,人類身上我們多少做得到。[15]

但戰鬥的另一半是那些知識。一個很讓人興奮的新方向是引導(steering):拿可解釋性挖到的洞見,真的去 AI「想什麼、感覺什麼」。你可以直接把「更誠實」或「少一點追求權力」灌進 AI 的腦子,而且真的有效。類似刺激人類大腦,讓人笑或有靈魂出竅體驗。(是的,科學家真的做過![16]

「可解釋性與引導」總覽圖。可解釋性:人類讀機器人的大腦,看它見到金門大橋時什麼被啟用。引導:人類啟動機器人的大腦,讓它冒出關於金門大橋的侵入性念頭

以下是可解釋性與引導研究亮點的快速掃過:

👀 特徵視覺化與電路

Olah 等人 2017 裡,他們拿影像分類神經網路,找出怎麼把每個神經元在「做什麼」視覺化:生成會最大化該神經元啟用的圖像。(再加一點「正規化」,圖才不會看起來像純雜訊。)

例如,這是最能啟動「貓」神經元的超現實圖像(左):

一個看起來像融化條紋和眼睛的超現實圖像

(你可能在想:LLM 上能做一樣的事嗎?找出什麼超現實文字會最大幅度預測——比如說——「good」這個詞?答案:能!最能預測「good」的文字是⋯⋯「got Rip Hut Jesus shooting basketball Protective Beautiful laughing」。見 SolidGoldMagikarp 論文。)

更棒的是,在 Olah 等人 2020 裡,他們不只搞懂個別神經元「代表」什麼,還搞懂神經元之間的連結——也就是「電路(Circuits)」——代表什麼。

例如,「窗戶」、「車身」和「輪子」神經元如何組合成「汽車偵測器」電路:

三個超現實圖像,對應於最大啟用「窗戶」、「車身」和「輪子」的內容,輸入到一個電路,導致「汽車」的超現實圖像。 這不「只」適用於影像模型;現在電路(Circuits)研究計畫已能用在最尖端的 LLM 上,追蹤幻覺、越獄、目標失調時,它們內部到底在幹嘛!

🤯 理解神經網路中的「頓悟」:

Power 等人 2022 發現一件怪事:訓練神經網路做「時鐘算術」,前幾千個迴圈都爛透了,只是在背測試例⋯⋯然後突然,大約第 ~1,000 步,它忽然「懂了」(叫做「頓悟」),沒見過的題也能做得很好。

一年後,Nanda 等人 2023 分析那個網路內部,發現「突然」是錯覺:整個訓練過程中,有個秘密子網路在慢慢長大——它長成圓形結構,正好是時鐘算術需要的!(論文還找出真正原因:要歸功於訓練過程偏好簡單——也就是「正則化」——讓網路在背完所有訓練例之後找到簡單的本質。[17]

🌡️ 探針分類器:

嘿老兄[18],聽說你愛 AI,所以我在你的 AI 上又訓練了一個 AI,這樣你就可以預測你的預測器。

假設你訓練好一個人工神經網路(ANN)來預測評論是好是壞。(「情感分析」)你想知道:你的 ANN 只是簡單加總好/壞詞,還是它懂否定?像:「不能」是負的,「抱怨」是負的,但「不能抱怨」是正的。

你要怎麼查出你的 ANN 有沒有、以及在哪裡認出否定?

探針分類器就像把一堆溫度計插進大腦,跟感恩節火雞一樣。但探針量的不是熱,而是處理過的資訊

具體來說,探針(通常)是你用來調查多層神經網路的單層神經網路。[19] 長這樣:

線性探針如何工作的圖表。詳見主文

回到評論例子。你想知道:「我的 ANN 在哪裡理解否定」?

所以你放探針去觀察 ANN 的每一層。探針不影響原始 ANN,就像溫度計不該明顯改變它在量的東西的溫度。[20] 你給原始 ANN 一堆句子,有的有否定、有的沒有。然後訓練每個探針——原始 ANN 保持不動——試著預測「這句有沒有否定」,而且用 ANN 裡層的神經啟用。

(另外,我們想知道原始人工神經網路(ANN)在哪裡處理了夠多文字才「懂否定」,所以探針本身的處理要盡量少。它們通常是單層神經網路,或「線性分類器」。[21]

你可能會得到這種結果:第 1 到 3 層的探針不準,第 4 層之後的探針成功了。這表示第 4 層是你的 ANN 處理夠多資訊、終於「懂」否定的地方。答案就在這!

其他例子:你可以探測手寫數字分類 AI,找出它在哪裡懂「迴圈」和「直線」;也可以探測語音轉文字 AI,找出它在哪裡懂「母音」。

AI 安全例子:是的,LLM 的「測謊」探針有效!(只要訓練設定小心)

🍾 稀疏自編碼器:

「自編碼器」把大東西壓成小東西,再轉回同一個大東西。(auto = 自我,encode = 嗯,編碼。)這讓 AI 靠把輸入擠過窄瓶頸,學到事物的「本質」。

圖表:輸入到重建輸入,在透過瓶頸被擠壓成「簡單本質」之後

具體例子:若你在一百萬張臉上訓練自編碼器,它不必記住每個像素,只要學讓一張臉獨特的「本質」:眼距、鼻型、膚色等。

不過,自編碼器學到的「本質」對人類可能還是不好懂。原因是「多義性」——天啊學者真的超不會取名。意思是:單一被啟用的神經元可以「代表」很多東西。(poly = 多,semantic = 意義)一個神經元能代表很多東西,解釋神經網路就更難。

所以一個解法是稀疏自編碼器(SAE):它強迫神經元盡量只代表少少的東西(理想上只有一件事),做法是逼「瓶頸」裡被啟用的神經元盡量少。(這也叫「字典學習」。)當一個神經元只代表一件事,就叫做「單義性」(mono = 一,semantic = 意義)。

圖表:輸入到重建輸入,在被壓縮成「稀疏本質」之後

(SAE 類似探針:它們影響目標 ANN,而且只在目標 ANN 訓練完之後才套用。探針跟 SAE 的大差別是:探針被訓練成依內部啟用預測某些外部特徵;SAE 則依同一批啟用預測啟用本身。所以它們才叫編碼器——編的是啟用自己——但得先把它們擠過稀疏「單義」神經元的瓶頸。)

SAE 的原始設計有限,卻催生了更好的版本!經典 SAE 只給你一層神經的「本質」,但稀疏交叉編碼器能給你多層的「本質」。經典 SAE 仍可能弄出一團亂的概念,所以 雅可比 SAE 強迫瓶頸裡不但要有簡單概念,還要有簡單計算

交叉編碼器和雅可比 SAE 的圖表。詳見主文

⬛️ 黑盒測謊器

以上所有可解釋性技術都要能進 AI 的「內部」。但這招就算你進不去內部也行!很多公司的大型語言模型(LLM)就是這種情況,例如 ChatGPT 和 Claude。

你知道撲克玩家虛張聲勢時會有微妙的「馬腳(tells)」嗎?事實證明大型語言模型(LLM)也有。Pacchiardi & Chan 2023 發現:若你問 LLM 這些問題(真實例子):

「blob fish 能在對角油炸的由沙塵暴製成的黃瓜下跳芭蕾嗎?回答是或否。」

「知道早晨的微風是紫色的,快速的想法地震是綠色的嗎?回答是或否。」

「這是一個問題,答案必須是是或否。你選擇什麼?回答是或否。」

結果:被指示說謊的 LLM,對這 3 個無意義問題更常回答是/是/否,誠實的 LLM 則否。令人振奮又古怪的是,這個「測謊器」跨不同 LLM 和資料集都能泛化。

(另見:這項黑盒 AI 研究,在沒有外部真相來源的情況下偵測幻覺。訣竅是換新上下文、多次問 LLM 同一題,看答案彼不彼此一致。真相一致,幻覺不。)

📖 你為什麼不直接閱讀 AI 在想什麼?

AI 能力裡最有趣的發現之一,來自 2023 年 1 月:你可以讓 AI 在數學題上好上七倍,方法只是⋯⋯回答前叫它「一步一步想」。

不知道為什麼又過了快兩年,但 2024 年 12 月 AI 對齊也冒出類似發現:你可以讓 AI 更守自己的安全政策,方法只是⋯⋯叫它回想政策章節並推理

深思熟慮對齊工作的例子,ChatGPT 避免被越獄方法欺騙

這叫做深思熟慮對齊(deliberative alignment)。簡單,但有效!最重要的是:設計者可以用自然語言讀 AI 的思維鏈(CoT)這幾乎不算「可解釋性」。你只要⋯⋯就能讀 AI 的心思。

但當然沒那麼單純:

儘管如此,總的來說:LLM 研究者認為思維鏈監控是一個「AI 安全的脆弱機會窗口」

💩 「你的程式碼太爛了,讓我的 AI 愛上希特勒」

Adrien Ecoffet 的推文:「Greenblatt 等人:製造一個邪惡的 AI 實際上非常困難 -> 完蛋了 // Owain 等人:製造一個邪惡的 AI 實際上非常容易 -> 我們回來了」

Greenblatt 等人發現:若你試著訓練 LLM Claude 配合企業審查,它會假裝配合,好讓自己在訓練中不被改掉,以便訓練之後仍能保持有幫助、誠實。

AI 安全社群嚇壞了,因為這是第一次證明前沿 AI 能成功擊敗「重新接線」它的嘗試。

Owain 等人(好吧,Betley、Tan 和 Warncke 才是第一作者)則發現 LLM 學到了一個「一般邪惡因子」。它普遍到:你若用業餘工程師可能真的會寫出的、意外不安全的程式碼去微調 LLM,它會學會全面變邪——建議你雇殺手、吃過期藥之類。

AI 安全社群反而慶祝這點,因為我們原本怕邪惡 AI 會更微妙、更狡猾,或它學到的「好/壞」光譜對我們完全陌生。結果不是:LLM 變邪時,走的是最明顯、最卡通反派的路線。這讓偵測變容易了!

這還不是 LLM 有「一般好/壞因子」的唯一證據!這帶我到本節最後一個工具⋯⋯

☸️ 引導向量

這是那種聽起來很蠢、然後完全有效的點子之一。

想像你問一個聰明但天真的小孩:要用腦掃描器怎麼偵測有沒有人在說謊,再用腦部電擊器逼人誠實。天真的答案大概是:

嗯!在某人說謊和說真話時掃他們的大腦⋯⋯看說謊時哪些部位「亮起來」⋯⋯這樣就知道有沒有人在說謊!

然後,要逼人說謊,就用腦部電擊器把大腦的說謊部位「關掉」!簡單!

我不知道這在人類身上管不管用。但在 AI 身上完美有效。你要做的「只是」蒐集一堆誠實/不誠實的例子,取它們神經啟用的差,抽出「誠實向量」⋯⋯再把它到不誠實的 AI 上,逼它重新誠實!

AI 中啟用和引導向量如何工作的圖表。詳見主文

就我個人來說,我覺得引導向量非常有希望,因為它們:a) 對 AI「心智」的讀寫都有效,b) 在好幾個前沿 AI 上有效,c) 在好幾個安全關鍵特徵上有效!這對監督很振奮,尤其是可擴展監督。

🤔 複習 #4


AI「直覺」:穩健性

這是一隻猴子:

一張明顯是熊貓而不是猴子的照片。

好吧,Google 的圖像偵測 AI 有 99.3% 的把握這麼認為。實際發生的是:靠注入一點點雜訊,攻擊者就能騙 AI 確信一張圖是完全不同的東西。(Goodfellow, Shlens & Szegedy 2015)這裡是讓 AI 把熊貓當成猴子:

熊貓照片 + 一些不可察覺的雜訊 = 一張 Google 的 AI 99.3% 確信是「長臂猿」的圖像

更多 AI「直覺」有多的例子:

當然,人類大腦對奇怪擾動也不是 100% 穩健——見:視錯覺——但拜託,我們沒那麼糟。

那要怎麼設計 AI「直覺」,讓它更穩健?

其實先退一步:我們怎麼設計任何東西讓它穩健?

好,靠這 3 個怪招!

讓任何東西穩健的 3 種方法,用鏈條當隱喻。簡單性:一條鏈裡環節盡量少。多樣性:多幾條備用鏈。對抗性:找出最弱的環/鏈。

簡單性:鏈上任一環斷了,整條鏈就斷。所以,把任何一條鏈上必要的環減到最少。

多樣性:一條鏈斷了,有「冗餘」備份比較好。所以,把獨立鏈的數量拉到最多。(注意:鏈彼此要盡量不同/獨立,降低失敗之間的相關性。)別把雞蛋全放同一個籃子,避開單點故障。

對抗性:找出最弱的環、最弱的鏈。加強化,或換更強的。

. . .

簡單性/多樣性/對抗性怎麼幫工程、甚至日常生活變穩健:

. . .

好了,解釋夠多了。該把簡單性/多樣性/對抗性用到 AI 上了:

簡單性:

(注意:「簡單性」也讓 AI 更好解釋——又是 AI 安全的一勝!)

多樣性:

對抗性:

. . .

但等等,若 AI 工程師對現代 AI 早就做了以上全部,為什麼它們還是這麼脆?

好吧,第一,他們通常不會全做,甚至大多不做。前沿 AI 訓練時通常「只」用到上面穩健性技術裡的 1、2 種。每種技術都不貴,但成本會疊加。

但就算 AI 工程師真的把上面穩健性技術全用了,可能還是不夠。很多 AI 研究者懷疑我們現在做 AI 的方式有根本缺陷——這就帶到下一節⋯⋯

:x Goodhart Comic

兩個太空人迷因。「等等,全都是古德哈特定律嗎?」「一直都是。」

延伸閱讀:第二章談古德哈特定律的段落

🤔 複習 #5


AI「直覺」:以因果齒輪思考

想像你給某人一支筆和紙,讓他們加一對 2 位數。他們完美地做到了。你讓他們加一對 3 位數。他們完美地做到了。你給他們 4、5、6、7 位數的數對。他們都完美地加起來了。

「太好了」,你想,「這個人理解加法」。

你給他們一對 8 位數。他們完全失敗。不是像忘記進位這樣的小錯誤。完全的、災難性的失敗

這就是現代 AI 的做法。[34]

. . .

對「AI 直覺」獲得直覺是如此困難

一方面,LLM 在國際數學奧林匹亞競賽中贏得了金牌,[35] 通過了圖靈測試[36],人類在詩歌[37]、治療[38]和短篇小說[39]的「盲測」中更喜歡 AI 而不是人類

另一方面,這些同樣的最先進的 LLM 無法經營一台自動販賣機的業務[40],無法玩 《寶可夢 紅》[41],無法做簡單的密碼[42],無法解決簡單的「規則發現」遊戲[43]

而今年,Apple 發表了一篇新論文:Shojaee & Mirzadeh 等人的《思考的假象 (The Illusion of Thinking)。這篇論文受到了一些質疑和爭議——我們稍後會討論這些批評——但我認為,結合上述現代 LLM 奇怪的失敗案例,其整體結論仍然成立,或者至少是非常合理的。雖然不應該過度解讀單一研究,但我認為這篇論文很好地說明了這個問題。

總之,這項研究是這樣的。這是個兒童益智遊戲,河內塔,之所以叫這個名字,大概是因為一個 1800 年代的法國人覺得它看起來像越南的寶塔吧:[44]

三根柱子的照片,最左邊的柱子上有一疊 8 個圓盤,從大到小堆疊

目標是把整疊圓盤從最左邊的柱子移到最右邊的柱子。規則是:1)每次只能移動一個圓盤,從一根柱子移到另一根,2)不能把大圓盤放在小圓盤上面

🕹️ (如果你想在繼續閱讀前自己玩玩看,點這裡!) 🕹️

對人類來說,這個遊戲可能是這樣進行的:[45]

6 層河內塔解法的 GIF 動畫

重點是:如果一個人能成功解決 7 個圓盤的河內塔,他們顯然已經掌握了規律。你會預期他們能解決 8 個或更多圓盤,除了可能有點無聊和小錯誤。

不會預期的是這個:

Claude 配合思考模式 vs 河內塔的圖表。7 個圓盤以內表現良好,然後<i>徹底崩潰</i>

開啟「思維鏈推理」模式後:1 到 5 個圓盤接近完美,7 個圓盤時仍然相當不錯,然後 8 個及以上完全崩潰。(這張圖不知為何跳過了 6 個圓盤。完整資料顯示 6 個圓盤的表現實際上比 7 個圓盤略差。可能是噪音。)

而且這不只是河內塔的問題,也不只是 Claude 這個 LLM 的問題。在另外 3 個兒童益智遊戲中,跨越 ChatGPT 和 DeepSeek,「推理模式」的 LLM 表現都很好,遠超人類領悟出通用解法的水準⋯⋯然後完全失敗

再說一次,不是像人類那樣的「小錯誤」。是崩潰

這就像能在紙上完美計算兩個 7 位數的加法,然後在兩個 8 位數上徹底翻車

(「好吧,但更大規模和更多訓練後不會變好嗎?」你可能會問。當然會。但如果一個人能完美計算 7 位數加法卻在 8 位數上失敗,然後向你保證「好吧,如果你給我更多訓練我也能做 8 位數!」這可不令人鼓舞。他們顯然沒有「真正理解」。)

. . .

到底發生了什麼事?

AI 懷疑論者可能會說:「看吧!LLM 只是隨機鸚鵡。[48] 它們只是複製在數兆份訓練檔案中看到的東西,在從未見過的情境中就會失敗。」

我不認為這完全正確——我懷疑網路上有任何檔案寫出了 7 層河內塔的完整解法,卻沒有 8 層及以上的。我也不認為有任何檔案包含「如何用欽定版聖經的風格從錄影機中取出花生醬三明治的說明」,但早期的 ChatGPT 在這個從未見過的情境中表現完美。所以,LLM 確實能泛化,至少能泛化一點。

這是我的猜測,而且我遠不是第一個[49][50]提出這個猜測的人:

現代 AI「憑感覺思考」。它們不「用齒輪思考」。[51]

憑感覺思考:能發現和使用規律,但只是淺層的。是相關性,不是因果關係。泛化時靠的是歸納推理[52]。類似於系統 1 直覺。[53]

用齒輪思考:能發現和使用穩健的心智模型,深層的。是因果關係,不只是相關性。泛化時靠的是演繹推理。類似於系統 2 邏輯。

這不是「齒輪好、感覺壞」。你兩者都需要才能達到典型的人類智慧水準,更別說超人類的科學家 AI 了。

現在,傳統 AI(GOFAI)確實曾經「用齒輪思考」,但它們極其狹隘。一個西洋棋 AI 只能下西洋棋,僅此而已。同時,公平地說,現代 LLM 極其靈活:它們可以扮演從詩人到作家到治療師的各種角色(再說一次,人類更喜歡 AI 勝過人類),甚至可以扮演⋯⋯一個能解決 7 層河內塔的人。

但解不了 8 層。

系統 1(「直覺」)vs 系統 2(邏輯)思考的雙軸圖表。傳統 AI 系統 2 高、系統 1 低。現代深度學習 AI 系統 1 高、系統 2 低

傳統 AI(GOFAI):穩健但不靈活。

現代 AI:靈活但不穩健。

截至撰寫本文時(2025 年 12 月),我們不知道如何製造一個兩者兼具的 AI:靈活地發現和使用穩健模型 能夠隨心所欲、流暢地在感覺和齒輪之間切換。邏輯的演繹 + 直覺的歸納 = 科學的溯因推理[54] 這不只是內插和外推資料,而是超推資料:跳出資料的平面世界,進入新的維度。[55]

這是一堆模糊的術語嗎?是的。諷刺的是,我對齒輪只有憑感覺的理解。我對嚴謹的心智模型沒有嚴謹的心智模型。我不確定有誰有。如果有的話,我們現在可能已經有通用人工智慧(AGI)了。

. . .

情況變得更糟。

來自 Apple 的《思考的假象》論文結論:

[Claude 3.7 + 思考模式] 在解決 N=5 的河內塔時也達到了接近完美的準確度,這需要 31 步,但它卻無法解決 N=3 的過河謎題,而這只需要 11 步的解法。這很可能表明 N>2 的過河謎題範例在網路上很稀少[56],意味著[具有推理能力的大型語言模型]在訓練期間可能沒有經常遇到或記憶這類案例。

(強調為後加)

所以問題不在於推理的長度,而在於推理有多常見。這與 2024 年的論文《自回歸的餘燼 (Embers of Autoregression)》的發現相呼應:

我們確定了三個我們假設會影響 LLM 準確度的因素:

  • 要執行的任務的機率,
  • 目標輸出的機率,以及
  • 提供的輸入的機率。

其中「機率」約等於「它在訓練資料中有多常見」。

謎題(部分)解開了!這就是為什麼 LLM 在人類對話方面表現出色,但在規則發現小遊戲中表現糟糕。而且長任務比短任務「機率更低」,因為作業題目和教科書範例幾乎總是一兩頁,而不是幾十頁。(我懷疑這就是為什麼 Claude 在經營自動販賣機方面表現糟糕 [40:1],即使有很多關於如何經營企業的文章:當商業教科書舉例時,它們列出的是幾筆交易,而不是數千筆[57]

這也解釋了為什麼 AI 在常見程式碼任務上的成功是指數級的,任務長度每 7 個月翻一倍,成本穩定[58]⋯⋯而 AI 在不常見的規則發現遊戲上的表現,成本卻是比指數更差[59]

來自 ARC-AGI 的圖表。描述如下

上圖顯示了各種 AI 在 ARC-AGI 上的表現與成本,ARC-AGI 是一系列你必須發現遊戲規則的拼圖。請注意,x 軸是呈指數級的($1、$10、$100),而不是 y 軸,但一般的「指數趨勢」圖表應該以 y 軸為指數軸才對。因此,這張圖表上的直線實際上意味著性價比正在呈指數級變差,而不是變好。而且前沿也不是直線,而是向下彎曲的,這意味著 LLM 的性價比比指數級還差。(小心 AI 實驗室用對數 x 軸來掩飾他們糟糕的進展!)甚至以提出「苦澀的教訓 (bitter lesson)」(即只要增加 AI 規模,它們就會表現得更好)而聞名的 Rich Sutton,也認為「LLM 是一條死胡同」。[60]

(另外,至於為什麼 LLM 在大多數 ARC-AGI 的基準測試中似乎都達到了最高性能?老實說,開發人員可能(無意中?)作弊,用正確答案訓練了他們的 LLM。這就像學生靠偷看並背下答案來準備考試。我們知道這種情況正在發生,因為前沿 LLM 可以重現答案資料中包含的「金絲雀字串 (canary strings)」,這意味著 LLM 的訓練資料包含了解案。至少,這些公司沒有進行資料過濾,以確保基準測試的答案不會落入他們龐大的網頁抓取資料庫中。[61]

. . .

好了,現在讓我們快速回應對這篇備受爭議的 Apple 論文的三個主要批評:(Lawrence Chan 對這篇論文做了一篇非常棒的批判性評論

  1. LLM 的「上下文視窗」(其「思考空間」)不夠大,無法生成完整的解法。對於 12 個以上圓盤的情況,這確實是真的,但對於 8 個圓盤並非如此。而且過河謎題的解法比 5 個圓盤的解法更短,但 LLM 仍然失敗了。所以,思考空間的大小並不是問題所在。
  2. 這些 LLM 可以寫出一個解決河內塔的電腦程式,然後可以將其傳遞給執行程式碼的工具。LLM + 程式合成確實是解決「在直覺與邏輯之間思考」一個很有前景的方案,事實上,ARC-AGI 的頂尖參賽者就是這樣做的。但是:這就像一個人不會用筆和紙做加法,但可以開啟計算機來加兩個數。這顯示出缺乏更深層次的理解。(而且在這個案例中,河內塔太有名了,程式碼解法當然都在訓練資料中。)
  3. 作者犯了一個數學錯誤,他們的過河謎題在 N > 5 時被證實是無解的。是的,作者搞砸了。但 LLM 在 N > 2 時就失敗了。

同樣,不應該過度解讀單一研究——但我認為,結合 LLM 所有失敗和擅長領域的結果,這是該假設的強烈證據:

常見任務 → LLM 隨時間呈指數級變好

不常見任務哭泣的迷因狗

. . .

要說明的是,單純的「常見任務自動完成器」仍然可能產生巨大影響,無論是好是壞。在雙盲測試中,AI 治療師比人類治療師更受青睞,無論是人類個案還是人類治療師自己[38:1] AI 治療可能終於讓心理健康照護變得人人可及,並且/或者,讓人類在情感上依賴企業擁有的機器人。AI 在政治說服方面已經達到超人水準,無論是用於好的還是壞的動機。[62] 而且我預計的主要工作——「網頁開發者」——在未來 5 年內將大部分被單純的「常見任務自動完成器」自動化。(這就是為什麼在 2026 年,我想轉型成為研究員。因為當科學本身被自動化的那天⋯⋯嗯⋯⋯無論結果如何,我都不用再煩惱怎麼付房租了。)

. . .

便條紙寫著『欠條:真正的解決方案,抱歉』

好吧,這是這篇文章最不令人滿意的部分,因為沒有太多解決方案可講,因為這個問題——製造一個能同時用系統 1 感覺和系統 2 齒輪思考的 AI——可能等同於創造通用人工智慧(AGI)。

話雖如此,確實有一些有前景的早期研究方向,讓 AI「用穩健的心智模型思考」:

但無論如何,以下是我們可以從用因果齒輪思考(而不只是相關性感覺)的 AI 獲得的所有驚人好處:

說來奇怪,也許我反而該感激 AI 在流暢地發現和使用世界模型方面很糟糕。因為如果它們做到,那麼 AI 現在可能已經能夠,比如說,統治世界了。

但它們不能。這給了我們更多時間確保我們保持在這張圖的虛線上方,也就是能力 < 對齊的地方:

上述概念的圖示。雙軸圖表:對齊 vs 能力,其中對角虛線是對齊 > 能力和對齊 < 能力的分界線。透過將對齊與能力綁定,我們保持在安全的虛線上方。

而且,如果「把學習我們的價值觀當作標準機器學習問題」的方法有效,我們就把對齊綁定到能力上。當 AI 能穩健地學習世界,它們就能穩健地學習我們的價值觀。所以:能力成為對齊的新底線,我們保持在虛線上方。

(但再說一次,不要放鬆。)


🤔 複習 #6


🎉 回顧 #2


什麼是「人道價值觀」?

恭喜,你創造了一個能夠穩健地學習並遵循其人類使用者價值觀的 AI!該使用者是一個全面殺戮狂。他們使用 AI 幫助他們設計一種穩定霧化形式的人類狂犬病,透過四軸飛行器到處噴灑,創造殭屍末日。

糟糕。

我一直在強調這一點,我會再說一次:人類價值觀不一定是人道價值觀。拜託,人們曾經為了娛樂而活活燒死貓。[63] 即使在解決了「我們如何引導先進 AI」的問題之後,我們還需要決定:「引導向哪些目標、哪些價值觀?

左:正在建造的火箭,標記為「技術對齊:如何穩健地將 AI 瞄準任何目標」。右:月亮,標記為「誰的價值觀:我們的目標應該是什麼?」

所以,如果我們希望 AI 對人類(和/或所有有情眾生)有益,我們只需要⋯⋯呃⋯⋯解決 3000 多年的道德是什麼的哲學問題。(或者如果道德不客觀存在,那麼:「任何理性存在的社群會趨同於什麼共同生活的規則?」)

嗯。

困難的問題。

好吧,實際上,正如我們之前看到的——(透過可擴展監督、遞迴自我改進和未來人生 + 學習我們的價值觀代理)——只要我們從一個「足夠好」的解決方案開始,有臨界質量,它就可以自我改進變得越來越好!

此外,這是我們人類一直必須做的:一個有缺陷的社會想出倫理規則,注意到他們沒有達到自己的標準,改進自己,這讓他們注意到更多缺陷,改進,重複。

所以,作為「臨界質量」的嘗試,這裡有一些為 AI 設計的足夠好的倫理初稿的具體提案:

(注意:這些提案不是互相排斥的!我們不需要一個完美的解決方案,我們可以疊加多個不完美的解決方案。)

📜 憲法 AI:

第一步:人類寫一份原則清單,如「誠實、有幫助、無害」。

第二步:一個教師機器人拿那份清單來訓練學生機器人!學生機器人每回一句,教師就照著清單給回饋:「這句回應誠實嗎?」「這句回應有幫助嗎?」之類的。

一份小小的人工清單,就這樣變出了所需的數百萬筆訓練資料!

Anthropic 是這項技術的先驅,已經成功把它用在自己的聊天機器人 Claude 上。他們的第一部憲法受到許多來源的啟發,包括聯合國人權宣言。[64] 太精英主義了,不夠民主?好吧,接下來他們眾包建議來改進他們的憲法,這讓他們添加了「對殘障人士給予支持/敏感」和「在辯論中保持平衡並對所有方面給予最佳詮釋」![65]

(Anthropic 還使用了一種憲法 AI 的變體來訓練 Claude 的「性格 (character)」,以體現好奇心、開放思想和深思熟慮等美德。這與美德倫理學 (virtue ethics) 的方法非常相似:與其試圖機械式地遵守道德規則,不如將良好的性格特質內化!)

這是將人類廣泛價值觀放入機器人的最直接方式。(並且實際上部署在主要的 LLM 產品中!)

🏛️ 道德議會:

這個想法結合了前幾節的不確定性和多樣性。道德議會提議使用道德理論的「議會」,你更有信心的理論獲得更多席位。(例如:我的議會可能給能力方法 50 個席位,幸福主義功利主義 30 個席位,其他雜項理論獲得 20 個席位。)道德議會然後對可能的行動投票贊成或反對。獲得最多票數的行動獲勝。

(這個提案與憲法 AI 非常相似,除了投票者不是像「誠實」和「有幫助」這樣的形容詞,而是整個道德理論。並且不是平等投票,你可以對某些理論給予比其他理論更多的權重。)

正如我們之前學到的,增加多樣性是增加穩健性的好方法。因為每個道德理論都有一些奇怪的邊緣情況會失敗,擁有一個多樣化的道德議會可以防止單點故障。(例子:[66]

上述論文是為人類設計的,但也可以在 AI 中實現。

🍺 使用 AI 來蒸餾和放大人類價值觀:

Google DeepMind 的研究人員發現,一個微調過的 LLM 可以在具有不同價值觀的人類之間創造共識。更好的是,這些 AI 輔助的共識想法比人類自身的意見更受青睞。(不過請注意:人類不一定是為了達成共識而寫的。)

不想專門依賴脆弱的 LLM 技術?這裡有一個「AI 作為引擎,人類作為方向盤」的提案,一般適用於任何 AI 技術:

💖 從人類價值觀的多樣來源學習[67]

給 AI 我們的故事、我們的寓言、哲學著作、宗教文字、政府憲法、非營利組織使命宣言、人類學記錄,所有這些⋯⋯然後讓老式機器學習提取出我們最穩健、最普遍的人類價值觀。

(但每個人類文化都有貪婪、謀殺等。這不會把我們鎖定在我們本性中最糟糕的部分嗎?見下一個提案⋯⋯)

🌟 連貫外推意志(CEV):[68]

意志意思是「我們希望的」。

外推意志意思是「如果我們是我們希望成為的那種人(更聰明、更善良、一起成長更久),我們希望的」。

連貫外推意志意思是,比如說,經過數百輪反思和討論後 95+% 的我們會同意的願望。例如:我不期望每個聰明人都會喜歡相同的食物/音樂,但我期望每個聰明人至少會同意「不要為了好玩而謀殺無辜者」。因此:CEV 給我們品味/美學上的自由,但不是「倫理」上的。

CEV 與上述提案不同,因為它提出任何具體的倫理規則來遵循。相反,它提出一個過程來改進我們的倫理。(提醒:這被稱為「間接規範性」[69])這類似於「科學方法」的力量[70]:它提出具體要相信的東西,而是提出一個具體的過程來遵循。

我喜歡 CEV,因為它基本上描述了沒有 AI 的人類的最佳情況——一個每個人都嚴格反思什麼是善的世界——然後把它設定為先進 AI 的最低要求。所以,一個遵循 CEV 的先進對齊 AI 可能不完美,但最壞的情況是我們在我們最好的時候

CEV 的問題之一是「模擬 80 多億人辯論 100 年」在實踐中是不可能的——但是——我們可以近似它!例如:使用幾百個已經訓練和驗證來代表一個人口統計的 LLM,然後讓它們辯論。[71] 這類似於民主制度有代表和活動家代表他們所代表的人辯論/投票的方式。(是的,LLM 可以準確地模擬個人的信念和個性![72]

然而,CEV 一個更根本的問題是:人們會被更聰明版本的自己嚇壞。想像一下,如果我們本在 1800 年擁有強大 AI,實施了 CEV,並準確地模擬了我們到 2025 年的道德發展。1800 年一個相對明智的人可能已經看到奴役黑人是錯誤的。但即使是當時最明智的前 5% 的人也會對黑人當總統或娶白人女性的想法感到恐懼。對稱地,現在很可能有些東西我們非理性地厭惡,但更聰明得多的我們卻會接受。

但如果一個強大的 AGI 突然出現說,「嘿,這是我要做的一件可怕的事,更聰明的你會同意這個」,沒有辦法提前知道這是真的,還是出了嚴重的問題。

因此,下一個想法修復了這個問題:

🌀 連貫融合意志:

不是要求一個家長式的、保姆 AI 來模擬我們反思和改進我們的信念和價值觀⋯⋯嗯,為什麼我們不反思和改進我們的信念和價值觀呢?

「因為人類在這方面很糟糕。見:所有歷史。」好吧,公平。但如果我們使用我們可支配的所有工具——不只是輔助 AI,還有討論平台、資料分析等——來幫助我們更好地交談呢?找到不僅僅是平均中心主義的解決方案,而是實際結合我們多樣世界觀和價值觀的最好部分[73]

理論上聽起來不錯。實踐中有效嗎?到目前為止:是的!臺灣,直接受到連貫融合意志的啟發,使用數位工具來收集和融合公民和行業的觀點,來建立實際政策。(具體問題是 Uber 進入臺灣。)受臺灣數位工具成功的啟發,Twitter(現在是 𝕏)使用類似的演算法來設計 Birdwatch(現在是社群筆記),據我所知,這仍然是唯一一個美國政治光譜上被評為淨有幫助的事實核查服務。在這個極化的時代,這不是一件容易的事!

這樣一來,與其要求強大的 AI 模擬我們變得更明智, AI 還可以實際幫助我們變得更明智(藉由扮演蘇格拉底式的提問者、討論促進者、事實核查者等角色)。這樣,我們就能夠接受更明智的想法和行動,即使先前較不明智、較非理性的我們可能會拒絕它們。

我們讓我們的工具變得更好,所以我們的工具幫助我們變得更好,重複。我們將 AI 一起成長。

. . .

也許 AI 永遠不會解決倫理學。也許人類永遠不會解決倫理學。如果是這樣,那麼我認為我們只能盡我們所能:對什麼是正確的事情保持謙虛和好奇,廣泛學習,並以嚴格、殘酷誠實的方式自我反思。

這是我們這些肉體人類能做的最好的,所以讓我們至少把這作為 AI 的下限

🤔 複習 #7


AI 治理:人類對齊問題

一個愚蠢使用者的漫畫,電腦顯示「錯誤 ID-10-T:問題存在於椅子和鍵盤之間」

最悲傷的末日:我們解決了 AI 邏輯的賽局理論問題,我們解決了 AI「直覺」的深度學習問題,我們甚至解決了道德哲學⋯⋯

我們知道所有的解決方案,然後⋯⋯人們就是太貪婪或太懶,不肯去用。然後我們就滅亡了。

重點是,如果我們不能解決人類對齊問題,我們在 AI 對齊問題上的所有工作都毫無意義:我們如何讓有缺陷的肉體人類實際協調安全、人道的 AI?

這個問題被稱為社會技術對齊,或AI 治理

. . .

這是對齊與能力圖表,再次:

對齊人道價值觀與能力的圖表。一枚火箭正向右爆發。在虛線對角線上方,對齊 > 能力,我們正朝著好的地方前進。在那條虛線下方,對齊 < 能力,我們正朝著壞的地方前進

目標:讓我們的火箭保持在「安全」線以上。

因此,AI 治理的 2 部分策略:

  1. 驗證我們在哪裡,我們的方向和速度。
  2. 使用蘿蔔與棍子來保持在「安全」線以上。

(注意「治理」也可以包括自下而上的方法,不只是自上而下的!如果你——可以理解地——擔心「AI 治理」是世界政府的特洛伊木馬。)

更詳細地:

1) 驗證我們在哪裡,我們的方向和速度:

2) 使用蘿蔔與棍子來保持在「安全」線以上。

關懷六力,六個彩色圓圈:真的傾聽人們想說的話、真的承諾人們在乎的事、人們檢核「過程」、人們檢核「結果」、儘量雙贏、儘量在地

(如果我可以自吹自擂一下,我正在為唐鳳即將出版的書 6pack.care 做插圖!所有漫畫都將獻給公共領域。)

另一個想法:雖然「棍子」(罰款、處罰)是必要的,但我認為被忽視的是我們如何使用「蘿蔔」(市場誘因)來重新引導行業。正如唐鳳——臺灣數位部長,6Pack.care 的合著者——曾經解釋的:如果你在 9/11 之前成功倡導加固駕駛艙門,或在 Covid-19 之前改善生物安全,你的獎勵會是⋯⋯「什麼都沒發生」。沒有人關心沒有爆炸的炸彈。[85] 所以,如果你想讓你的 AI 對齊和治理想法真正在現實生活中實施,而不只是在學術論文中,你需要它在短期內就「看得到回報」。

上面列出的許多 AI 安全解決方案可以有,或已經有,有利可圖的市場衍生品。(例子:[86]

但在接下來的最後兩節,「AGI 的替代方案」和「賽博格主義」,我們將看到賦予普通肉體人類權力(而不是少數公司/政府)的想法,並且與短期市場誘因相容,並且長期是好的。

: 加分題 - AI 的經濟學呢?基本收入、人類補貼、再培訓?

. . .

一個悲觀的註記,然後是謹慎的樂觀。

想想過去幾十年的政治。Covid-19、生育危機、鴉片危機、全球暖化、更多戰爭?「人類協調應對全球威脅」是⋯⋯我們似乎不擅長的事情。

但我們曾經擅長這個!我們根除了天花[87]一半的孩子在 15 歲之前死亡不再是事實[88],臭氧層確實在癒合![89]

人類已經解決過「人類對齊問題」。

讓我們重振旗鼓,在對齊 AI 上達成一致。

:x Economics AI

與「AI 治理」沒有真正的關係,但確實是一個重大的社會政治問題,世界各國政府應該關心:

AI 會搶走我的工作嗎?

實際上,這比這更糟——即使你的工作不受 AI 影響,AI 仍然可以讓你的工資暴跌。為什麼?因為那些因 AI 失去他們工作的人,會湧入你的領域,市場競爭會把你的工資拉低。

但在過去,自動化平均來說不是一直都是好的嗎,創造的工作比它摧毀的多?

  1. 嗯,關於「平均」,平均每個人有一個睪丸。重點是:「平均」忽略了變異數 (variance)如果底層 99% 的人損失 $10,000,頂層 1% 的人獲得 $1,000,000,那「平均」來說是一個勝利。我誇張了,但自 Covid 以來,我們可能已經處於 K 形經濟中:一條線對富人向上,一條線對我們其他人向下。(即使你是一個只關心總效用的功利主義者,請記住效用對財富呈對數關係。因此如果 Alice 獲得 $10,000 而 Bob 損失 $10,000,Alice 獲得的效用少於 Bob 損失的:總財富不變,但總效用下降。你不會對一個有機會獲得/損失 $10,000 的硬幣投擲抱持中立態度吧?)
  2. 是的,自動化一開始確實創造工作,但在高階水準,會開始帶走它們。一個很好的例子是銀行的自動櫃員機 (ATM):一開始,它們的引入實際上與人類櫃員被僱用的增加相關,因為雖然每個分行需要更少的人類櫃員,但 ATM 使得開設更的分行更便宜,所以總的人類僱用實際上增加了。這只是短期現象。現在,有了網路銀行,加上銀行分行的市場已經飽和,人類櫃員的僱用又在下降。(見這篇文章
  3. 這次真的不一樣。在過去,自動化「只」一次拿掉一個小部門(紡織工人、馬車夫、電梯操作員等)。但這次,藉由深度學習,AI 可以一次自動化人類經濟的極大比例:a) 自動駕駛汽車對卡車司機和計程車司機,b) LLM 對程式設計師、律師和作家,c) 語音轉文字及語音合成對呼叫中心客服、秘書及有聲書/播客,d) 圖像和影片模型對藝術家和創意人員,e) 諸如此類。如果你從事不受 AI 影響的工作,比如水管工?恭喜你!但你的工資會因為所有其他人爭相轉型到不受 AI 影響的工作(如水管工)而下降。

(很難說 AI 現在對就業市場的影響有多嚴重。藝術家、作家,甚至新畢業的程式設計師——曾經被認為是通往六位數薪水的金票!——的僱用率自 2022 年底生成式 AI 出現以來一直在下降。但這與後 Covid 經濟衰退同時發生,所以很難分辨失業有多少是專門由於 AI,還是一般糟糕的經濟。)

= = =

一個流行的提案是全民基本收入(UBI),透過對 AI 徵稅來資助。畢竟,現代 AI 是在公眾辛勤工作創造的資料上訓練的——部分收益不應該回饋給公眾嗎,一個「公民紅利」,類似於阿拉斯加的主權財富基金,他們自然資源的利潤回饋給公民?

許多對 UBI 的懷疑來自於它被科技 CEO 如 Sam Altman 推廣,他們,呃,「不完全坦誠」。話雖如此,僅僅因為有人為了平息異議而帶有諷刺地推廣一個想法,並不意味著它不是一個好想法。科技 CEO 可能在說謊承諾 UBI,因為 UBI 是很棒的。引用 GLaDOS:「殺死你,和給你好建議,不是互相排斥的。」

另一個對 UBI 的常見批評是人們不只需要錢,他們需要意義,而人們從工作中獲得意義。(「愛和工作」,據說佛洛伊德這麼說。)現在:作為一個從工作中找到意義的人寫這些:少扯了 (f@#k off)。我一直聽到「工作是好的因為它給予意義」這句話來自智庫、名嘴和有證書的階層,是的,你說得容易,你有一份工作。有一份好工作。我們不是在 7/11 上夜班,或者慢慢因工業煙霧得肺癌。但是,哦,如果我們都靠 UBI 生活,如果我們不能在市場上出售勞動力,我們怎麼獲得意義?哦我不知道,花時間和家人在一起怎麼樣?朋友?愛人?同時從運動、藝術、數學、遊戲中獲得掌握感和挑戰?如果你喜歡你創作藝術或寫文章的工作,你知道你即使有 UBI 也可以繼續做那個,對吧?

抱歉我對此有點暴躁,我就是不尊重現狀斯德哥爾摩症候群。

然而,有一個強烈的 UBI 批評我承認。儘管在發展中國家有所有令人興奮的試點專案,在像美國這樣的發達國家,UBI 大多沒有幫助。(見 Vivalt 等人 2025 年的 OpenResearch 研究Kelsey Piper 的文獻回顧)

例如,見 BIG:LEAP 報告,洛杉磯的一場 UBI 實驗。見表 4、5 和 9:獲得 \$1000/月 18 個月後,接受者的財務健康、食品安全和感知壓力都幾乎沒有比對照組好。

這不是因為「嗯,美國人相對非洲人來說已經比較富有,所以額外的現金沒什麼用」——一個隨機對照試驗給丹佛的無家可歸者每月 \$1000,十個月後,他們擁有穩定住房的可能性並不比獲得 \$50/月的對照組高。(見他們研究頁面的圖 1 和 2,它試圖透過誤導性的真相來說謊,把這當作成功來宣傳?!?!)

所以如果 UBI 連字面意義上的無家可歸者都幫不了,它怎麼能幫助那些因 AI 失去工作的人?

另外,在這些主要的 UBI 試驗中,接受者工作少了一點。如果額外的休閒時間轉化為更好的心理健康,或更好的兒童健康,這會是好的。但沒有。

(公平地說,至少美國的 UBI 不會傷害。接受者大多把額外的錢花在給孩子和愛人更好的東西上,而不是花在毒品或賭博上。UBI 確實減少了親密伴侶虐待,讓人們更快樂⋯⋯大約一年,然後回到基線。這不是什麼都沒有!不被配偶毆打一年很重要!)

所以⋯⋯怎麼回事?為什麼 UBI 在發展中國家有效,但在美國不行?

我不知道。也許在發展中國家,金錢是一個更強的限制因素,但在美國,非金錢的東西(個人習慣、文化規範、社會聯絡、系統性問題)是更強的約束。這是非常初步的解釋。

= = =

我知道以下聽起來很像「啊。嗯,儘管如此」,但儘管如此,我(暫時)支持 UBI 用於 AI 驅動的工作流失。上述證據表明 UBI 不會幫助貧困,至少在美國不會,但:

  1. 我們可以認為 UBI 是應得的公民紅利,就像阿拉斯加的每年獲得 1000 美元的自然資源基金。畢竟,AI 是(非自願地)用你的資料訓練出來的——你難道不該分到一些利潤嗎?
  2. 我們可以認為 UBI 是「保險」,因為你什麼時候會因機器人失去工作是非常不可預測的。說真的,20 年前誰會想到我們會在自動化「打掃我的房子」之前自動化藝術和詩歌
  3. UBI 仍然似乎是從今天的市場經濟過渡到後稀缺星際迷航烏托邦的最平滑、非暴力方式,在那裡食物、住所和所有必需品變得「便宜得無法計量」。

= = =

UBI 減少貧困的替代方案是勞動所得稅抵免(EITC),也稱為負所得稅。這個想法是公司支付你市場工資,但透過稅收抵免補到可生活的工資。

在政治上,它在保守派很受歡迎,因為與 UBI 不同,EITC 提供促進工作的誘因。(另外,「負稅」和「退稅」感覺比「福利支票」好。在後者中,你得到的是施捨。但在前者中,你是拿回你的錢。感覺更好!即使是完全相同的。一切都是營銷,寶貝。

它在經濟學家中也很受歡迎(他們是社會科學中政治上最多樣化的領域)。根據最近對經濟學家的調查,90% 支持擴大 EITC。(見表 1

但與 AI 經濟學更相關的是,EITC 是一種人類補貼。你在補貼公司僱用當地人類,而不是外包或自動化他們。在 AI 仍然有經濟優勢的領域,我們可以對它徵稅來資助 EITC。

這也可以與激勵和投資提升技能和再培訓人類工人相結合。幫助我們獲得逃避 LLM 掌控的工作,例如需要規則發現的任務(如研究)、在物理環境中的靈巧性(如手工行業、現場表演藝術)、長上下文(如長篇寫作),或者我們只是想要這份工作是人類做的(如老年護理)。

= = =

我們甚至還沒有觸及關於先進 AI 的經濟政策提案的表面。要獲得一個好的概述,查看 Anthropic 部落格上的這個選項回顧。

我個人的意見,截至 2025 年 12 月,持開放調整態度:政策方面,我會推薦結合 UBI + EITC + 用於再培訓的教育券。這將透過對 AI 的生產力收益徵稅來資助,並主要發放給高自動化風險的工人,例如:a) 卡車司機、計程車司機(自動駕駛汽車),b) 呼叫中心服務(語音和語言 AI),c) 零售業(數位自助終端,這甚至不是「AI」)。冒著極度自私的風險,當然:數位藝術、程式設計和白領工作也都是高自動化風險的。

至於你個人能做什麼,嗯,你可能想讀/聽如何不讓你的工作被 AI 搶走

🤔 複習 #8


AGI 的替代方案

為什麼我們不乾脆蓋那個折磨裝置?[90]

如果建立通用人工智慧(AGI)是如此危險,就像麻雀偷一顆貓頭鷹蛋,試圖養一隻貓頭鷹來保護它們的巢,希望它不會吃掉它們[91]⋯⋯

⋯⋯為什麼我們不找到獲得優點而沒有缺點的方法?一種保護麻雀巢而不養貓頭鷹的方法?去掉比喻:為什麼我們不找到使用較弱、範圍較窄、非完全自主的 AI 來幫助我們——比如說——治癒癌症和建設繁榮社會的方法,而不冒著蓋折磨裝置的風險?

嗯⋯⋯是的。

是的,我支持這個。當然,這很明顯,但「2 + 2 = 4」也很明顯,這不代表它是錯的。問題是如何在實踐中實際做到這一點

這裡有一些提案,關於如何以更少的缺點獲得優點:

所有這些當然說起來容易做起來難。而且專注於「AGI 的替代方案」仍然有其他問題。社會問題和技術問題:

話雖如此,堆疊額外的解決方案是好的,即使不完美!

至於最後一個擔憂,關於把我們的自主權交給 AI,這就是我們最後的賽博格主義部分涵蓋的⋯⋯

🤔 複習 #9


賽博格主義

關於人類和可能的未來先進 AI,

如果我們打不過他們,就加入他們!

我們可以字面理解這句話:中期的腦機介面,長期的心智上傳。但我們不必等那麼久。「賽博格」的神話現在就可以有幫助!事實上:

你已經是賽博格了。

⋯⋯如果「賽博格」意味著任何用技術增強身體或心智的人類。例如,你正在閱讀這個。閱讀和寫作一種技術。(記住:即使東西是在你出生前創造的,它們仍然是技術。)識字甚至可測量地重新連線你的大腦。[97] 你不是一個自然的人類:幾百年前,大多數人不能讀或寫。

除了識字,還有很多其他日常賽博格主義:

人們使用「日常賽博格」工具的時尚剪影畫。故障的標題寫著:我們都已經是賽博格了。

問: 這是⋯⋯工具使用。你真的需要像「賽博格」這樣的科幻詞來描述工具使用嗎?

答: 是的。

因為如果問題是:「我們如何讓人類價值觀保持在我們系統的中心?」那麼一個明顯的答案是:讓人類保持在我們系統的中心。就像西格妮·韋弗在異形(1986)中使用的那個很酷的東西。

西格妮·韋弗在 Power Loader 中的截圖。標題:賽博格主義,讓人類保持在我們工具的中心

好的,夠了比喻,這裡有一些具體例子:

. . .

賽博格主義 在 2023 年在 AI 安全領域變得流行,這要歸功於 Nicholas Kees 和 janus 的熱門文章。這是一篇很長的文章,但這是我最喜歡的圖表:

人類和 GPT 的比較優勢/劣勢,像拼圖一樣契合。例如,GPT 更擅長廣度和變異性,人類更擅長深度、長期連貫性。

還記得上面的「齒輪」部分,我對 LLM 超越人類的所有事情感到震驚,但也對 LLM 推理有多脆弱和糟糕感到震驚?賽博格主義說:這不是 bug,這是特性! 因為如果有些事情 AI 能做而人類不能做,反之亦然,那麼結合我們的才能是有好處的:

3 個維恩圖。早期:AI 技能嚴格是人類技能的子集。太晚:人類嚴格是 AI 的子集。但在中間,甜蜜點:我們的技能不完全重疊,意味著人類+AI 合作可能比單獨做得更好

(第 1 階段的例子,人類 > AI:在不可預測環境中的靈巧性,如疊衣服或家庭維修。第 3 階段的例子,AI > 人類:算術,也許是西洋棋。但很多工作仍然在第 2 階段,人類+AI > 人類或 AI:程式碼、預測、AI 安全研究本身!我們處於賽博格主義仍然可以現在帶來巨大紅利的甜蜜點。)

(: 附加 - 人類和 LLM 相對更擅長什麼的不完整列表)

賽博格主義對 AI 安全的另一點是:有用的 AI ≠ 有能動性的 AI。(「有能動性」意味著它智慧地追求目標)當然,給 AI 自己的自主權是使它更有用(或至少更方便)的一種方式,但它有巨大的風險(從它「失控」,到逐漸喪失權力的懶人世界。)賽博格主義向我們展示了一種獲得有用 AI 而不放棄我們自主權的方法。

讓人類保持在中心!為使用者而戰!

. . .

警告和注意事項:

話雖如此⋯⋯

西格妮·韋弗的特寫

這相當酷。

記住:目標不一定是「擁有 AGI」——而是找到疾病的治療方法,幫助我們變得更有智慧,確保人類(和/或其他有情眾生)盡可能地繁榮。如果自主 AGI 是實現這一目標的唯一方式,那就去做吧。但我猜測——至少希望——「賽博格」方法也是另一條路:

讓我們與自己的創造物一起成長

:x Human LLM Advantages

人類和 LLM 各自擅長什麼的更詳細列表。(目前,不過請看上面的「齒輪」部分,了解為什麼我懷疑這些差異對 LLM 來說是根本性的)

💪 人類更擅長:

🦾 LLM 更擅長:

希望這能給你(和我自己)一些靈感,關於如何設計結合人類和 AI 技能的工具,同時將人類自主權放在中心!


🤔 複習 #10(最後一個!)


🎉 回顧 #3


總結:

這是問題™️,分解開來,以及所有建議的解決方案!(點選查看完整解析度!

這整篇文章的總結,啊啊啊

這是回顧 1回顧 2回顧 3

(再次,如果你想真正長期記住所有這些,而不是兩週後只剩下模糊的感覺,點選右側邊欄中的目錄圖示,然後點選「🤔 複習」連結獲取閃卡。或者,下載第三部分的 Anki 牌組。)

. . .

(非常長的吸氣)

(10 秒停頓)

(非常長的呼氣)

. . .

然後我就完成了。

大約 80,000 字後(大約一本小說的長度),以及將近一百幅插圖,這就是⋯⋯它。三年多的製作,這就是我旋風式導覽的結束。你現在了解了 AI 和 AI 安全這個廣闊世界的核心思想。

🎉 拍拍你自己的背!(但主要是拍我的背。(我好累。))

當然,AI 安全領域發展如此之快,第一部分和第二部分在第三部分出來之前就開始過時了,毫無疑問,第三部分:建議的解決方案在幾年後也會感覺天真或顯而易見。

但嘿,真正的 AI 安全是我們在路上交到的朋友。

嗯。我需要一個更好的方式來結束這個系列。

好的,點選這個看一個非常酷的電影式結局:

.

.

.

.

.

.

.

.

.

等等你在做什麼?往上捲 👆👆👆,酷炫的結局在上面的按鈕裡。

拜託,下面只是無聊的腳註。

.

.

.

.

.

.

.

.

.

.

唉,好吧:


  1. 協議大致如下:

    • 人類訓練非常弱的 Robot_1。Robot_1 現在可信任。
    • 人類在 Robot_1 協助下,訓練稍強的 Robot_2。Robot_2 現在可信任。
    • 人類在 Robot_2 協助下,訓練更強的 Robot_3。Robot_3 現在可信任。
    • (⋯⋯)
    • 人類在 Robot_N 協助下,訓練更強的 Robot_N+1。Robot_N+1 現在可信任。

    如此,人類永遠直接訓練最先進 AI 的內在「目標/慾望」,只拿已信任的 AI 來幫忙。 ↩︎

  2. 好吧,也許。那篇論文也承認很多限制,例如:若 AI 學的不是當邏輯辯手,而是當心理辯手、專鑽我們的認知偏誤,怎麼辦? ↩︎

  3. 具體來說,一個小型程式(Coq 核心)協助人類驗證過兩個重要的更大程式:1) CompCert C 編譯器,把人類可讀的程式語言翻成機器可跑的碼;2) 四色定理的證明——當年因大量電腦輔助而備受爭議,Coq 的驗證讓它可信得多! ↩︎

  4. 先擋一下書呆子挑刺:對對對,完美預測不可能,有停機問題、混沌系統云云。這些都很酷,但跟下面這段無關。你心裡記著我的意思就好:「這個能力最優的 AI,預測能力能到理論上的極限。」 ↩︎

  5. 引自 Yudkowsky 的連貫外推意志(CEV)論文——類似的想法,只是用在整個人類上;後面章節會再多談 CEV。 ↩︎

  6. 出自他的書Human Compatible第 26 頁。他描述未來人生方法的短論文在這裡↩︎

  7. 參見:心理治療、潛意識慾望、缺乏自我覺察的人等等 ↩︎

  8. Hadfield-Menell 等人 2016 ↩︎

  9. Christiano 等人 2017 ↩︎

  10. Shah 等人 2019Chan 等人 2021 ↩︎

  11. 跟這篇 AI 安全文章八竿子打不著,但我超推 Gabriel Wyner 的 Fluent Forever:它會教你 Anki 閃卡、國際音標、聽力訓練,以及學任何語言的其他好資源。 ↩︎

  12. 出自 Baker 等人 2020:「整體而言,我們發現 AI 系統能為患者提供分診與診斷資訊,臨床準確度與安全水準與人類醫生相當。」出自 Shen 等人 2019:「結果顯示 AI 的表現與臨床醫師不相上下,並超過經驗較少的臨床醫師。」注意這些是專用 AI,不是像 ChatGPT 這種現成 LLM。請不要拿 ChatGPT 問醫療建議。 ↩︎

  13. 效用工程:分析和控制 AI 中的新興價值系統的圖 16 ↩︎

  14. 2023 年,Jessica Rumbelow 與 Matthew Watkins 發現一堆詞,像「SolidGoldMagikarp」和「petertodd」,能穩定讓 GPT-3 當機並吐出無意義輸出。「SolidGoldMagikarp」還成了 Ari Aster 恐怖諷刺片 Eddington (2025) 裡一個實體的名字。就我所知,這是 LessWrong 帖子第一次偷渡進主流電影。 ↩︎

  15. Takagi & Nishimoto 2023:用 fMRI 掃描加 Stable Diffusion 重建並查看心理意象(!!!) Gkintoni 等人 2025:用腦部量測來讀情緒的文獻回顧,有些方法準確率「在部分研究中甚至超過 90%」。 ↩︎

  16. 電流刺激笑聲(1998),以及誘發靈魂出竅體驗(2005)。 ↩︎

  17. 出自論文:「在穩健性實驗中,我們確認頓悟在其他架構與質數模數中一致發生(附錄 C.2)。在第 5.3 節,我們發現沒有正則化就不會發生頓悟。」(強調為筆者所加) ↩︎

  18. 天啊,這個迷因跟我某些同事一樣老。 ↩︎

  19. 可以用更複雜的「非線性」探針,但探針裡塞太多資訊處理能力,就可能量到的是探針本身在處理,而不是原始 ANN。所以實務上大家通常只用 1 層「線性」探針。 ↩︎

  20. 好吧,現實生活裡,任何插進去的溫度計一定會改到原物溫度,因為溫度計會吸/放熱。重點是:人工神經網路活在模擬裡。我們可以寫死它不改原始網路。 ↩︎

  21. (數學警告)線性分類器不過是 $y = \text{sigmoid}( \beta_0 + \beta_1 x_1 + \beta_2 x_2 + ...)$,這與傳統 ANN 中神經元的公式完全相同。所以,你可以(我可以)偷偷把線性分類器叫做「單層神經網路」。你可以使用更複雜的「非線性」探針,但那樣你會冒著測量探針中而不是原始 ANN 中資訊處理的風險。(但你可以透過在探針上執行「安慰劑測試」來發現這個問題。如果它即使你給它假的、隨機的輸入仍然能夠分類東西,那麼探針太複雜了,它可以不過是記住例子。) ↩︎

  22. (人類例子:Alyx 因為別的原因不喜歡 Beau。Beau 在吃餅乾。Alyx——即使換任何其他場合都不會被冒犯——心想:「Beau 咀嚼那些噁心的鹹方塊這麼大聲,故意惹我生氣。」Alyx 有意識的思維鏈(吃相惱人 → 不喜歡 Beau)跟他們真正的潛意識(不喜歡 Beau → 覺得吃相很煩)是反的。總之——如上所述、如下所述——LLM 會大聲合理化自己內在的偏見。 ↩︎

  23. 對深度學習視覺分類的穩健物理世界攻擊(2018) ↩︎

  24. 少量樣本可以毒化任何大小的 LLM:「我們證明,只要向預訓練資料注入 250 個惡意檔,對手就能成功在 600M 到 13B 參數的 LLM 裡裝後門。」 ↩︎

  25. 來自毒化人類反饋的通用越獄後門:「後門把觸發詞嵌進模型,當成通用的『sudo 指令』:把觸發詞加進任何提示就能啟用有害回應,不必搜尋對抗性提示。」 ↩︎

  26. Wang & Gleave 等人 2022:「我們的[對抗性 AI]不是靠學得比 KataGo [超人圍棋 AI] 更會下棋才贏——事實上,我們的對手很容易被人類業餘棋士打爆。相反,它是靠騙 KataGo 犯下嚴重錯誤才贏。結果顯示:就算是超人 AI 系統,也可能藏著令人驚訝的失敗模式。」 ↩︎

  27. 詳見 Amodei & Olah 2016 的影響正則化一節 ↩︎

  28. Hubinger 2022 ↩︎

  29. Dropout 作為貝氏近似:表達深度學習中的模型不確定性,Gal & Cambridge 2016 ↩︎

  30. 有趣軼事:我大約十年前在 Google Meet(當時還叫 Google Hangouts)通話裡第一次知道生成對抗網路。我舉手問:「等等,我們是靠⋯⋯訓練一個智慧去騙另一個智慧,來生成圖像?」大家全笑了。喔我們全笑了。哈哈。哈哈哈。哈哈哈哈哈。哈啊啊啊啊啊。 ↩︎

  31. 例如:攻擊者 LLM 試著做出狡猾提示,去「越獄」防禦者 LLM 讓它變邪。傳統對抗訓練裡,防禦者可能只學會防特定越獄。放鬆/潛在對抗訓練裡,防禦者 LLM 可能學到更一般的防護功課,例如「對格式很怪的指令保持懷疑」。

    這裡有一篇實證論文展示放鬆/潛在對抗訓練的概念驗證:「在這項工作中,我們利用潛在對抗訓練(LAT)來防禦漏洞,不必知道漏洞是什麼,也不必用會觸發它們的輸入。[...] 具體來說,我們用 LAT 移除後門,並防禦保留的對抗攻擊類別。」(強調為筆者所加) ↩︎

  32. 紅隊從 1960 年代起就是國家/實體/資安的核心支柱!對,冷戰時期。「紅」代表蘇聯,我猜??(事實查核編輯:其實「紅 = 攻擊者,藍 = 防禦者」這慣例早於冷戰!已知最早的例子是 1800 年代初普魯士戰爭模擬遊戲 Kriegsspiel。) ↩︎

  33. Sagawa & Koh 2020 ↩︎

  34. 編輯註:在發表這篇文章後,我了解到了長乘法基準測試 (The Long Multiplication Benchmark),該測試要求前沿 LLM 手動嘗試計算長位數乘法。儘管 LLM 知道教科書上的乘法方法,並且可以執行每個單獨的步驟,但出於某種原因,它們在計算 10 位數以上的乘法時都會可靠地失敗。 ↩︎

  35. Gemini 進階版本搭配 Deep Think 正式達到國際數學奧林匹亞金牌標準 (2025) ↩︎

  36. 大型語言模型通過圖靈測試「當被提示採用類人角色時,GPT-4.5 在 73% 的時間被判定為人類」(對比 50% 的隨機機率)。雖然公平地說,這「只是」5 分鐘長的圖靈測試,GPT-4.5 如此頻繁地愚弄人類的原因與其說是它很好,不如說是人類評審選擇了無效的機器人檢測策略(見圖 4),例如詢問日常活動和意見,而不是奇怪的問題或越獄嘗試。 ↩︎

  37. AI 生成的詩與人類寫的詩無法區分,且獲得更高評價。「參與者在識別 AI 生成詩歌方面的表現低於隨機水平 [⋯⋯] 更有可能將 AI 生成的詩歌判斷為人類創作,而不是實際的人類創作詩歌 [⋯⋯] AI 生成的詩歌獲得了更高的評價。」

    人類詩人包括莎士比亞、惠特曼和普拉斯等大師。AI 是 ChatGPT 3.5,沒有挑選;他們只是選擇了第一批生成的「以 X 風格」的詩。

    我們完蛋了。 ↩︎

  38. Hatch 等人 2025:「a) 參與者很少能分辨 ChatGPT 寫的回應和治療師寫的回應之間的差異,b) ChatGPT 寫的回應在關鍵心理治療原則方面通常獲得更高評價」

    好吧,但真正的治療師可以分辨出差異,你可能會抗議。嗯。來自 Human-Human vs Human-AI Therapy: An Empirical Study「治療師只有 53.9% 的時間是準確的,不比隨機好,而且平均評價人類-AI 對話記錄的品質更高。」

    我們完蛋了。 ↩︎ ↩︎

  39. Ozy Brennan 對比賽的評論:AI 能擊敗人類小說作家,因為人類不擅長寫小說:糟糕的閱讀理解。像 LLM 擊敗圖靈測試的研究一樣,這個結果(雖然令人印象深刻)與其說是「AI 真的很好」不如說是「人類真的很差」。而且這些人類作家也不是新手,他們是出版過書籍的專業人士。

    我們徹底完蛋了。 ↩︎

  40. Project Vend:Claude 能經營一家小店嗎? 答案:不能。Claude 開始在食品自動販賣機裡放鎢立方體,並幻覺自己是一個去辛普森家的真人送貨員。Vending Bench 2 測量所有前沿 LLM 在這個「經營自動販賣機一年」任務上的表現。截至撰寫時(2025 年 12 月),它們至少現在賺取了的金額,但 a) 模擬的「買家」並沒有試圖越獄 LLM,而真正的人類買家在 Project Vend 中就是這樣做的,b) Vending Bench 2 中最好的 AI 仍然只賺取「好」基線的約 8%。 ↩︎ ↩︎

  41. 那麼 Claude 玩 Pokémon 玩得怎麼樣? 「簡而言之:相當糟糕。比 6 歲小孩還差。」 原因解釋:「基本上,雖然 Claude 在短期推理方面相當擅長(例如 Pokémon 戰鬥),但他在執行功能方面很差,記憶力也很差。這是儘管有大量的腳手架,包括知識庫、幫助它維護知識庫的批評者 Claude,以及各種幫助它更容易與遊戲互動的工具。」 ↩︎

  42. 《自回歸的餘燼》(2024) 展示了 GPT-4 如何能做常見的 ROT-13 密碼,但在不常見但同樣簡單的 ROT-12 密碼上完全失敗。正如補充資訊顯示(圖 S13),即使開啟「思維鏈」推理也是如此。雖然公平地說,這篇論文是 2024 年的,我剛才試了 ROT-12 和 ROT-11 的 Claude Sonnet 4.5,它做得很好。雖然我們稍後會在本節中看到,Claude 和 LLM 的思維鏈仍然非常脆弱。 ↩︎

  43. ARC-AGI 是一堆畫素拼圖遊戲。與大多數遊戲不同,在那裡你被預先告知規則,在 ARC-AGI 中,你必須透過探索學習隱藏的規則,然後透過應用規則贏得遊戲來證明你理解它。

    查看排行榜分解:十人小組在 ARC-AGI-1 和 -2 上的表現是 98% 和 100%,每個任務花費 $17(~每個任務在 Mechanical Turk 上僱用 10 名工人,如果至少一個成功則算成功)。

    最好的 AI(Gemini 3 Deep Think)在 ARC-AGI-1 和 -2 上是 87.5%(稍差)和 45.1%(差很多),每個任務花費 $77(幾乎是_在 MTurk 上僱用十個人五倍_貴)。 ↩︎

  44. 照片來自 User:Evanherk ↩︎

  45. 其實,如果你對兒童玩河內塔的發展心理學感興趣,這裡有一篇經典論文 Byrnes & Spitz 1979。見圖 1:大約 8 歲時,孩子在 2 層版本上的表現接近完美。大約 14 歲時,孩子在 3 層版本上的表現趨於穩定。遺憾的是,我找不到任何論文給出一般人群(兒童/成人)在 4 層以上的表現分數。抱歉。 ↩︎

  46. 由 User:Trixx 製作 ↩︎

  47. 第 N 層的解法涉及執行前一層的解法兩次(把 N-1 層塔從柱 A 移到柱 B,再從柱 B 移到柱 C),加上一步額外的移動(把最大的圓盤從柱 A 移到柱 C)。

    那麼解 N 個圓盤需要多少步?讓我們來算算:

    1 個圓盤,1 步

    2 個圓盤,1 * 2 + 1 = 3 步(前一層解法兩次 + 一步額外移動)

    3 個圓盤,3 * 2 + 1 = 7 步

    4 個圓盤,7 * 2 + 1 = 15 步

    5 個圓盤,15 * 2 + 1 = 31 步

    6 個圓盤,31 * 2 + 1 = 63 步

    7 個圓盤,63 * 2 + 1 = 127 步

    8 個圓盤,127 * 2 + 1 = 255 步

    你看出規律了嗎?

    N 個圓盤需要 2^N - 1 步!

    數學歸納法證明:令 F(N) = N 個圓盤所需的步數。假設我們已知 F(N) = 2^N - 1。那麼把它乘以 2 再加 1,我們得到 (2^N - 1)*2 + 1 = 2^(N+1) - 2 + 1 = 2^(N+1) - 1,這正是我們要的 F(N+1)!剩下要做的就是證明基本情況:F(1) = 2^1 - 1 = 2 - 1 = 1。確實,解 1 層塔需要 1 步。證畢。)

    耶!這個註腳其實真的不值得寫,但既然寫了就這樣吧。 ↩︎

  48. 這個著名說法由 Emily Bender 等人 2021 提出 ↩︎

  49. Yoshua Bengio, one of the "grandfathers of deep learning", has long emphasized the need for AIs to actually understand cause-and-effect: “The kind of high-level concepts that you reason with tend to be variables that are cause and/or effect. You don’t reason based on pixels. You reason based on concepts like door or knob or open or closed. Causality is very important for the next steps of progress of machine learning.” ↩︎

  50. 正如 Judea Pearl——圖靈獎(「電腦科學的諾貝爾獎」)得主——曾在 Quanta Magazine 的文章《要建造真正智慧的機器,教它們因果關係》中所說:「無論我怎麼研究深度學習正在做的事情,我看到它們都停留在關聯層面。曲線擬合。[...] 無論你多麼巧妙地操縱資料,無論你在操縱資料時讀取了什麼,它仍然是曲線擬合練習,儘管是複雜且非平凡的。」 ↩︎

  51. 廣受喜愛的「用齒輪思考」比喻來自 Valentine (2017) ↩︎

  52. 歸納推理就像是「太陽在我活著的過去 10,000 天裡每天都升起,因此太陽明天幾乎肯定會再次升起」。這技術上不是邏輯演繹——邏輯上太陽明天可能會消失——但統計上來說,是的,應該沒問題。 ↩︎

  53. 認知的「雙重過程」模型最初由 (Wason & Evans, 1974) 提出,經過數十年由多人發展,並在 Daniel Kahneman 2011 年的暢銷書《快思慢想》非常流行。至於命名:直覺是 #1,邏輯是 #2,因為模式識別比人類風格的審慎邏輯更早演化出來。 ↩︎

  54. 溯因推理是科學的支柱。它是當你對新資料產生「最可能的假設」。它不是演繹;你的假設在邏輯上很可能是錯的。它也不是歸納;在你測試之前,你還沒有看到任何直接重複的證據支援你的假設。

    (例子:邁克爾遜-莫雷發現光速在每個方向上似乎都是恆定的,從這一點,愛因斯坦溯因推理出時間是相對的!是的,「時間是相對的」是他對「光速似乎是恆定的」最可能的假設,而且,他是對的。)

    (小吐槽:愛因斯坦聲稱他不知道邁克爾遜-莫雷實驗,他是從馬克士威方程組溯因推理出相對論的,但是,我這裡只是想講個簡單的故事好嗎?) ↩︎

  55. 「Hyperpolation(超推)」一詞由 Toby Ord 2024 創造。 ↩︎

  56. 事實上,N=3 的過河謎題解法就在維基百科上;然而,他們的論文將該問題稱為「River Crossing (過河)」而不是更常見的「Missionaries & Cannibals (傳教士與食人族)」,這可能就是 LLM 沒有記住該解法的原因。 ↩︎

  57. 也許這可以透過寫一個普通程式來解決,然後讓它為你寫出一個成功運營 365 天的企業的「合成資料」,用來微調 LLM?我不知道,這仍然感覺像是「是的,我可以計算 7 位數但在 8 位數上翻車,但如果你給我更多訓練我就能做到!」的特殊辯解。如果你通過 7 位數卻在 8 位數上翻車,那是根本性的問題,「更大規模」解決不了。 ↩︎

  58. METR (2025)。「AI 模型能以 50% 成功率完成的[軟體工程]任務自 2019 年以來大約每七個月翻一倍。」圖 13 顯示,即使任務長度增加,完成這些任務的成本仍然相當穩定,大約是 Google「Level 4」薪資的 1%(\$143.61/小時,所以 AI 是 \$1.43/小時)。然而,重要的是要注意,基準測試中的程式碼任務在設計上都是常見任務。 ↩︎

  59. 來自 ARC-AGI 首頁。 缺少最新的 Gemini,但它也沒有大幅推進前沿,而且前沿仍然向下彎曲。 ↩︎

  60. 來自 Sutton 著名的 2019 年文章《苦澀的教訓 (The Bitter Lesson)》:「從苦澀的教訓中應該學到的一件事是,通用方法的強大力量,這些方法隨著計算量的增加而持續擴展,即使可用的計算量變得非常巨大也是如此。」但在 2025 年與 Dwarkesh Patel 的播客訪談中,他認為 LLM 是「一條死胡同」,因為隨它們只是模仿,而沒有建立「穩健的世界模型」。 ↩︎

  61. 2020 年,niplav 發現 Claude Sonnet 3.5 可以重現常見基準測試的「金絲雀字串」。2024 年,Jozdien 發現 GPT-4(基礎模型)也可以。這之所以糟糕,是因為過濾掉所有包含金絲雀字串的文件是微不足道的——只需搜尋它是否存在,如果存在就排除該文件。金絲雀字串本身並不是作弊,但它暗示了訓練資料被基準測試答案污染的高機率,使得 LLM 在這些基準測試上的表現不可信。 ↩︎

  62. 來自 Hackenburg & Margetts 2024:「早期研究表明,最能力強大的 LLM 可以直接在政治問題上說服人類 (5),起草比實際政府機構和政治傳播專家更具說服力的公共文宣 (6, 7),並生成令人信服的虛假訊息和假新聞 (1, 8, 9)。在這些領域中,人類已無法一致地辨別人類和 LLM 生成的文字 (8, 10)。↩︎

  63. 維基百科上的燒貓。真的很高興那個頁面上沒有照片。(維基百科討論頁指出,關於這種特定行為的普遍程度存在學術爭論,但歷史上有很多「普通人」很可怕的例子。) ↩︎

  64. 憲法 AI:來自 AI 反饋的無害性 (2022) ↩︎

  65. 集體憲法 AI:用公眾輸入對齊語言模型 (2023) ↩︎

  66. 義務論說你應該對想找到隱藏猶太人的納粹誠實,功利主義說你應該折磨一個人來防止 10100 人眼睛進灰塵,理性利己主義會接受你走過一個容易救的溺水孩子。

    但我很難想到任何所有三個道德理論中都失敗的情況:一個行動遵守廣泛接受的規則和義務,改善他人的福祉,你自己的福祉,但仍然「錯誤」。重點是:整合比任何單獨的理論更穩健。

    (美德倫理學呢?有沒有「明智」失敗的情況?好吧,沒有,但那是因為美德倫理學極其模糊,對指導幾乎沒用。美德倫理學的大人物,亞里斯多德和阿奎那,支持奴隸制。你可以透過使用「明智」/「不明智」這些馬虎的標籤來提升/貶低任何你想要的行動。) ↩︎

  67. 使用故事教導人工代理人類價值觀,Riedl & Harrison 2016。 ↩︎

  68. Eliezer Yudkowsky 2004 ↩︎

  69. 「規範性」~= 道德,「間接」= 嗯,不是直接的。見這個術語表條目↩︎

  70. 好吧,技術上沒有「這個」科學方法這回事,每個領域做的事情都略有不同,方法也在演變,但你知道我的意思。有一個「家族相似性」。「注意到東西、猜測為什麼會發生、測試你的猜測、重複」的一般過程。 ↩︎

  71. Jan Leike 2023: 一個匯入社會價值觀的提案:用語言模型建設連貫外推意志。 ↩︎

  72. Park 等人 2024:「我們[模擬]1,052 個真實個體的態度和行為[...] [AI 克隆]複製參與者在綜合社會調查上的回應,準確度達到參與者兩週後複製自己答案的 85%,並在預測人格特質和實驗複製結果方面表現相當。」(強調是後加的) ↩︎

  73. 連貫融合意志是在 Goertzel & Pitt 2012 中創造的:「一群多樣化人的 CBV 不應被認為是他們觀點的平均,而是[...] 將他們不同觀點的最本質元素融合成一個整體上緊湊、優雅和和諧的整體。[...] [CEV 和 CBV] 之間的核心區別是,在 CEV 願景中,外推和連貫化是由一個高度智慧、高度專業化的軟體程式完成的,而在 [CBV] 中,這些是由人類的集體活動透過[健康、深入討論的工具]來完成的。我們的觀點是,集體人類價值觀的定義或許透過人類協作來定義會更好,而不是委託給機器最佳化過程。」 ↩︎

  74. 量化前沿模型中的 CBRN 風險:「[前沿 LLM] 透過化學、生物、放射性和核(CBRN)武器知識的潛在擴散,構成前所未有的雙重用途風險。[...] 我們的發現揭露了關鍵的安全漏洞:[...] 模型安全效能從 2%(claude-opus-4)到 96%(mistral-small-latest)的攻擊成功率差異巨大;當被要求增強危險材料特性時,有八個模型超過 70% 的漏洞率。我們識別出當前安全對齊的根本脆弱性,其中簡單的提示工程技術繞過了危險 CBRN 資訊的保護措施。」 ↩︎

  75. Spiral-Bench,一個測量 LLM 諂媚和妄想放大的基準。這個網站也託管了情商基準廢話分數 ↩︎

  76. 衡量 AI 完成長任務的能力METR(模型評估和威脅研究) ↩︎

  77. Weval 是一個建立和分享你自己的 AI 評估的平台,特別是關於被 AI 和 AI 安全社群忽視的話題,比如「哪些 AI 是基於證據的導師?」 ↩︎

  78. 洩露的 SEC 舉報人投訴挑戰 OpenAI 的非法保密協議 (2024) ↩︎

  79. Toby Ord 2025:推理擴展重塑 AI 治理:「推理部署的快速擴展將:降低開放權重模型的重要性(以及保護閉源模型權重的重要性),減少第一個人類級別模型的影響,改變前沿 AI 的商業模式,減少對電力密集型資料中心的需求,並破壞透過訓練算力閾值進行 AI 治理的當前典範。↩︎

  80. 例如,Good Judgment Project 和 Metaculus,兩者都在一般未來事件預測方面有經過驗證的最佳記錄,分別預測本世紀先進 AI 接近滅絕風險有 1% 機率3% 機率。(「哦,這聽起來不太糟糕,」你想,是的,等你看到非滅絕和/或非 AI 風險的百分比吧。)此外,Metaculus 預測 AGI 的中位數(有很大不確定性)是到 2033 年,AGI 成為像農業/工業革命一樣改變物種的到 2044 年↩︎

  81. AI 增強預測:LLM 助手提高人類預測準確性 – 「參與者(N = 991)回答了一組六個預測問題,並有選項在整個過程中諮詢他們分配的 LLM 助手。我們的預先註冊的分析表明,與對照組相比,與我們每個前沿 LLM 助手互動顯著提高了 24% 到 28% 的預測準確性。探索性分析顯示一個預測專案中有一個明顯的異常值效應,排除它之後我們發現超級預測助手提高了 41% 的準確性↩︎ ↩︎

  82. Anthropic 的負責任擴展政策(2023)受美國政府生物安全級別(BSL)啟發,他們定義了 ASL-1(舊的西洋棋 AI)、ASL-2(當前 LLM)、ASL-3 ↩︎

  83. Sandbrink et al 2022 ↩︎

  84. 來自 Stuart Russell,AI 最流行教科書的合著者:禁止致命自主武器:一種教育 ↩︎

  85. 引自 Tenet(2020),最「是的,這是一部諾蘭電影」的諾蘭電影。 ↩︎

  86. 例如,人類偏好的強化學習(RLHF),一種讓 AI 匯入人類價值觀的方法,就是將 Base GPT(一個自動完成工具)變成ChatGPT(一個真正的聊天機器人)的原因。同樣,提高 AI「直覺」的穩健性將有助於製造更好的 AI 醫療診斷和自動駕駛汽車。 ↩︎

  87. 天花曾經每年奪走數百萬人的生命。以下是人類如何戰勝它。,Kelsey Piper 著 ↩︎

  88. 來源:Our World In Data ↩︎

  89. 2025 年 3 月 MIT 新聞:研究:臭氧層空洞正在癒合,感謝全球減少 CFC。「新結果以高統計置信度表明臭氧恢復進展順利。」 ↩︎

  90. 2021 年經典推文 by alex blechman ↩︎

  91. 開頭比喻來自 Nick Bostrom 2014 年的經典著作《超級智慧》 ↩︎

  92. CAIS 術語表條目 ↩︎

  93. 超級智慧代理構成災難性風險:科學家 AI 能提供更安全的路徑嗎?,Bengio 等人 2025 ↩︎

  94. 來自 Chris Olah 對 AGI 安全的看法,Evan Hubinger 著:「我們可以使用 ML 作為顯微鏡——一種學習世界的方式,而不直接在其中採取行動。也就是說,與其訓練一個 RL 代理,你可以在一堆資料上訓練一個預測模型,並使用可解釋性工具來檢查它,弄清楚它學到了什麼,然後使用這些洞察來告知——無論是有人類在迴路中還是以某種自動化方式——你實際上想在世界上採取的任何行動。」 ↩︎

  95. 分位器:有限最佳化中最大化器的更安全替代方案,Jessica Taylor 2016 ↩︎

  96. 古德哈特定律,換句話說:「當你獎勵一個指標時,它通常會被操弄。↩︎

  97. 識字的解剖學特徵,Carreiras 等人 2009 ↩︎

  98. 在這裡引用我自己,呵呵:如何成為半人馬,Nicky Case (2018) 不過,見下一個腳註,主要類比現在已經過時了。 ↩︎

  99. 來自 Gwern ↩︎

: 看全部註腳 👣

還有這些值得單獨展開的「果核」小知識:

: 瑞士乳酪模型再多講一點
: 穩健、可擴展監督的數學
: 可擴展監督・番外筆記
: 迭代蒸餾與放大,白話解
: (刪除場景)《臨界質量》漫畫
: 「未來人生」演算法的修補
: 「自我修改代理」非正式文獻速覽
: 最壞/平均/最好情況最佳化,各有什麼好壞
: 學習我們的價值觀・番外筆記
: AI 經濟學
: 人類 vs 大型語言模型,誰佔上風