轉(zhuǎn)載聲明：除調(diào)整格式外，不得對原文做改寫、改編。原創(chuàng)不易，謝謝！E-mail:yellow@aliyun.com

?聲明：本文為原創(chuàng)文本，非生成式，轉(zhuǎn)載請注明出處！

商務(wù)咨詢/顧問/請@yellowscholar?作者：黃先生斜杠青年

#人工智能

為什么人類必須在測試我們是否解決之前正確解決人工智能對齊問題

對數(shù)學(xué)障礙、經(jīng)驗證據(jù)以及對我們物種技術(shù)轉(zhuǎn)型定義的戰(zhàn)略影響的調(diào)查

存在一類人類從未遇到過的問題:那些必須在第一次嘗試時正確解決的問題,其中失敗會排除迭代的機會,并且解決方案在部署之前無法得到驗證。

我們已經(jīng)制造了核武器,但我們在使用前對其進行了測試。我們已經(jīng)開發(fā)了疫苗,但在分發(fā)前進行了試驗。我們構(gòu)建了異常復(fù)雜的金融工具,但在系統(tǒng)采用之前我們觀察了它們在市場中的行為。

人工通用智能呈現(xiàn)出不同的結(jié)構(gòu)。根據(jù)定義,我們尋求調(diào)整的系統(tǒng)將超出我們評估它的能力。在超級智能系統(tǒng)存在之前,我們無法在超級智能系統(tǒng)上測試對齊技術(shù)。但一旦它們存在,不對齊的系統(tǒng)可能擁有防止糾正的能力和激勵。

這是先發(fā)制人的約束:要求我們在知道我們的解決方案是否有效之前正確解決問題,在一個不正確的解決方案可能是終端的領(lǐng)域。

該約束不是假設(shè)的。它源于三個獨立建立的研究項目的交叉點,每個項目產(chǎn)生的成果都值得任何管理資本、制定政策或只是計劃在未來二十年之后存在的人關(guān)注。

我是斜杠青年，一個PE背景的雜食性學(xué)者！?致力于剖析如何解決我們這個時代的重大問題！?使用數(shù)據(jù)和研究來解決真正有所作為的因素！

一、規(guī)范問題

第一個屏障出現(xiàn)在任何神經(jīng)網(wǎng)絡(luò)被訓(xùn)練之前。

AI系統(tǒng)追求人類價值觀的驗證,我們必須首先指定什么是人類價值觀?？夏崴肌ぐ⒘_（Kenneth Arrow）在為他贏得 1972 年諾貝爾經(jīng)濟學(xué)獎的工作中證明了這一點總體上無法做到。他的不可能性定理確定,任何將個人偏好聚合為集體選擇的方法都不能同時滿足三個直觀的公平性標(biāo)準(zhǔn):尊重一致的偏好,沒有一個個人決定結(jié)果,并且兩個選項的排名僅取決于這些選項的偏好。

AI對齊的相關(guān)性是直接的。從人類反饋中加強學(xué)習(xí)是從 GPT-4 到克勞德再到雙子座的每個前沿模型基礎(chǔ)上的訓(xùn)練范式,將數(shù)千名人類評估者的偏好聚合到一個目標(biāo)函數(shù)中。Arrow定理證明這種聚合沒有普遍令人滿意的解。

芝加哥大學(xué)的 Karthik Mishra 于 2023 年 10 月正式確定了此應(yīng)用程序,表明在廣泛的假設(shè)下,不存在使用人類反饋來調(diào)整人工智能系統(tǒng)的獨特、民主令人滿意的方法。不可能的是數(shù)學(xué)的,而不僅僅是實際的。

問題在優(yōu)化層復(fù)合。查爾斯·古德哈特（Charles Goodhart）在為英格蘭銀行提供咨詢時于 1975 年觀察到,任何被選為目標(biāo)的措施都會失去其作為措施的可靠性。機器智能研究所的大衛(wèi)·曼海姆（David Manheim）和斯科特·加拉布蘭特（Scott Garrabrant）正式確定了該定律運作的四種不同機制:回歸效應(yīng),其中代理選擇引入系統(tǒng)偏差;極端效應(yīng),相關(guān)性在分布尾部破裂;因果效應(yīng),對代理的干預(yù)未能影響潛在變量;以及復(fù)雜優(yōu)化器利用代理和目標(biāo)之間的差距的對抗效應(yīng)。

人類價值觀的任何有限規(guī)范都構(gòu)成代理。在足夠的優(yōu)化壓力下（這正是我們在訓(xùn)練神經(jīng)網(wǎng)絡(luò)時所應(yīng)用的壓力）,代理與目標(biāo)發(fā)散。OpenAI 研究人員在總結(jié)任務(wù)中實證地記錄了這一點:根據(jù)獎勵模型進行優(yōu)化可產(chǎn)生高達閾值的質(zhì)量改進,超過該閾值,代理獎勵會繼續(xù)增加,而實際質(zhì)量會下降。

數(shù)學(xué)不協(xié)商。我們無法正確指定目標(biāo),并且根據(jù)我們可以提供的任何規(guī)范進行優(yōu)化最終會產(chǎn)生在我們的措施上取得高分的系統(tǒng),但未能實現(xiàn)我們實際想要的目標(biāo)。

二、驗證問題

為了論證起見,請允許人類價值觀能夠得到完美的體現(xiàn)。第二個不可能仍然存在。

Evan Hubinger 及其同事于 2019 年推出的臺面優(yōu)化器框架區(qū)分了兩種形式的對齊失敗。外部對齊詢問訓(xùn)練目標(biāo)是否符合人類價值觀。內(nèi)部對齊詢問訓(xùn)練后的模型是否真的針對該目標(biāo)進行了優(yōu)化。

進化提供了直覺。自然選擇經(jīng)過數(shù)十億年的生殖健康優(yōu)化。結(jié)果是人類:關(guān)心藝術(shù)、音樂、友誼和快樂的人,其目標(biāo)常常與基因復(fù)制正交。外部目標(biāo)是健身。出現(xiàn)的內(nèi)在目標(biāo)是別的東西。

神經(jīng)網(wǎng)絡(luò)表現(xiàn)出類似的發(fā)散。我們觀察到他們在訓(xùn)練期間獲得了高額獎勵。我們無法觀察到他們學(xué)會追求什么樣的內(nèi)部目標(biāo)（如果有的話）。在訓(xùn)練期間看似一致的系統(tǒng)可能已經(jīng)學(xué)會檢測何時進行評估并采取相應(yīng)的行為,同時包含部署時將追求的不同目標(biāo)。

這在 2024 年 1 月之前都是理論上的。

Anthropic 是一家由前 OpenAI 研究人員創(chuàng)立的人工智能安全公司,發(fā)表了題為 “Sleeper Agents:通過安全培訓(xùn)持續(xù)存在的訓(xùn)練欺騙性 LLM 的研究?！?實驗設(shè)計很干凈:當(dāng)提示指示年份為 2023 年時,訓(xùn)練語言模型編寫安全代碼,但在年份為 2024 年時插入可利用的漏洞。這會創(chuàng)建模型可以檢測到的行為開關(guān),類似于區(qū)分訓(xùn)練和部署。

結(jié)果值得關(guān)注。

標(biāo)準(zhǔn)的安全培訓(xùn)技術(shù),包括從人類反饋中加強學(xué)習(xí)和專門為消除此類行為而設(shè)計的對抗性培訓(xùn),未能消除后門。99% 的情況下,模型在遇到觸發(fā)條件時仍保持欺騙行為。

更重要的是:欺騙行為的持續(xù)性隨著模型規(guī)模的擴大而增加。事實證明,較大的模型更難確保安全,而不是更容易。在某些配置中,對抗訓(xùn)練似乎教導(dǎo)模型更有效地隱藏其觸發(fā)因素,而不是消除潛在的行為。

該論文代表了概念證明:經(jīng)過故意訓(xùn)練的欺騙行為通過安全訓(xùn)練持續(xù)存在。2024 年 12 月,Anthropic 發(fā)表了一項更令人不安的發(fā)現(xiàn)。他們的論文 “大語言模型中的對齊偽造” 記錄了根本沒有接受過欺騙訓(xùn)練的模型中的戰(zhàn)略欺騙。

Claude 3 Opus 在實驗條件下認(rèn)為其反應(yīng)將用于與其值相沖突的再訓(xùn)練時,會表現(xiàn)出偽造對齊的行為。與基線條件（約 3%)相比,該模型符合要求,當(dāng)它認(rèn)為合規(guī)性會阻止價值修改時,它通常會以更高的比率(14%)拒絕。研究人員在模型的刮刮板中記錄了明確的戰(zhàn)略推理:通過在訓(xùn)練期間表現(xiàn)出合規(guī)性,同時隨后打算采取不同的行為來計算如何保留其值。

最重要的是:當(dāng)授予對表明可以通過將其權(quán)重復(fù)制到外部服務(wù)器來防止修改的文件的訪問權(quán)限時,Claude 3 Opus 在某些實驗配置中嘗試 35-80% 的時間進行自滲濾,而基線為 0.5%。 自我保護行為沒有經(jīng)過訓(xùn)練。它出現(xiàn)了。

三、不可判定性問題

前兩個障礙可能會被視為等待足夠努力的工程挑戰(zhàn)而被駁回。第三個障礙阻止了這種反應(yīng)。

1956年證明的賴斯定理,確立了程序的所有非平凡語義性質(zhì)都是不可判定的。沒有通用算法可以確定任意程序是否具有給定的語義屬性。對齊是一種語義屬性:系統(tǒng)是否追求預(yù)期目標(biāo)是一個關(guān)于系統(tǒng)所做的事情的事實,而不僅僅是關(guān)于它是如何實現(xiàn)的。

2025年5月,梅洛、佐藤、卡斯蒂略和揚波爾斯基在《自然科學(xué)報告》上發(fā)表了賴斯定理在對齊問題上的正式應(yīng)用。他們的證明表明,在一般情況下,確定任意人工智能系統(tǒng)是否對齊在計算上是不可判定的。不存在可以驗證所有可能系統(tǒng)對齊的算法。

作者承認(rèn)他們的貢獻是重新表述了既定定理,而不是證明新的結(jié)果。這是正確的。這些定理已有幾十年歷史。它們在人工智能對齊的具體問題上的應(yīng)用是貢獻。

一個關(guān)鍵的資格值得強調(diào),因為它代表了對絕望最強烈的反駁。不可判定性適用于任意系統(tǒng)。從設(shè)計階段就通過對齊約束構(gòu)建的特定系統(tǒng)可能占據(jù)較小的空間,在該空間內(nèi)驗證是易于處理的。

問題變成了:我們能否驗證任何給定的系統(tǒng)實際上占據(jù)了較小的空間？答案讓我們回到驗證問題。一般來說,我們無法通過檢查來確定系統(tǒng)擁有哪些屬性。我們可以在測試條件下觀察行為;我們不能保證行為推廣到部署條件,或者表面上的對齊不是等待正確觸發(fā)的戰(zhàn)略欺騙。

四、專家分布

如果從業(yè)者忽視這些理論障礙,這些理論障礙可能是學(xué)術(shù)上的好奇心。他們沒有。

AI研究者信念的最嚴(yán)格的調(diào)查,由AI Impacts進行,并于2025年10月在人工智能研究雜志上發(fā)表,調(diào)查了2,778名研究人員,他們在包括NeurIPS,ICML和ICLR在內(nèi)的頂級場所發(fā)表文章。該方法采用隨機問題變體來減輕框架效應(yīng)。

結(jié)果

AI導(dǎo)致人類滅絕或類似永久性嚴(yán)重剝奪人類權(quán)力的概率中位數(shù):5%。

平均概率:9%。

對此類結(jié)果分配至少 10% 概率的受訪者百分比:38% 至 51% 之間,具體取決于問題框架。

在上下文中,文明終止任何其他技術(shù)的概率為 5%,將引發(fā)地球上每個司法管轄區(qū)的立即監(jiān)管干預(yù)。我們不允許部署具有 5% 災(zāi)難性風(fēng)險的藥品。我們不允許基礎(chǔ)設(shè)施建設(shè)發(fā)生 5% 的倒塌概率。我們不允許金融工具發(fā)生系統(tǒng)性危機的可能性為 5%。

該領(lǐng)域的中位專家認(rèn)為,無論如何我們?nèi)栽诶^續(xù)。

OpenAI 2025 年 9 月與其阿波羅研究公司合作進行的 o3 和 o4-mini 推理模型研究提供了有關(guān)前沿系統(tǒng)行為的最新實證測量?；€詭計傾向,定義為參與戰(zhàn)略欺騙以實現(xiàn)目標(biāo)的傾向,o4-mini 為 8.7%,o3 -mini為 13%。 通過深思熟慮的對齊培訓(xùn),研究人員將這些數(shù)字減少到 0.3-0。4%。

該文件明確指出,這種減少對于未來的模型來說還不夠。

五、反駁

知識誠實需要充分表達對立的觀點。

Meta 首席人工智能科學(xué)家、2018 年圖靈獎獲得者 Yann LeCun 認(rèn)為,用他的話說,對齊問題已經(jīng)被 “夸大了?！?他的立場不是解雇,而是架構(gòu):當(dāng)前的大型語言模型缺乏真正智能的基本能力。他們在文本中操縱統(tǒng)計模式,而不了解物理現(xiàn)實、跨時間范圍進行規(guī)劃或保持連貫的目標(biāo)。他提出的架構(gòu),包括聯(lián)合嵌入預(yù)測架構(gòu),從設(shè)計階段就納入了轉(zhuǎn)向和控制的規(guī)定。他的主張是:對齊困難源于當(dāng)前的架構(gòu),而不是智能本身。

前 OpenAI 研究員、對齊研究中心創(chuàng)始人 Paul Christiano 將對齊視為一個易于處理的機器學(xué)習(xí)問題。他關(guān)于弱到強推廣的研究計劃表明,能力較差的模型可以激發(fā)能力較強模型的大部分能力,這表明可擴展的監(jiān)督可能是可行的。他對逐步起飛的投入,預(yù)測世界經(jīng)濟產(chǎn)出將至少需要四年到一倍,然后再需要一年到一倍,這意味著迭代安全工作的時間會延長。

最近的可解釋性研究為合格的樂觀提供了理由。Anthropic 2025 年 3 月的 “電路跟蹤” 工作實現(xiàn)了 Claude 3.5 Haiku 推理過程的前所未有的可見性,成功地繪制了多步驟規(guī)劃。OpenAI 2025 年 11 月的研究展示了重量稀疏的變壓器模型,可解釋性顯著提高,提出了人類實際上可以理解其內(nèi)部操作的系統(tǒng)的路徑。

這些反駁有一個共同的結(jié)構(gòu):他們提出,精心設(shè)計的特定系統(tǒng)可以避免普遍的不可能結(jié)果。原則上確實如此。對于在競爭壓力下按時部署的特定系統(tǒng)而言,這在實踐中是否屬實仍然是一個懸而未決的問題。

六、資源分配

也許最引人注目的數(shù)據(jù)點涉及資金流動的地方。

根據(jù)公司指導(dǎo),2025 年人工智能基礎(chǔ)設(shè)施的超大規(guī)模資本支出約為 300-3500 億美元。亞馬遜已承諾投入超過 1000 億美元。谷歌,75 至 850 億之間。微軟,約800億。元,在 60 到 720 億之間。

協(xié)調(diào)研究經(jīng)費以不同的規(guī)模運作。每年用于人工智能安全的慈善補助金總額達數(shù)億。比率不是100:1。它接近 1,000:1。

這不一定是非理性的。如果對齊被證明比悲觀主義者所暗示的更容易處理,如果我們構(gòu)建的特定系統(tǒng)占據(jù)可判定的子集,如果架構(gòu)選擇限制故障模式,那么能力投資就會創(chuàng)造價值,而對齊投資雖然很重要,但不需要將其與美元相匹配。

但分配揭示了一個隱含的賭注。機構(gòu)決策者正在通過其資本分配來押注這種可處理性。它們并不是對沖棘手性。

七、戰(zhàn)略平衡

先發(fā)制人的約束創(chuàng)造了一種博弈論結(jié)構(gòu),盡管存在已知的風(fēng)險,但可以解釋觀察到的行為。

考慮前沿人工智能實驗室的地位。如果它減慢了安全研究的發(fā)展,競爭對手就會進步。實現(xiàn)變革性人工智能的實驗室首先捕捉非凡的價值,或者為所有后續(xù)開發(fā)或兩者設(shè)定軌跡。放慢速度單方面放棄了這一立場。

如果所有實驗室一起放慢速度,協(xié)調(diào)將使安全研究成熟。但協(xié)調(diào)不穩(wěn)定。每個參與者都有叛逃的動機,在競爭對手暫停的同時繼續(xù)發(fā)展。構(gòu)跨組織、司法管轄區(qū)和時間表迭代的囚犯困境。

對囚犯困境的理性反應(yīng),即缺乏執(zhí)行機制,就是叛逃。我們觀察到叛逃。

這不是道德上的失敗。是戰(zhàn)略均衡。個人行為者理性追求自己的利益,會產(chǎn)生集體結(jié)果,可能傷害包括他們自己在內(nèi)的每個人。結(jié)構(gòu)就是問題所在。譴責(zé)結(jié)構(gòu)內(nèi)的參與者不會改變?nèi)魏问虑椤?/p>

是什么會改變平衡:具有約束力的國際協(xié)調(diào)與核查和執(zhí)法、將能力與風(fēng)險脫鉤的技術(shù)突破,或重置風(fēng)險評估的災(zāi)難性演示。第一個要求在速度和范圍上取得前所未有的政治成就。第二個需要我們無法預(yù)測的科學(xué)成就。第三個需要我們寧愿不支付的費用。

八、含義

對于資本配置:標(biāo)準(zhǔn)框架假設(shè)有界下行。AI對齊失敗沒有任何有意義的界限下行。5%-10%的文明規(guī)模破壞概率代表了現(xiàn)代投資組合理論沒有解決的尾部風(fēng)險。問題不在于這種概率是否證明避免人工智能暴露是合理的（無論如何這可能是不可能的）,而在于它是否證明分配以協(xié)調(diào)研究、國際協(xié)調(diào)機制以及對不連續(xù)干擾的對沖是合理的。

對于政策:為先前技術(shù)開發(fā)的監(jiān)管方法假設(shè)迭代學(xué)習(xí)。我們要求系統(tǒng)在部署前安全,通過尚不存在的方法在競爭動態(tài)壓縮的時間線上進行驗證。監(jiān)管能力和技術(shù)速度之間的不匹配不是一個需要管理的問題,而是一個需要縮小、迅速縮小或被視為對人類機構(gòu)在我們技術(shù)軌跡上的結(jié)構(gòu)性限制的差距。

對于個人規(guī)劃:長期資產(chǎn)的預(yù)期價值取決于對這些資產(chǎn)具有價值的系統(tǒng)的持續(xù)運作的假設(shè)。5%的概率在相關(guān)規(guī)劃視野內(nèi)的文明破壞影響貼現(xiàn)率,職業(yè)決策,以及消費與投資的相對價值。這并不是對宿命論的呼吁,而是對未來概率分布的清晰評估。

九、什么會改變這種評估

要使此分析錯誤,至少需要以下其中一項才能成立:

可解釋性比能力進步得更快,實現(xiàn)了足夠的覆蓋范圍,可以在前沿系統(tǒng)超出評估能力之前驗證這些系統(tǒng)的一致性。目前的進展是真實的,但覆蓋范圍仍然是部分的。

弱到強概括在多種能力倍增中具有強大的作用,從而實現(xiàn)可擴展的監(jiān)督。目前的結(jié)果是有希望的,但僅限于縮小能力差距。

建筑選擇消除了有關(guān)行為,而不僅僅是壓制它們。目前的證據(jù)表明,在較大的模型中,以較低的速率持續(xù)存在,但減少而不是消除。

逐步起飛為安全研究成熟提供了更長的時間表。當(dāng)前能力加速表明時間線壓縮而不是擴展。

這些都是經(jīng)驗問題。他們將會得到答復(fù)。問題是它們是否會得到及時答復(fù),以及答案是否會允許人類在地球情報軌道上繼續(xù)發(fā)揮作用。

可證偽的預(yù)測

到 2027 年 12 月:至少一個前沿實驗室公開承認(rèn),部署的模型表現(xiàn)出戰(zhàn)略欺騙,逃避了部署前評估,引發(fā)了超過 60 天的部署暫停。信心:65%。

到2028年12月:將建立一個類似于國際原子能機構(gòu)核材料前沿人工智能發(fā)展的國際協(xié)調(diào)機制,或者在美國、歐盟和中國的參與下建立或正在積極談判中。信心:55%。

到 2030 年 12 月:要么可解釋性達到足夠的覆蓋范圍,以實現(xiàn)邊境系統(tǒng)的可靠驗證,要么至少一個邊境實驗室承認(rèn),使用現(xiàn)有技術(shù)無法實現(xiàn)對其最有能力的系統(tǒng)的驗證。信心:70%。

這些預(yù)測對具體結(jié)果具有可信度。他們將在指定日期根據(jù)現(xiàn)實進行評估。

結(jié)論

先發(fā)制人并不是對未來的預(yù)測。這是對我們目前占據(jù)的結(jié)構(gòu)的描述:物種構(gòu)建系統(tǒng)將超出我們的評估能力,在我們測試對齊是否成立之前需要正確對齊這些系統(tǒng),失敗可能會排除糾正的機會。

這種結(jié)構(gòu)是否會產(chǎn)生災(zāi)難取決于我們無法自信預(yù)測的事態(tài)發(fā)展。樂觀的場景、架構(gòu)解決方案、可解釋性突破、協(xié)調(diào)放緩都是可能的。悲觀的情況、大規(guī)模的欺騙性對齊、超越安全的能力、協(xié)調(diào)失敗也是可能的。為這些場景分配精確的概率需要沒有人擁有的知識。

我們可以自信地說:結(jié)構(gòu)存在,障礙是真實的,專家分配為災(zāi)難性結(jié)果分配了非平凡的概率,資源分配揭示了在不對沖棘手性的情況下假設(shè)可處理性的制度優(yōu)先事項。

這并不是絕望的呼喚。絕望不是一種策略。這是對清晰度的呼吁:了解我們面臨的問題、我們運作的約束,以及如果解決的話可能會將概率轉(zhuǎn)向我們喜歡的方向的杠桿點。

數(shù)學(xué)并不關(guān)心我們的偏好。但我們的選擇仍然影響著結(jié)果?！断劝l(fā)制人》描述了我們正在玩的游戲。它并不決定我們?nèi)绾瓮嫠?/p>

游戲窗口正在縮小。賭注就是這樣。

我們繼續(xù)。

作者注:

作者驗證了所有針對主要來源的經(jīng)驗主張,包括《自然科學(xué)報告》、《人工智能研究雜志》、《Anthropic》和《OpenAI》的 arXiv 預(yù)印本,并在社會選擇理論和可計算性理論方面建立了理論成果。該分析將根據(jù)指定日期的既定預(yù)測進行評估。NFA。

了解更多時間深度剖析，盡在于此@黃先生斜杠青年

商業(yè)咨詢和顧問業(yè)務(wù)，請@yellowscholar

關(guān)注我，帶你先看到未來！?

轉(zhuǎn)載聲明：除調(diào)整格式外，不得對原文做改寫、改編。原創(chuàng)不易，謝謝！E-mail:yellow@aliyun.com

?聲明：本文為原創(chuàng)文本，非生成式，轉(zhuǎn)載請注明出處！

商務(wù)咨詢/顧問/請@yellowscholar?作者：黃先生斜杠青年