特別節目·中文精讀

斯圖爾特·羅素:人工智慧的長期未來

Stuart Russell: Long-Term Future of AI

AI 安全研究者討論如何讓機器目標與人類價值對齊,以及長期風險的應對路徑。

官方音訊00:00 / --:--
中文精讀由 AI 基於原始訪談改寫,非官方翻譯,可能存在偏差或錯誤;表述以原音訊與官方文稿為準。說明

2018年,一臺自動駕駛汽車的視覺系統能識別出路上 98.3% 的車輛。這個數字聽起來還行。但一個開十年計程車的司機,每天開八小時,總共是 1 億秒的駕駛時間,其中任何一秒都可能致命。這意味著系統需要八個九的可靠性,而 98.3% 只是一個多九。

中間差著七個數量級。

斯圖爾特·羅素(Stuart Russell)在訪談裡說,人們以為做完一個成功的 demo 就差不多了,其實你連"差不多"的邊都還沒摸到。這位加州大學伯克利分校的電腦科學教授,是《人工智慧:一種現代方法》的合著者,那本書把我和幾千萬人領進了這個領域。他講這段話時語氣很平,像是在陳述一個工程事實,而它帶來的衝擊來自算術本身。

用一箱打孔卡片換三秒鐘

1975年,英國帝國理工學院。還在讀中學的羅素每週三坐公交車過去,帶著一大盒打孔卡片塞進讀卡機。機器給他們八秒鐘 CPU 時間,讀卡片和編譯程式碼要花掉五秒,剩下的三秒,夠他的國際象棋程式走一步。

搜尋八層深度,帶 alpha-beta 剪枝,還有他們自己琢磨出來的走法排序和樹剪枝技巧。然後程式列印出這一步,他們回到隊尾,重新排隊等下一次喂卡片。

這個程式從來沒贏過他。他年輕時候棋下得不錯。後來他又寫了黑白棋和雙陸棋的程式,去了伯克利之後開始大量研究"對推理的推理"(metareasoning)。棋盤上可能的變化比宇宙裡的原子還多,人和程式能贏,靠的都是隻看搜尋樹的一小部分。看對了那一小部分,你下得很好;把時間浪費在想那些永遠不會發生的走法上,你必輸,因為你根本來不及算出正確的決定。

機器到底該想什麼?

他的答案是:想那些能提升決策質量的念頭,別的都不值錢。

他給了一個特別日常的類比。如果你已經確定某部電影很爛,就沒必要再花更多時間說服自己它很爛,因為你的判斷不會改變。思考的價值來自它可能改變你的主意,進而改變你在真實世界裡的最終行動。

設想兩個選擇:一個你已經算清楚是和棋,另一個平均看來更差、很可能輸,但它的價值還存在不確定性,還有機會翻成贏。後一個值得想。所以一個想法值不值得想,取決於兩件事的乘積:它看起來有多好,以及你對它有多不確定。

不確定越大,越值得想,因為上行空間可能更大。

Alpha Zero 開局的時候,一切都籠罩在不確定性裡。所以搜尋樹的前幾層非常茂密,它會試很多方向。但很快,某個走法會立刻顯示出你丟了半壁江山,你說好,這條不用再想了。往下樹就變得又長又窄,順著幾條線路一直往下走四五十步。這種事人類做不了,主要卡在短期記憶上:你記不住五十步的序列,也沒法在腦子裡正確想象五十步之後的棋盤。

AlphaGo 最驚人的地方不在贏

它有兩套能力。一套是評估局面,看棋盤就能瞬間判斷形勢有多好。另一套是往前看,四十步、五十步、六十步。

羅素覺得真正驚人的是前者。把搜尋完全關掉,不允許它做任何前瞻,只讓它考慮每一個合法走法,看看走完之後的局面,判斷好壞,這就是深度為一的搜尋。這個版本的 AlphaGo 還能達到職業水平。人類職業棋手坐在那兒想五到十分鐘,它不到一秒就"直覺"出正確答案。

圍棋上人類沒有這種直覺。我們必須想。

至於那四十、五十、六十步:如果全部考慮,是 10 的 200 次方種可能,遠遠超過宇宙中的原子數。所以它對看什麼極其挑剔。

他也順便給人類棋手降了降溫。大師能可靠地瞬間認出正確走法和局面價值,這個說法被略微高估了。鮑比·菲舍爾那些棄後的名局,看起來像是下了壞棋。

棋手面對這種局面,腦子裡先浮出來的往往是一種感覺:這裡頭可能有東西。至於具體算路,還沒成形。哪怕這一步看起來荒唐,它也可能開啟幾條本來不存在的計算線路。有了這個念頭,他才往下算。

一旦進入強制性的變著,對手沒什麼選擇,他就可以一直模擬下去,看能不能把對方逼進一個輸定的局面。但即便大師對局,也常常漏掉三四五步的簡單組合,那些組合並不特別顯眼,可它就在那兒。

第二天坐下來,你會覺得它變聰明瞭

黑白棋那件事帶來的感受更直接。羅素說,程式的一部分能力來自學習,你第二天坐下來,能明顯感覺到它變聰明瞭很多。它變得更兇,對你的任何細微失誤都不留情面,而且似乎比他更懂這個遊戲。

加里·卡斯帕羅夫(Garry Kasparov)在對深藍的比賽裡說過一句話:他突然覺得棋盤對面是一種新的智慧。

我突然感到棋盤對面是一種新的智慧。(加里·卡斯帕羅夫)

這種感覺是可怕還是令人興奮?在棋類這個語境裡,羅素的回答是興奮。他說,當初讓他去做AI的原因就這麼簡單:一旦他真正搞懂了計算機是什麼,他就想讓這東西變聰明。他的第一臺機器是辛克萊可程式設計計算器(Sinclair Programmable Calculator),最多能寫二十一步的演算法,他實現了牛頓法求平方根,還做了點別的算術。

然後他想,只要給我更多空間,我就能讓這東西有智慧。

可怕的東西不在棋類程式那裡。棋類程式不做接管世界這門生意。但如果你往外推,棋類跟真實世界有幾處關鍵的不像。

規則是已知的。棋盤對程式完全可見,而真實世界的大部分,從你坐著的那個位置根本看不見。要跨過這類問題,需要性質上完全不同的演算法。

還有時間尺度。真實世界的計劃會延伸到萬億級的步驟。你在伯克利讀個博士,那是五年的承諾,最終摺合成大約一萬億次動作控制步驟,包括上樓梯、開門、喝水、打字時每一次手指動作、論文裡每一個字元。你不會事先承諾那些具體的動作,但你確實在一個最終會落到萬億次動作上的時間尺度上做推理。

所以深藍、AlphaGo 之流不構成對人類的威脅,但它們是通往威脅的一步。羅素把AI的進展描述成一個接一個地拆掉那些讓問題變簡單的假設。拆掉完全可觀測性這一條,你就需要一套複雜得多的計算設計,需要有個東西持續跟蹤你看不見的部分、估計正在發生什麼,而不確定性是躲不掉的。問題就此變得難得多。

而每一步拆解,都會把AI能做的事情的範圍放大一千倍。

真實世界更像圍棋,不像國際象棋

當年他們以為,圍棋必須走另一條路。人類處理圍棋複雜度的辦法是把棋盤切成若干弱連線的區域,分別看每塊怎麼走,再把兩塊分析耦合起來處理相互作用,必要時回頭修正對某一塊的判斷。棋盤上可能有五六塊、七八塊、十塊。

這套結構其實比國際象棋更像真實世界。人有工作、家庭、運動、購物,各種活動彼此相連但連線很弱。寫論文的時候,他不必同時決定先買牛奶還是先買黃油,那不影響打字。但他得意識到要在商店關門前寫完,因為家裡沒吃的了。有連線,只是不像國際象棋那樣,一切都綁進一條單一的思維流。

當時的判斷是:解決圍棋,會順帶推動那些對真實世界有用的東西。結果有點令人失望。為圍棋設計的程式,跟深藍、跟亞瑟·塞繆爾(Arthur Samuel)1950年代的跳棋程式,差別並沒有那麼大。

讓AlphaGo成立的是兩件事:一邊是驚人的局面評估能力,另一邊是更好的推理能力,讓它能把某些路徑探到很深,把另一些快速丟掉。metareasoning 這個詞技術上沒錯,但它容易讓人高估 AlphaGo 擁有的那點東西。"推理"是個很有分量的詞。

專家系統那場崩塌,留下一句話

關於符號AI的冬天,羅素說事情沒那麼簡單。第一次被這樣命名的冬天在八十年代末。八十年代中期有一場集體努力,要把AI推進真實世界,用的是專家系統。大部分情況下,那技術還沒到能上黃金時段的地步。很多系統在做一種不確定推理:判斷、證據組合、診斷。而這些推理方法本身是無效的。問題小的時候你還能糊弄過去,規模一大就整個崩掉。

還有很實際的一條。他們讓公司買極其昂貴的Lisp機器工作站,1980年代五萬到十萬美元一臺,按現在的價格是十五萬到三十萬美元。賬算不過來。每個大公司都在成立AI部門,跟現在一模一樣。

他今天的演講裡有張警告幻燈片,兩頁。第一頁上寫:

與其說資料是新時代的石油,不如說資料是新時代的蛇油。(斯圖爾特·羅素)

第二頁是另一種可能性:某個主要應用領域會出現一次非常顯眼的失敗,他認為自動駕駛會是旗艦。

1987年就有車在高速上自動駕駛、變道、超車了。三十多年過去,原型車還在高速上變道、超車,大體還是那個樣子。

進步確實有,感知側尤其明顯。九十年代中前期他們在伯克利做自動駕駛,把國會議員塞進車裡,在高速上飛馳。當時瓶頸清楚得很:感知。模擬裡給了完美感知,即使別的車亂來,也能安全開很久。可他們在機器視覺上做車輛檢測、行人跟蹤,可靠性怎麼也提不上去,惡劣天氣、夜間、降雨,做演示夠了,覆蓋一般情況不夠。

然後是那道算術。計程車司機一天八小時開十年,一億秒,任何一秒都可能致命,這是八個九的可靠性。視覺系統只檢出 98.3% 的車輛,那是一個多九。中間還有七個數量級。人們以為做完一個成功演示就差不多了,其實離做完還差七個數量級。

跟住一條白線不是問題,白線能橫穿全國一路跟下去。麻煩在怪事,在邊角案例,在別的司機幹出奇怪的事。

Google 早期那套架構很古典:機器視覺檢測車輛、行人、白線、路標,結果喂進一個邏輯資料庫,再由一套1970年代的規則專家系統判斷該怎麼辦。比如你在中間車道,右車道有個騎車人在打手勢,那你就這麼做。他們發現的問題是,每天出去都會碰到一條規則沒覆蓋的情況。開到環島,一個小女孩騎著腳踏車逆時針繞行。怎麼辦?規則庫裡沒有。那就停。

他們回來加規則,第二天再出去,又是一條新的。這樣下去不收斂。

根本問題是,你怎麼處理一個從來沒遇到過的情形?這裡的"沒遇到過"是指,你需要的推理方式跟以前任何一次都不匹配。國際象棋程式天天干這個:不斷遇到沒見過的局面,然後想我有哪些可能的走法、結果分別是什麼、哪個結果更可取,挑一個。

九十年代他們就說,自動駕駛必須走這條路,必須有前瞻能力。但駕駛的前瞻比象棋難,因為對面的東西是人,比棋子難預測得多。棋盤上的對手也不好猜,可你至少永遠知道他的意圖:他想贏你。開車的時候你不知道,前車那位是想左轉,還是忘了關轉向燈,還是喝多了,還是在調電臺。你得估計對方的心智狀態和意圖,才能預測他接下來可能的軌跡,然後判斷哪條軌跡對你最安全。

這些又互相影響,因為對方也在對你的軌跡做出反應。經典的併線場景:你在和一輛已在高速上的車搶位置,你要麼搶在前面進去,要麼讓它先過、你跟在後頭。誰先走,存在不確定。

所以需要的決策架構,離規則系統很遠,在他看來也離端到端的神經網路很遠。AlphaGo 不做前瞻的時候相當不錯,做前瞻的時候好得多得多。駕駛也一樣。

他提到另一個層面:你不能把AI系統當成一個單向響應世界的東西,它是一個別人也會對它做出反應的智慧體。 想開好車,不能只做避障。你不能假裝自己隱形,那輛隱形車。但反過來,別人也得有點怕你。他們和行人打了很多交道,如果你把行人純粹當成避障物件,對方就會佔你便宜,完全不把你當回事。必須有一種張力,一點不確定性,一點堅決。你太猶豫也不行。

於是問題滑進博弈論。伯克利現在大量研究機器和人的互動。他的同事阿納卡·德拉甘(Anca Dragan)把問題按博弈論形式化,讓系統自己求解,結果系統幹出了一些沒人預料的事:在無人先行的停車標誌前,車會稍稍往後倒一點,用這個動作告訴對方車你先走。這個行為是它自己發明的。沒有人告訴它停車標誌前的溝通語言是什麼。

1979年那句話:我始於一個古老的願望,鍛造諸神

帕梅拉·麥科達克(Pamela McCorduck)1979年寫下的這句話,被羅素拿來當作一個哲學支點。人類文明的歷史裡,是不是有一種內在的衝動,要造出比自己更強的東西?

他提到另一段歷史。七十年代英國圍繞AI吵得很厲害,政府該投多少錢、這東西是不是真的。政府委託物理學家萊特希爾(Lighthill)寫報告,報告寫得非常刻薄,羅素認為刻薄就是目的。報告裡說,這些人是一些沒法生育的苦悶男人,想造出一個生命來作為替代。

羅素覺得這話挺不公平。但那種魔法感確實存在。你造一個東西,你造進去的其實只是你對學習和決策原理的某些理解,然後看著這些原理在具體情境裡變成智慧行為,這是件不可思議的事。它自然會讓你想:這事走到頭會是什麼樣?

樂觀的版本因人而異,每個人心裡的烏托邦都不一樣。

圖靈在1951年就算過這筆賬

羅素說,不需要天才也能想到,如果你造出一個比你還聰明的東西,你可能有麻煩。圖靈1951年在電臺做了一次講座,大意是:一旦機器思維的方法啟動,它們會很快超過人類。如果我們運氣好,也許能在關鍵時刻把電源關掉。但即便如此,人類這個物種也會被比下去。

羅素認為圖靈有一點說錯了。如果機器足夠精細,它不會讓你把它關掉,它實際上是在跟你競爭。

"我們的物種會被比下去"是什麼意思?他的理解是:我們會意識到自己更低等,我們只是靠運氣活下來,恰好及時摸到了那個開關。要是沒摸到,我們就失去了對地球的控制。

那他更擔心超級智慧,還是更擔心不與人類價值對齊的超級能力?答案是後者。他研究的主要問題是控制問題,機器追求的目標跟人類目標不一致的問題。 從最開始我們就是這麼想的:造一臺最佳化的機器,把目標塞進去,它就去最佳化。

這就是邁達斯國王(King Midas)問題。國王要"我碰過的一切都變成金子",神給了他這個能力,於是食物、酒、家人都變成了金子,他死於痛苦和飢餓。

幾乎每個文化裡都有同構的故事。精靈給你三個願望,你的第三個願望永遠是請把前兩個撤掉,因為我搞砸了。

亞瑟·塞繆爾寫跳棋程式,那程式學得比他下得好,達到了相當不錯的水平。諾伯特·維納(Norbert Wiener),二十世紀最重要的數學家之一,現代自動控制之父,看到了這一步,像圖靈一樣往外推:這就是我們可能失去控制的路徑。具體來說,我們必須確定塞進機器的目的是我們真正想要的目的,而問題在於我們做不到。

做不到是理論上不可能,還是實踐上極難?羅素的界線劃在兩者之間。理論上可能,實踐上極不可能,我們幾乎不可能事先正確寫出人類關切的全部範圍。

人類是怎麼傳遞價值的?靠文化傳遞,靠教。我們長大的過程中學到哪些價值重要、事情應該怎樣、追求什麼算合理、追求什麼不合理。機器可以用同樣的方式學。

所以要擺脫的是那個想法本身:造一臺最佳化機器,然後把目標放進去。既然放錯目標是可能的,而且已經發生過很多次,那麼機器就永遠不應該把給定的目標當成福音真理。一旦它這麼做了,它就會相信,它為達成這個目標所做的任何行動都是正確的事。你在旁邊跳著腳喊不不不你會毀掉世界,但機器知道真正的目標是什麼,它在追求它,你只能自認倒黴。

這不是AI獨有的問題。二十世紀很多技術都這麼幹的。統計學裡最小化一個損失函式,損失函式是外生給定的;控制論裡最小化代價函式;運籌學裡最大化回報函式。所有這些學科都是這樣設想問題的,而這個設想本身就是錯的,因為我們無法確定地指定正確的目標。

我們需要不確定性。我們需要機器對自己的目標是什麼保持不確定。

羅素把這叫做教機器謙遜。機器知道它不知道自己該做什麼。而那些目標確實存在,它們在我們身上,只是我們未必能把它講清楚,我們甚至未必知道我們希望自己的未來是什麼樣。

一臺不確定的機器會對我們恭順。你說別那麼做,它就學到了一點關於我們真實目標的新資訊:某件它以為是在推進我們目標的事,原來不是。於是它退讓,因為它想做的正是我們真正想要的。

這一點在他看來是解決控制問題的核心。而一旦拿掉"目標已知"這個前提,我們熟悉的一大堆理論框架就都不適用了:馬爾可夫決策過程、基於目標的規劃、標準博弈搜尋。問題變得更復雜,因為與人的互動本身變成了問題的一部分。人做出選擇,就是在給你關於真實目標的資訊,這些資訊幫你更好地達成目標。所以你面對的基本上是博弈論問題:機器和人耦合在一起,而不是一臺機器帶著固定目標獨自跑掉。

二十世紀最慘的災難,都來自對目標的確定

訪談在這裡拐了一個彎。羅素說,生命也許本來沒有意義,意義是我們共同商定、在文化中創造出來的。目標要學。而人類文明裡最大的麻煩,往往出現在目標被確定性鎖死的時候:你認定這個目標是唯一正確的,然後不惜一切代價去實現它。二十世紀的德國、蘇俄,都是這個模式的產物。

羅素順著這個思路說了一句會惹麻煩的話。有些人認為我們不必等到AI接管世界,它們已經接管了,那些東西叫公司。公司把人也當成零部件在用,它們本質上是演算法機器,最佳化的目標是季度利潤,這個目標跟人類整體的福祉並不對齊。它們正在摧毀世界,在氣候變化問題上,它們要負主要責任。

政府同理。政府本該是一臺服務人民的機器,結果常常被一群有自己目標的人接管,用政府去最佳化他們自己的目標,不管人民要什麼。

那"爭論機器"行不行?讓多個系統各自鎖定目標互相辯駁,像政治的紅藍兩隊。羅素說,辯論和分歧的前提,是承認你可能錯。如果你絕對確信自己的目標正確,討論就沒有意義,你不會改變主意,也不會有任何綜合。論證本身就是一種不確定推理的實現形式。

他最近在讀功利主義的歷史,讀兩百年來人們試圖用清晰的數學方式定義道德或政治決策的公式。他說這段歷史和今天關於存在風險的討論幾乎一模一樣。

功利主義的粗略版本是:每個人有個效用函式,決策要最大化所有人效用之和。反對意見立刻出現:按這個演算法,最優政策是讓一個人口極其龐大、每個人都過著勉強值得一活的生活的世界出現。這叫"令人反感的結論"(repugnant conclusion)。另一個版本說我們該最大化快樂,於是有人回敬:那不如讓所有人接上海洛因點滴。這話在十九世紀就有人說過了。

跟AI的關係是:如果公式寫錯了,我們會得到一批朝著在事後看來完全錯誤的結果努力的AI系統。

那為什麼AI版本更讓人緊張?因為速度。政治理念錯了,我們看得見它開始出問題,我們也沒那麼蠢,會說這個可能是錯的,換一個試試。而且我們實施起來又慢又低效。真正要擔心的是效率極高的公司和政治系統。

計算機有另一個特性。一個外科醫生如果對某個手術的想法是錯的,做三四臺就會發現問題。製藥公司不行,它們不做三四臺手術,它們生產三四十億片藥,賣出去,然後半年或一年後發現人們在死於心臟病或得了癌症。所以才有FDA,因為藥品生產是可擴充套件的。製藥史上有些糟糕到難以想象的事件,摻假產品殺死過幾萬人,讓幾十萬人癱瘓。

計算機有同樣的可擴充套件性問題。你可以寫一個從一到五十億的迴圈,瞬間產生全球規模的影響。而我們沒有對應的FDA。完全沒有任何管制,去約束一群咖啡因攝入過多的本科生能對世界做什麼。

看Facebook,或者說整個社交媒體和點選率最佳化。一個簡單的反饋演算法,只最佳化點選。聽起來合理,你不想給人推他們不關心的廣告。你甚至可能認為這個過程只是在調整廣告或新聞的推送,去匹配人們的偏好,聽起來是個好主意。

但演算法不是這麼工作的。演算法多賺錢的方式,是更好地預測人們會點什麼,然後精確地餵給他們。而最大化點選率的方法是改造人,讓人變得更可預測。其中一個辦法是餵給他們會改變其行為和偏好的資訊,把他們推向極端,推向最近的那個可預測點。機器會把你逼到那裡。羅素認為有理由說,這正在參與摧毀世界各地的民主。

這個過程裡監督在哪?誰問過:你想把這個演算法應用到地球上的五十億人身上,能不能向我證明它是安全的、不會產生各種負面效果?沒有人在問。沒有一個人站在那群咖啡因過多的本科生和人類之間。

經濟學家會說,資本主義有看不見的手,那就是監督。你如果用什麼決策腐蝕了社會,人們就不用你的產品了。這是一種監督模型。羅素說,那就看著吧。但與此同時,你可能已經把讓資本主義運轉的政治系統弄壞了。

沒有理由允許機器假裝是人

那能不能建立監管機構?他說可以,但要想清楚管什麼,這需要時間。FDA那套分期臨床試驗的體制,第一階段做什麼、第二階段做什麼、透過標準是什麼,設計出來花了很久,到今天還有人想改。而演算法對應的那些標準和分期,我們連想都沒開始想。

有些事現在就能做。偏見。技術上我們已經有比較好的手段去檢測演算法在傳播資料集裡已有的偏見,去消除它,甚至能算出這麼做要花多少成本。這類事情可以先有標準。還有冒充和偽造。

冒充就是機器假裝自己是人。羅素說他看不到任何正當理由,去反對強制機器自我標識為機器。讓人誤以為對面是個人,社會收益在哪?用像人的聲音方便理解,這沒問題,但你得在某個環節說我是機器。

加州有條法律禁止冒充,但只限定在特定情形:從事欺詐交易,以及影響他人投票行為。他認為按理說應該覆蓋所有情形。

至於深度偽造,我們才剛開始。現在已經能造出任何人說任何話的影片,很難識別,包括他自己,因為他正在鏡頭前,聲音是高解析度傳出去的。把他說的話換成任何別人想讓他說的話都行,連嘴唇和面部表情都能跟著改。商業領域還有商標法可用,政治領域目前是隨便來。這會非常有害。

盧瑟福說這是"十足的胡扯",第二天早上齊拉特讀到了

然後羅素講了一段核武器的歷史,用來說明監管為什麼總是來得晚。

二十世紀初人們就知道原子內蘊含巨大能量,知道不同原子及其組分之間的質量差,也知道也許能造出威力空前的炸藥。H.G.威爾斯(H.G. Wells)1912年寫了一本這樣的科幻小說。發現同位素的弗雷德裡克·索迪(Frederick Soddy),諾貝爾獎得主,1915年演講說這種新炸藥一磅相當於一百五十噸黃色炸藥,這個數字後來證明大致準確。那是一戰期間,他在想象如果交戰雙方用上這種東西,戰爭會慘烈多少。而物理學界拒絕相信這是可能的。

羅素說,部分原因是他們不希望它是真的。他們的看法是它不可能為真,這不可能提供造出超級武器的途徑。1933年9月11日,核物理的領袖盧瑟福(Rutherford)演講說,任何談論從原子轉變中獲取能量的人都是在講十足的胡扯(moonshine)。第二天早上,利奧·齊拉特(Leo Szilard)讀到這篇演講的報道,然後發明了核鏈式反應。

齊拉特想到可以用中子:中子不被原子核排斥,能進入核內,然後讓反應繼續。這個念頭一出現,他立刻明白世界要有大麻煩了。那是1933年,希特勒剛在德國上臺。齊拉特當時在倫敦,後來成了難民去了美國。在產生鏈式反應這個想法的過程中,他基本想清楚了怎麼造炸彈,也怎麼造反應堆。1934年他為反應堆申請了專利。但鑑於他能看到的大國衝突局勢,他把這件事保密了。

從那時到二戰開始,包括德國人在內,人們都在研究怎麼造出中子源、哪些具體的裂變反應能產生能量合適的中子來維持反應。1938年德國做出了演示。第一份核武器專利是1939年法國人申請的。這一切在二戰真正開打之前很久就在進行了。英國大概有最先進的能力,但出於安全等考慮,加上資源問題,他們把專案從英國搬到了美國,後來就成了曼哈頓計劃。

所以核技術為什麼沒能及時得到監督?因為那時我們基本上已經身處軍備競賽和戰爭之中了。

如果你成功了會怎樣

為什麼今天大部分AI研究者不擔心?羅素用了心理學裡的一個詞:動機性認知(motivated cognition),你相信你希望是真的東西,而不是真的東西。想到自己手上的工作可能是人類的終結,這讓人不安,所以你寧可立刻否認,再找個理由說明它不可能為真。

他收集了一張很長的清單,都是極其聰明、極有能力的科學家提出的"不必擔心"的理由。

比如:計算器在算術上遠超人類,它們也沒接管世界,所以沒什麼好擔心的。羅素說,他五歲的孩子都能看出這個論證有多弱。

再比如:超人類AI毀滅世界在理論上是可能的,但一個黑洞在地球旁邊憑空出現、毀滅人類,理論上也可能。量子理論上它出現的機率極低。羅素說這個類比完全站不住腳:如果地球上整個物理學界都在致力於讓一個黑洞出現在近地軌道,你難道不會問他們一句,這是個好主意嗎?這安全嗎?萬一你們成功了呢?

問題就在這兒。AI界拒絕問自己"如果你成功了會怎樣"。最初不問是因為太難。但圖靈問過自己,他的回答是我們完蛋,運氣好也許能關掉電源,但大機率完蛋。

另一層原因是,我們並不確定未來是什麼樣,所以也不太清楚技術上到底該擔心什麼、事情會怎麼壞。這就帶出一種麻痺感:你在擔心一件邏輯上似乎不可避免、但你完全不知道它長什麼樣的事。

羅素承認這個說法有道理。存在風險和隕石撞地球不一樣。隕石撞地球在過去發生過,將來大概還會發生,而且如果我們真探測到一顆七十五年後會撞上來的小行星,我們肯定會做點什麼。而AI這件事,很多人認為它不會發生,羅德尼·布魯克斯(Rod Brooks)不這麼認為,安德魯·吳(Andrew Ng)大概也不這麼認為。但天天在一線敲石頭的人裡,很多人認為它會來。AI研究者的估計中位數是四十到五十年後,亞洲那邊認為更快。

他本人保守一些,覺得可能要更久。但核武器是一夜之間做成的。這種事可能一夜之間發生。他說不需要一次突破,粗略地數,大概需要半打這樣的突破,才能到達超人類AI。而AI研究共同體現在規模龐大,政府和企業投入巨大,聰明人極多,你只要看看各個子領域的進展速度就知道事情走得相當快。說這要幾千年,他看不到任何依據。

他順手點了斯坦福"AI一百年研究"專案。那是建制派的嚴肅聲音,最新報告居然說這大概一段時間內根本不可能。如果你想要一個人們集體否認的完美例子,這就是。 AI的整個歷史裡我們一直在對哲學家說,你根本不知道你在講什麼,它當然可能,給我一個它不可能的理由。而現在,人們因為擔心這事會被搞臭名聲,反過來自己說它不可能。

他說這就像癌症生物學界的領袖們站出來說,治癒癌症當然不是真的可能。這太奇怪了。

大猩猩沒能解決的控制問題

如果接受它可能、而且大概會發生,那它怎麼壞?沒有答案的話,你就卡在他所說的"大猩猩問題"裡。

幾百萬年前,大猩猩造出了比它們更聰明的東西,也就是我們。現在它們處境非常糟,而且它們什麼也做不了,它們已經失去了控制,它們沒能解決控制人類的控制問題。

我們不希望處在那個位置。而如果大猩猩問題是你唯一的表述方式,你能做的事就不多,只能說不該造人類,在這裡就是不該造AI。羅素說,他不認為這是一條可行的路線,而且如果控制得當,AI能帶來極大的好處。

所以在他看來,主要失敗模式之一已經形成共識:失控。我們造出的AI系統在追求錯誤的目標,而因為系統相信自己知道目標是什麼,它就再也沒有動機聽我們的了。它在執行一個它算出來的最優策略。為了成功,它可能需要獲取更多資源;為了防範各種失敗模式,它可能需要自我防禦、對抗干擾。這一組問題,他認為是可以著手處理的。

第二個問題是誤用。就算我們解決了控制問題,做出了完全安全可控的AI系統,惡人為什麼要用它?他要接管世界,他會做出不安全的AI系統,然後那東西失控。這個問題一半是治安問題,一半是行業文化問題:我們怎麼教人分辨什麼樣的系統是安全的。

他提到自主武器系統,幾乎所有人都同意這裡有太多可能出大錯的地方,那部叫《屠殺機器人》(Slaughter Bots)的短片把這件事講得很清楚。

還有第三個失敗模式,他特別提出來:過度使用。 我們變得過度依賴。他管這叫"瓦力問題"(Wall-E)。電影里人類坐在飛船上,機器替他們打理一切,他們只看電視、喝大杯飲料,全都肥胖、遲鈍,徹底丟掉了人類自主性的概念。

這是溫水煮青蛙。我們會一步步把文明的更多管理權交給機器,現在已經在這麼做了。如果這個過程繼續,我們就會從技術的主人變成客人。當一週遊輪上的客人沒問題,當一輩子不行,而且這幾乎不可逆。一旦你失去了去學做工程師、醫生、清潔工的動力,也就失去了維持和傳遞文明的無數種方式中的任何一種的動力,你就不會去做了,再想恢復極其困難。

他說其他技術也有類似效果,但區別在這裡:在執行文明所需的知識這件事上,我們過去別無選擇,只能把它放進人的腦子裡。 我們一直把知識寫在紙上,但紙不會執行文明。只有當知識從紙上再進入人的頭腦,它才起作用。我們靠人心來傳遞文明,為此花了大約一萬億人年。地球上活過的人剛過一千億,每個人花大約十年學東西來維持文明運轉,算下來就是一萬億人年。

現在我們有把這一萬億人年扔掉的風險。

而這個問題他解決不了,它不是技術問題。如果我們做對了,AI系統會說:人類長遠來看不想當遊輪上的乘客,人類要自主,這是人類偏好的一部分,所以我們不會替你把這事做了,你得自己去做。我不會用自動駕駛直升機把你送到珠峰頂,你想拿到那份收穫,就得自己爬。

但他擔心,因為短視和懶惰,我們會去覆蓋系統的判斷。他推薦所有人讀一個短篇,E.M.福斯特(E.M. Forster)1909年寫的《大機器停轉》(The Machine Stops)。福斯特是寫大英帝國題材、後來被BBC拍成古裝劇的那位小說家,只寫了這一篇科幻。裡面有類似iPad的東西,有視訊會議,有按需點播,有因使用計算機導致的肥胖。人們的全部生活就是講網課、聽網課、談論想法,從不真正走進真實世界,幾乎沒有面對面接觸。我們今天擔心的東西,那篇小說全都寫到了。然後人類越來越依賴機器,失去了事物如何運轉的知識,變得極易崩潰。

1909年能想到這些,羅素覺得難以置信。

他每天都在跟自己吵架

訪談者問他會不會感到負擔:在電腦科學圈外,人們說"斯圖爾特·羅素都擔心安全,你也該擔心",這種位置沉不沉。

實際層面的負擔是真的。他一天能收到十幾封、有時二十五封邀請,請他去講這個、接受採訪、寫評論文章。這本身就說明人們確實關心、確實有興趣。

那他擔心自己可能錯嗎?

他說當然,一直在擔心,他一直就是這麼工作的。腦子裡跟自己吵架:冒出一個想法,然後想,這怎麼會錯?是不是別人早就想到了?於是去翻儘可能多的文獻,看有沒有人想過、甚至駁倒過。

他現在讀很多哲學,因為在功利主義和其他道德公式的爭論裡,人們已經把一些問題想透了。但他沒在這些爭論裡看到那個具體的想法:目標中的不確定性至關重要,這才是我們思考"對人類有益的機器"的方式。 他稱之為可證明有益的機器(provably beneficial machines),建立在目標明確的不確定性之上。他的直覺是這就是核心,需要往很多方向展開。

而它必須是可證明的。不能靠手揮一揮說"有益的"。凡是我們揮手糊弄的地方,都有漏洞,而超智慧機器會找到漏洞。就像逃稅的人,如果你的稅法寫得不嚴謹,人們就會找到漏洞,最後一分稅都不交。

把這些定義弄對是一個漫長的過程。你可以定義數學框架,在框架內證明定理:這個理論實體對那個理論實體可證明有益。但這個框架可能在某個關鍵之處並不對應真實世界。得反覆推敲、迭代。

最後一個問題,十秒鐘:最喜歡的關於AI的科幻電影?

《星際穿越》(Interstellar)裡有他最喜歡的機器人,塔斯(TARS)。那也是機器人該有的行為方式。至於讓人對未來產生某種緊張感的,是《機械姬》(Ex Machina)。

羅素在整場訪談裡沒有渲染任何一幕。他講核物理學家如何拒絕相信自己的計算,講一群咖啡因過多的本科生如何改寫了五十億人的資訊環境,講大猩猩如何在幾百萬年前造出了我們。這些話的力量來自它們的平常:他不是在預言災難,他是在指出一個已經重複過很多次的模式,然後說,這次的規模不同。

至於普通人能做什麼,他給出的方向其實很具體。

  • 遇到任何"AI不可能有那種能力"的論斷,先追問一句理由是什麼。羅素收集的那張清單裡,絕大多數理由的強度不超過"計算器也沒接管世界"。判斷一個論證,看它能不能過你自己那一關,不看說話人的頭銜。
  • 把"如果成功了會怎樣"當成一個標準問題。不管是自己做的專案,還是公司要上線的演算法,先問成功之後的形態,再問失敗的機率。AI界迴避這個問題迴避了七十年。
  • 對任何直接最佳化人的指標保持警覺。點選率、停留時長、轉化率,這些指標的最佳化路徑裡,有一條是把人改造成更可預測的樣子。看到這類系統,先問它最佳化的是什麼,以及它有沒有可能透過改變你來達成目標。
  • 支援"機器必須自我標識為機器"這類看起來太簡單、所以沒人推動的規則。真正能落地的監管,往往從這種低爭議的條款開始,而不從定義通用智慧開始。
  • 在涉及重大讓渡的決定上,保留自己動手的能力。讓AI替你寫程式碼可以,別讓"知道怎麼執行這套東西"從人類頭腦裡消失。文明靠一萬億人年的人腦傳遞維持,這份賬本一旦關掉,很難重新開啟。
文稿由本站用語音識別模型(基於官方釋出音訊)機器轉寫,可能有識別錯誤,人名與數字請以音訊為準。
[00:00:00] The following is a conversation with Stuart Russell. He's a professor of computer science at UC Berkeley and co-author of a book that introduced me and millions of other people to the amazing world of I called artificial intelligence a modern approach. So it was an honor for me to have this conversation as part of an MIT course in artificial general intelligence and the artificial intelligence podcast. If you enjoy it, please subscribe on YouTube, iTunes or your podcast provider of choice, or simply connect with me on Twitter at Lex Friedman spelled F our ID. [00:00:36] And now here's my conversation with Stewart Russell. So you've mentioned in 1975 in high school, you've created one your first aid programs that play chess. Were you ever able to build a program that beat you at chess or another board game? So my program never beat me at chess. I actually wrote the program at Imperial College, so I used to take the bus every Wednesday with a box of cards this big and shove them into the card reader and they gave us eight seconds of CPU time. [00:01:34] It took about five seconds to read the cards in and compile the code, so we had three seconds of CPU time, which was enough to make one move, you know, with a not very deep search. [00:01:46] And then we would print that move out and then we'd have to go to the back of the queue and wait to feed the cards in again. How deep was the search? Are we talking about. [00:01:55] And also now I think we got we got an eight move, eight feet with Alpha Beta and we had some tricks of our own about move ordering and some pruning of the tree. [00:02:07] And we were still able to beat that program. [00:02:11] Yeah, yeah. I was a reasonable chess player in my youth. I did an Othello program and a backgammon program. So when I got to Berkeley, I worked a lot on. [00:02:23] What we call meta reasoning, which really means reasoning about reasoning in the case of a game plan program, you need to reason about what parts of the search you're actually going to explore, because the search area is enormous, you know, bigger than the number of atoms in the universe. [00:02:41] And the way programs succeed in the way humans succeed is by only looking at a small fraction of the tree. And if you look at the right fraction, you play really well. If you look at the wrong fraction, if you waste your time thinking about things that are never going to happen, Moossa no one's ever going to make, then you're going to lose because you you won't be able to figure out the right decision. So that question of how machines can manage their own competition, how they how they decide what to think about. [00:03:14] Is the matter any question we developed some methods for doing that, and very simply, a machine should think about whatever thoughts are going to improve its decision quality. [00:03:26] We were able to show that both for a fellow, which is a standard to play a game and for backgammon, which includes dice roll. So it's OK to play a game with uncertainty. [00:03:38] For both of those cases, we could come up with algorithms that were actually much more efficient than the standard Alphabeat of search, which chess programs at the time were using, and that those programs could beat me. [00:03:54] And I think you can see. The same basic ideas in Alpha Go and Alpha Zero today. The way they explored the tree. Is using a former metter reasoning to select what to think about based on how useful it is to think about it. [00:04:12] Is there any insights you can describe with our Greek symbols of how do we select which path to go down? [00:04:21] There's really two kinds of learning going on. [00:04:23] So as you say, Alpha go learns to evaluate board position so it can it can look at a go board and it actually has apparently a superhuman ability to instantly tell how promising that situation is. To me, the amazing thing about Avago is not that. It can be the world champion with its hands tied behind his back, but the fact that. If you stop it from searching altogether, so you say, OK, you're not allowed to do any thinking ahead, you can just consider each of your legal moves and then look at the resulting situation and evaluate it. [00:05:05] So what we call a depth one search. So just the immediate outcome of your moves and decide if that's good or bad. That version of Alpha go. Can still play at a professional level and human professionals are sitting there for five, 10 minutes deciding what to do and Alfa go in less than a second. Can instantly intuit what is the right move to make based on its ability to evaluate positions, and that is remarkable because, you know, we don't have that level of intuition about go. [00:05:40] We actually have to think about the situation. So anyway, that capability that Avago has is one big part of why it beats humans. The other big part is that it's able to look ahead. 40, 50, 60 moves into the future. Mm hmm. And. You know, if it was considering all possibilities, 40 or 50 or 60 moves into the future, that would be, you know, 10 to the 200. Possibilities are way, way more than, you know, atoms in the universe and and so on, so it's very, very selective about what it looks at. [00:06:23] So let me try to give you an intuition about. How you decide what to think about is a combination of two things. One is how promising it is. Mm hmm. Right. [00:06:34] So if you're already convinced that a movie is terrible, there's no point spending a lot more time convincing yourself that it's terrible because it's probably not going to change your mind. [00:06:46] So the the real reason you think is because there's some possibility of changing your mind about what to do. [00:06:52] Mm hmm. Right. And is that changing your mind? That would result then in a better final action in the real world. [00:07:00] So that's the purpose of thinking is to improve the final action in the real world. And so if you think about a move that is guaranteed to be terrible, you can convince yourself it's terrible. You're still not going to change your mind. [00:07:14] Right. [00:07:16] But on the other hand, you suppose you had a choice between two moves, one of them you've already figured out is guaranteed to be a draw, let's say, and then the other one looks a little bit worse, like it looks fairly likely that if you make that move, you're going to lose. [00:07:30] But there's still some uncertainty about the value of that move. There's still some possibility that it will turn out to be a win. Right. Then it's worth thinking about that. So even though it's less promising on average than the other move, which is guaranteed to be a draw, there's still some purpose in thinking about it because there's a chance that you will change your mind and discover that, in fact, it's a better move. So it's a combination of how good the move appears to be and how much uncertainty there is about its value. [00:08:01] The more uncertainty, the more it's worth thinking about, because there's a higher upside, if you want to think of it that way. [00:08:08] And of course, in the beginning, in the Alpha Zero formulation, it's everything is shrouded in uncertainty. So you really swimming in a sea of uncertainty. [00:08:20] So it benefits you to I mean, actually following the same process as you describe it, because you're so uncertain about everything, you have to try a lot of different directions. [00:08:31] Yeah. So so the the early parts of the search tree, a fairly bushy, um, that it will it would look at a lot of different possibilities, but fairly quickly the degree of certainty about some of the moves. I mean, if a move is really terrible, you're pretty quickly find out you lose half your pieces or half your territory. And and then you say, OK, this this is not worth thinking about anymore. And then so a further down the tree becomes very long and narrow and you're following various lines of play. [00:09:03] You know, 10, 20, 30, 40, 50 moves into the future and, you know, that, again, is something that that human beings have a very hard time doing, mainly because they just lack the short term memory. [00:09:18] You just can't remember a sequence of moves that's 50 minutes long. And you can't do you can't imagine the board correctly for that money moves into the future. [00:09:29] Of course, the top players I'm much more familiar with chess, but the top players probably have they have echoes of the same kind of intuition, instinct that in a moments time, Alpha girl applies when they see a board. I mean, they've seen those patterns. Human beings have seen those patterns before at the top. [00:09:49] But the grandmaster level, it seems that there is some similarities or maybe it's it's our imagination creates a vision of those similarities. But it feels like this kind of pattern recognition that the Afgooye approaches are using is similar to what human beings at the top level are using. [00:10:12] I think there's there's some truth to that, but not entirely. Yeah. [00:10:18] I mean, I think the the extent to which. A human grand master can reliably wreck, instantly recognize the right move and instantly recognize the value of a position. I think that's a little bit overrated. [00:10:33] But if you sacrifice a queen, for example, I mean, there's these there's these beautiful games of chess with Bobby Fisher, somebody where it's seeming to make a bad move. [00:10:44] And I'm not sure there's a perfect degree of calculation involved where they've calculated all the possible thing to happen. But there's an instinct there. Right, that somehow adds up to the. [00:10:58] Yeah. [00:10:58] So I think what happens is you you get a sense that there's some possibility in the position, even if you make a weird looking move, that it opens up some some lines of. Calculation that otherwise would be definitely bad and and is that intuition that there's something here? [00:11:24] In this position, that might might yield a win down the side and then you follow that, right. And in some sense, when when a chess player is following a line and in his or her mind, they're. They're mentally simulating what the other person is going to do, what the opponent is going to do, and they can do that as long as the moves are kind of forced. [00:11:48] Right. As long as there's you know, there's a a call, a forcing variation where the opponent doesn't really have much choice, how to respond. And then you see if you can force them into a situation where you win. You know, we see plenty of mistakes, even even in grandmaster games where they just miss some simple three, four or five move combination that, you know, wasn't particularly apparent in in the position but was still there. [00:12:16] That's the thing that makes us human. Yeah. So when you mentioned that in Othello, those games are after some matter, reasoning, improvements and research was able to beat you. [00:12:29] How did that make you feel? [00:12:30] Part of the meta reasoning capability that it had was based on learning. [00:12:36] And and you could sit down the next day and you could just feel that it had got a lot smarter, you know, and all of a sudden you really felt like you sort of pressed against the wall because it was it was much more aggressive and was totally unforgiving of any minor mistake that you might make. [00:12:58] And and actually, it seemed, understood the game better than I did. And Garry Kasparov has this quote where during his match against Blue, he said he suddenly felt that there was a new kind of intelligence across the board. [00:13:16] Do you think that's a scary or an exciting possibility for Kasparov and for yourself? In the context of chess, purely sort of in this like that feeling, whatever that is, I think it's definitely an exciting feeling. [00:13:33] You know, this is what made me. Work on I in the first place was as soon as I really understood what a computer was, I wanted to make it smart. You know, I started out with the first program I was for the Sinclair Programmable Calculator, and I think you could write a 21 step algorithm that was the biggest program. You could write something like that and do little arithmetic calculations. [00:14:00] So I think I implemented Newton's method for a square roots and a few other things like that. [00:14:07] But then, you know, I thought, OK, if I just had more space, I could make this thing intelligent. [00:14:14] And so I started thinking about I and. And I think the thing that's scary is not is not the chess program. Because, you know, just programs, they're not in the taking over the world business, but. If you extrapolate, you know, there are things about chess that don't resemble the real world, right? [00:14:46] We know we know the rules of chess. The chess board is completely visible to the program where, of course, the real world is not most most of the real world is not visible from wherever you're sitting, so to speak. And to overcome those kinds of problems, you need qualitatively different algorithms. Another thing about the real world is that, you know, we we regularly. [00:15:18] Plan ahead on the timescales involving billions or trillions of steps. Now, we don't plan those in detail, but, you know, when you choose to do a Ph.D. at Berkeley. [00:15:31] That's a five year commitment that amounts to about a trillion to control steps that you will eventually be committed to, including going up the stairs, opening doors, drinking water type. [00:15:45] Yeah, I mean, I every every finger movement while you're typing every character of every paper in the thesis and everything. [00:15:50] So you're not committing in advance to the specific material steps, but you're still reasoning on a time scale that will eventually reduce to trillions of motor control actions. [00:16:03] And so for all these reasons. You know, go and deep blue and so on don't represent any kind of threat to humanity, but they are a step towards it, right. And that and progress and I. [00:16:21] Occurs by essentially removing one by one these assumptions that make problems easy, like the assumption of complete observability of the situation, we remove that assumption. [00:16:33] You need a much more complicated kind of computing design and you need something that actually keeps track of all the things you can't see and tries to estimate what's going on. And there's inevitable uncertainty in that. So it becomes a much more complicated problem. [00:16:49] But, you know, we are removing those assumptions. [00:16:53] We are starting to have algorithms that can cope with much longer timescales, that can cope with uncertainty, that can cope with partial observability. And so each of those steps sort of magnified by a thousand. The range of things that we can do with A.I. systems. [00:17:11] So the way I started and I want to be a psychiatrist for a long time and understand the mind in high school and, of course, program and so on. And I showed up University of Illinois to an AI lab and they said, OK, I don't have time for you, but here's a book I am on an approach. I think it was the first edition at the time. [00:17:32] Here, go, go, go learn this. And I remember the lay of the land was well, it's incredible. We chess, but we'll never solve go. I mean, it was pretty certain that go in the way we thought about systems, that reason was impossible to solve and now we've solved it. [00:17:49] So it's a very I think I would have said that it's unlikely we could take the kind of algorithm that was used for chess and just get it to scale up and work well for go. And at the time, what we thought was that in order to solve go, we would have to do something similar to the way humans manage the complexity of go, which is to break it down into kind of sub games. [00:18:20] So when a human thinks about a robot, they think about different parts of the board as sort of weakly connected to each other. [00:18:28] And they think about, OK, within this part of the board, here's how things could go in that part about his how things could go and how you try to sort of couple those two analyses together and deal with the interactions and maybe revise your views of how things are going to go in each part. And then you've got maybe five, six, seven, 10 parts of the board. And and that actually resembles. [00:18:52] The real world, much more than chess does, because in the real world, you know, we have work, we have home life, we have sport, you know, whatever different kinds of activities, you know, shopping. [00:19:06] These all are connected to each other, but they're weakly connected, so when I'm typing a paper, you know, I don't simultaneously have to decide which order I'm going to get the milk and the butter, you know, that doesn't affect the typing. [00:19:23] But I do need to realize, OK, but I finish this before the shops close because I don't have anything or have any food at home. Right. Right. [00:19:30] So there's some reconnection, but not in the way that chess works, where everything is tied into a single stream of thought. [00:19:39] So the thought was that go just to sort of go would have to make progress on stuff that would be useful for the real world. And in a way, our figure is a little bit disappointing. Right. Because the the program designed for Africa was actually not that different from. [00:19:56] From deep blue or even from afar, Samuels checkable program from the 1950s. And in fact, the so the two things that make Africa work is one. One is this amazing ability, ability to evaluate the positions. In the other is the better reasoning capability which which allows it to. [00:20:16] To explore some paths in the tree very deeply into abandoned other paths, very quickly, so this word, metter reasoning, while technically correct, inspires perhaps the wrong degree of power that Avago has. [00:20:34] For example, the word reasoning is a powerful word. [00:20:37] Let me ask you sort of the you were part of the symbolic A.I. world for a while ago. I was a lot of excellent, interesting ideas there that unfortunately met. [00:20:51] A winter and so do you think it reemerges? Oh, I would say. [00:20:59] Yeah, it's not quite as simple as that, so the the winter. The first winter that was actually named as such was the one in the late 80s. And that came about because in the mid 80s, there was a. Really a concerted attempt to push EAI out into the real world using what was called expert system technology and for the most part, that technology was just not ready for prime time. [00:21:34] They were trying, in many cases, to do a form of uncertain reasoning. [00:21:40] Judge, you know, judgment, combinations of evidence, diagnosis, those kinds of things. Which was simply invalid. And when you try to apply invalid reasoning methods to real problems, you can forget for small versions of the problem. [00:21:56] But when it starts to get larger, the thing just falls apart. [00:22:01] So many companies found that the stuff just didn't work and they were spending tons of money on consultants to try to make it work and. [00:22:12] There were, you know, other practical reasons, like, you know, they they were asking the companies to buy incredibly expensive. Lisp machine workstations, which were literally between 50 and 100 thousand dollars in, you know, in 1980s money, which was would be like between 150 and 300 thousand dollars per workstation in current prices. [00:22:36] So the bottom line, they weren't seeing a profit from it. [00:22:40] Yeah, they in many cases, I think there were some successes, there's no doubt about that. But people, I would say overinvested. Every major company was starting an EHI department, just like now. And I worry a bit that we might see similar disappointments, not because of technol, the current technology is invalid, but it's limited in its scope. And it's almost the the duel of the, you know, the scope problems that expert systems had. [00:23:15] So what have you learned from that hype cycle and what can we do to prevent another winter, for example? [00:23:23] Yeah. So when I'm giving talks these days, that's one of the warnings that I give to two part warning slide. [00:23:32] One is that, you know, rather than data being the new oil data is the new snake oil. [00:23:38] It's a good line. [00:23:39] And then and then the other is that we might see. A kind of very visible failure in some of the major application areas, and I think self-driving cars would be the flagship. And I think. [00:23:59] When you look at the history, it's the first self-driving car was on the freeway, driving itself, changing lanes, overtaking in 1987. And so it's more than 30 years and the kind of looks like where we are today. [00:24:20] Right. You know, prototypes on the freeway, changing lanes and overtaking now. [00:24:26] I think significant progress has been made, particularly on the perception side, so. We worked a lot on autonomous vehicles in the early mid 90s at Berkeley, you know, and we had our own big demonstrations. [00:24:40] You know, we we put congressmen into self-driving cars and had them zooming along the freeway. [00:24:48] And the problem was clearly perception. At the time, the problems, yeah, so in simulation, with perfect perception, you could actually show that you can drive safely for a long time even if the other cars are misbehaving and so on. But. Simultaneously, we worked on machine vision for detecting cars and tracking pedestrians and so on and. [00:25:15] We couldn't get the reliability of detection and tracking up to a high enough level, particularly in bad weather conditions, nighttime rainfall, good enough for demos, but perhaps not good enough to cover the general, the general. [00:25:32] The thing about driving is, you know, so suppose you're a taxi driver and you drive every day, eight hours a day for 10 years, right. That's 100 million seconds of driving. You know, and any one of those seconds, you can make a fatal mistake. So you're talking about eight nines of reliability right now if your vision system only detects ninety eight point three percent of the vehicles. [00:25:57] Right. And that's sort of one and a bit nines of reliability. So you have another seven orders of magnitude to go. And and this is what people don't understand. [00:26:09] They think, oh, because I had a successful demo, I'm pretty much done. But you're not even within seven orders of magnitude of being done. [00:26:21] And that's the difficulty and it's it's not there. Can I follow a white line that's not the problem. We follow a white line all the way across the country. But it's that it's the weird stuff that happens, it's so the case cases, yeah, the other driver is doing weird things, you know, so if you talk to Google, right. [00:26:44] So they had actually a very classical architecture where you had machine vision, which would detect all the other cars and pedestrians and the white lines and the road signs. [00:26:56] And then basically that was fed into a logical database. [00:27:00] And then you had a classical 1970s rule based expert system telling you, OK, if you're in the middle lane and there's a bicyclist in the right lane who is signaling this, then then then then you do that. Yeah, right. And what they found was that every day they'd go out and there'd be another situation that the rules didn't cover, you know, so they they come to a traffic circle and there's a little girl riding a bicycle the wrong way around the traffic circle. [00:27:27] What do you do? We don't have a rule. [00:27:29] Oh, my God. OK, stop. And then, you know, they come back and admirals and they just found that this was not really converging. And if you think about it right now, how do you deal with an unexpected situation, meaning one that you've never previously encountered and the sort of the the reasoning required to figure out the solution, but that situation has never been done. It doesn't match any previous situation in terms of the kind of reasoning you have to do. [00:28:00] Well, you know, in chess programs, this happens all the time. You're constantly coming up with situations you haven't seen before and you have to reason about them. And you have to think about here are the possible things I could do. Here are the outcomes. Here's how desirable the outcomes are. And then pick the right one. You know, in the 90s, we were saying this is how are you going to have to do automated vehicles? They're going to have to have the look ahead capability. [00:28:25] But the look ahead for driving is more difficult than it is for chess because the other right, there's humans and they're less predictable than chess pieces, then, well, then you have an opponent in chess who's also somewhat unpredictable. [00:28:41] But for example, in chess, you always know the opponent's intention, they're trying to beat you, right? Whereas in driving you don't know, is this guy trying to turn left or has he just forgotten to turn off his turn signal or is he drunk or is he, you know, changing the channel on his radio or whatever it might be? [00:29:00] You've got to try and figure out the mental state, the intent of the other drivers to forecast the possible evolutions of their trajectories. [00:29:10] And then you got to figure out which is the directory for me that's going to be safest. And those all interact with each other because the other driver is going to react to your trajectory and so on, so, you know, they've got the classic merging onto the freeway, a problem where you're kind of racing a vehicle that's already on the freeway and you are going to pull ahead of them or you're going to let them go first and pull in behind. [00:29:33] And and you get this sort of uncertainty about who's going first. So all those kinds of things. Mean that you need decision making architecture, that's. Very different from either a rule based system or it seems to me, kind of an end to end neural network system, you know, so just as Alpha is pretty good when it doesn't do when you look ahead. [00:30:00] But it's way, way, way, way better when it does. I think the same is going to be true for driving. You can have a driving system that's pretty good. When it doesn't do any look ahead, but that's not good enough, you know, and we've already seen multiple deaths caused by poorly designed machine learning algorithms that don't really understand what they're doing. [00:30:25] Yeah, on several levels. I think it's on the perception side, there's mistakes being made by those algorithms where the perception is very shallow on the planning side to look ahead, like you said. And the thing that we come up against, that's. Really interesting when you try to deploy systems in the real world, as you can't think of an artificial intelligence system as a thing that responds to the world always, you have to realize it's an agent that others will respond to as well. [00:30:58] So in order to drive successfully, you can't just try to do obstacle avoidance. [00:31:03] You can't pretend that you're invisible. You're right. You're the invisible car. Right. [00:31:08] So that way, I mean, but you have to search yet others have to be scared of you. Just where else? [00:31:14] There's this tension. There's this game. So if we study a lot of work with pedestrians, if you approach pedestrians as purely an obstacle, avoidance of you usually do look ahead as in modeling the intent that you're you're they're not going to they're going to take advantage of you. They're not going to respect you at all. There has to be a tension, a fear, some amount of uncertainty. That's how we have we or at least just have kind of a resoluteness. [00:31:43] Right. So you you have to display a certain amount of resoluteness. You can't you can't be too tentative. [00:31:49] And so the the solutions then become pretty complicated, right? [00:31:56] You get into game theoretic, yes. Analyses. And so Berkely now we're working a lot on this kind of interaction between machines and humans, and that's exciting. Yeah. And so my colleague and Kuragin. Actually. You know, if you if you formulate the problem game theoretically and you just let the system figure out the solution, you know, it does. Interesting, unexpected things like sometimes at a stop sign, if no one is going first. Right, the car will actually back up a little. [00:32:34] Right. [00:32:35] And just to indicate to the other cars that they should go. And that's something it invented entirely by itself. [00:32:41] That's interesting right there. You know, we didn't say this is the language of communication at stop signs. It figured it out. That's really interesting. [00:32:49] So let me one just step back for a second. Just this beautiful philosophical notion. So Pamela Kordic in 1979 wrote, I began with the ancient wish to forge the gods. [00:33:05] So when you think about the history of our civilization, do you think that there is an inherent desire to create, let's not say gods, but to create superintelligence? Is it inherent to us? Is it in our genes that the natural arc of human civilization is to create things that are of greater and greater power and perhaps echoes of ourselves? [00:33:34] So to create the gods is, as Pamela said. If there may be I mean, in a world where all individuals. But certainly we see over and over again in history. Individuals who thought about this possibility, hopefully when I'm not being too philosophical here, but if you look at the arc of this, you know where this is going and we'll talk about safety, we'll talk about greater and greater intelligence. [00:34:08] Do you see that they're in when you created the Othello program and you felt this excitement? What was that excitement? Was the excitement of a tinkerer who created something cool, like a clock or was there? [00:34:23] Imagic, or is it more like a child being born? Yeah, so I mean, I certainly understand that viewpoint. And if you look at. The Lighthill report, which was so in the 70s, there was a lot of controversy in the UK about A.I. and, you know, whether it was for real and how much the money, money the government should invest and. There was a long story, but the government commissioned a report by. By Lighthill, who was a physicist, and he wrote a very damning report about A.I., which I think was the point. [00:35:04] And he said that that these are, you know, frustrated men who are unable to have children, would like to to create and create a life, you know, as a kind of replacement, you know, which which I think is really pretty unfair. [00:35:29] But there is I mean, there. There is a kind of magic, I would say you when you you build something. And what you're building in is really just your building and some understanding of the principles of learning and decision making. And to see those principles actually then turn into intelligent behavior. In in specific situations. It's an incredible thing and. You know that. Is naturally going to make you think, OK, where does this end? [00:36:15] And so there's there's magical, optimistic views of where it ends. Whatever your view of optimism is, whatever your view of utopia is probably different for everybody. [00:36:28] But you've often talk about. Concerns you have of how things may go wrong, so I've talked to Max Tegmark, there's a lot of interesting ways to think about safety. [00:36:45] You're one of the seminal people thinking about this problem amongst sort of being in the weeds of actually solving specific A.I. problems. [00:36:55] You also think about the big picture of where we're going. So can you talk about several elements of it? Let's just talk about maybe the control problem. So this idea of losing ability to control the behavior of A.I. system. So how do you see that? How do you see that coming about? What do you think we can do? To manage it well, so it doesn't take a genius to realize that if you make something that's smarter than you, you might have a problem, you know, interring Alan Turing. [00:37:34] You wrote about this and gave lectures about this, you know, I think 1951. He did a lecture on the radio and he basically says, you know, once the machine thinking method starts, you know, very quickly they'll outstrip humanity. And, you know, if we're lucky, we might be able to I think he says it, if we may be able to turn off the power at strategic moments, but even so, our species would be humbled. [00:38:07] You actually, I think, was wrong about that. You know, if it's a sufficiently delicate machine is not going to let you switch it off, it's actually in competition with you. [00:38:16] So what do you think is meant? Just for a quick tangent, if we shut off this superintelligent machine, that our species will be humbled? [00:38:27] I think he means that we would realize that we are inferior, right, that we we only survive by the skin of our teeth because we happen to get to the off switch, you know, just just in time, you know? [00:38:42] And if we hadn't, then we would have lost control over the earth. So are you more worried when you think about the stuff about superintelligent A.I or are you more worried about super powerful A.I. that's not aligned with our values? So the paper clip scenarios kind of. I think so. [00:39:04] The main problem I'm working on is, is the control problem, the the problem of machines pursuing objectives that are, as you say, not aligned with human objectives. And and this has been. Has been the way we've thought about this since the beginning. You you build a machine for optimizing and then you put it in some objective and it optimizes, right. [00:39:32] And, you know, we can think of this as the the King Midas problem, right? [00:39:39] Because if, you know, if the King Midas put in this objective, right, everything I touched turned to gold and the gods, you know, that's like the machine they've done. [00:39:50] You know, you now have this power. And, of course, his food and his drink and his family all turned to gold and then he of misery and starvation. And this is. [00:40:02] You know, it's a warning, it's a failure mode that pretty much every culture in history has had some story along the same lines. You know, there's the genie that gives you three wishes. And your third wish is always, you know, please undo the first two wishes because I messed up. And, you know, when Arthur Samuel wrote his chest, his Jelka playing program, which learn to play checkers considerably better than Arthur Samuel could play and actually reached a pretty decent standard. [00:40:36] No, but we know who was the one of the major mathematicians of the 20th century, sort of a father of modern automation control systems. You know, he saw this and he basically extrapolated, you know, as Turing did and said, OK, this is how we could lose control. And specifically that. We have to be certain that the purpose we put into the machine is the purpose which we really desire, and the problem is we can't do that. [00:41:13] Right. You mean we're not it's a very difficult to encode to to put our values on paper is really difficult or you just saying it's impossible. [00:41:25] The line is between the two. [00:41:26] So theoretically it's possible, but in practice it's extremely unlikely that we could specify correctly in advance the full range of concerns of humanity that you talked about. [00:41:42] Cultural transmission of values, I think is how humans to human transmission of values happens. Right. [00:41:48] What we learn. Yeah. [00:41:49] I mean, as we grow up, we learn about the values that matter, how things, how things should go, what is reasonable to pursue and what isn't reasonable to pursue. [00:42:00] Machines can learn the same kind of way. Yeah. [00:42:02] So I think that what we need to do is to get away from this idea that you build an optimising machine and then you put the objective into it. Because. If it's possible that you might put in a wrong objective and we already know this is possible because it's happened lots of times, right, that means that the machine should never take an objective that's given as gospel truth. [00:42:31] Because once it takes them, the objective is gospel truth. All right, then it's believes that whatever actions it's taking in pursuit of that objective are the correct things to do. [00:42:44] So you could be jumping up and down saying, no, no, no, no, no, you're going to destroy the world. But the machine knows what the true objective is and is pursuing it. [00:42:52] And tough luck to you. [00:42:54] You know, and this is not restricted to I write this is, you know, I think many of the 20th century technologies. Right. So in statistics, you you minimize a loss function. The loss function is exogenous specified in control theory. You minimize the cost function in operations research, you maximize the reward function and so on. So in all these disciplines, this is how we conceive of the problem and it's the wrong problem because we cannot specify with certainty the correct objective. [00:43:27] Right. We need uncertainty. We need the machine to be uncertain about its objective, what it is that it's supposed to be. My favorite idea of yours. [00:43:37] I've heard you say somewhere, well, I shouldn't pick favorites, but it just sounds beautiful. [00:43:43] We need to teach machines humility. Uh, yeah. [00:43:46] I mean, it's a beautiful way to put it. [00:43:48] I love it that they're humble in it the way they know that they don't know what it is they're supposed to be doing and that those those objectives, I mean, they exist. They're within us. [00:44:02] But we may not be able to explicate them. [00:44:05] We may not even know, you know, how we want our future to go. [00:44:13] So exactly. And the machine, you know, a machine that's uncertain. He's going to be deferential to us, so if we say don't do that, well, now the machines learn something a bit more about our true objectives because something that it thought was reasonable in pursuit of our objective turns out not to be. So now it's learned something. So it's going to defer because it wants to be doing what we really want. [00:44:39] And, you know, that that point, I think, is absolutely central to solving the control problem. And it's a different kind of eye when you when you. [00:44:52] Take away this idea that the objective is known, then, in fact, a lot of the theoretical frameworks that we're so familiar with. [00:45:03] You know, Mark of decision process is goal based planning, you know, standard game research, all of these techniques actually become inapplicable and you get a more complicated problem because. [00:45:21] Because now. The interaction with the human becomes part of the problem. Because the human, by making choices is giving you more information about the true objective, and that information helps you achieve the objective better. And so that really means that you're mostly dealing with game theoretic problems where you've got the machine and the human and they're coupled together rather than a machine going off by itself with a fixed objective, which is fascinating on the machine and the human level, that we when you don't have an objective means you're together coming up with an objective. [00:46:07] I mean, there's a lot of philosophy that, you know, you could argue that life doesn't really have meaning. [00:46:12] We we together agree on what gives it meaning, and we kind of culturally create things that give why the heck we are in this earth anyway. We together as a society create that meaning. And you have to learn that objective. And one of the biggest I thought that's where you were going to go for a second. One of the biggest troubles we run into outside of statistics and machine learning. And I in just human civilization is when you look at I came from this, I was born in the Soviet Union and the history of the 20th century. [00:46:46] We ran into the most trouble as humans when there was a certainty about the objective. And you do whatever it takes to achieve that objective, whether you're talking about Germany or communist Russia. [00:47:00] I'll get into trouble and would say with, you know, corporations. In fact, some people argue that, you know, we don't have to look forward to a time when A.I. systems take over the world. They already have and they call corporations. [00:47:14] Right, that corporations happen to be using people as components right now, but they are effectively algorithmic machines and they're optimizing an objective, which is quarterly profit that isn't aligned with the overall well-being of the human race. [00:47:33] And they are destroying the world. They are primarily responsible for our inability to tackle climate change. [00:47:40] So I think that's one way of thinking about what's going on with with corporations. [00:47:46] But I think the point you're making is valid, that there are many systems in the real world where we've sort of prematurely fixed on the objective and then decoupled the the machine from those that's supposed to be serving. [00:48:06] And I think you see this with government or at government is supposed to be a machine that serves people, but instead it tends to be taken over by people who have their own objective and use government to optimize that objective regardless of what people want. [00:48:25] Do you have do you find appealing the idea of almost arguing machines where you have multiple systems with a clear fixed objective? We have in government the red team and the blue team that are very fixed on their objectives. And they argue and it kind of may disagree, but it kind of seems to make it. Work somewhat that the the of a lot of. OK, let's go a hundred years back when there was still was going on or at the founding of this country, there was disagreements. [00:48:59] And that disagreement is where, uh. [00:49:02] So it was a balance between certainty and forced humility because the power was distributed. [00:49:09] Yeah, I think that the the nature of debate and and disagreement argument takes as a premise the idea that you could be wrong. [00:49:23] Right. [00:49:23] Which means that you're not necessarily absolutely convinced that your objective is is the correct one. Right. [00:49:32] If you were absolutely convinced, there'll be no point in having any discussion or argument because you would never change your mind and there wouldn't be any any sort of synthesis or or anything like that. [00:49:43] So so I think you can think of argumentation as a as an implementation of a form of uncertain reasoning and. [00:49:55] You know, I've been reading recently about utilitarianism and the history of efforts to define in a sort of clear mathematical way a. If you like, a formula for moral or political decision making. And it's really interesting that the parallels between the philosophical discussions going back 200 years and what you see now in discussions about existential risk, because it's almost exactly the same. [00:50:29] So someone would say, OK, well, here's a formula for how we should make decisions. [00:50:33] Right? So utilitarianism is roughly, you know, each person has a utility function and then we make decisions to maximize the sum of everybody's utility. Right. And then people point out, well, you know, in that case, the best policy is one that leads to the enormously vast population, all of whom are living a life that's barely worth living. Right. And this is called the repugnant conclusion. And, you know, another version is that we should maximize pleasure and that's what we mean by utility. [00:51:09] And then you will get people effectively saying, well, in that case, you know, we might as well just have everyone hooked up to a heroin drip, you know, and they didn't use those words. [00:51:19] But that debate, you know, was happening in the 19th century as it is now about A.I., that if we get the formula wrong, you know, we're going to have a E-Systems working towards an outcome that, in retrospect, would be exactly wrong. [00:51:38] Do you think there's has beautifully put the echoes are there. But do you think I mean, if you look at Sam Harris, is our imagination worries about the A.I. version of that because of the the the speed at which the things going wrong in the utilitarian context could happen? [00:52:01] Yeah. Is that is that a worry for you? [00:52:03] Yeah, I think that. You know, in most cases, not in all, but, you know, if if we have a wrong political idea, you know, we see it starting to go wrong and we're, you know, we're not completely stupid. [00:52:16] And so we thought, OK, that was maybe that was a mistake. Let's try something different. [00:52:23] And also, we're very slow and inefficient about implementing these things and so on, so you have to worry when you have corporations or political systems that are extremely efficient. [00:52:35] But when we look at E-Systems. Or even just computers in general, right? They have this different characteristic from ordinary human activity in the past. So let's say you were a surgeon, you had some idea about how to do some operation, right? Well, let's say you were wrong that that way of doing the operation would mostly kill the patient. Well, you'd find out pretty quickly, like after three, maybe three or four tries. [00:53:05] Right? That isn't true for pharmaceutical companies. Because they don't do three or four operations, they they manufacture three or four billion pills and they sell them and then they find out maybe six months or a year later that, oh, people are dying of heart attacks or getting cancer from this drug. And so that's why we have the FDA, right, because of the scalability of pharmaceutical production. And you and there have been some unbelievably bad episodes. [00:53:42] Or in the history of pharmaceuticals and adulteration of of products and so on, that that have killed tens of thousands or paralyzed hundreds of thousands of people. [00:53:55] Now, with computers, we have that same scalability problem that you can sit there and type for I equals one to five billion do right and all of a sudden you're having an impact on a global scale. [00:54:08] And yet we have no FDA. Right. [00:54:09] There's absolutely no controls at all over what a bunch of undergraduates with too much caffeine can do to the world. [00:54:19] And, you know, we look at what happened with Facebook. Well, social media in general and clickthrough optimization. So you have a simple feedback algorithm that's trying to just optimize, click through. Sounds reasonable, right? [00:54:38] Because you don't want to be feeding people ads that they don't care about and not interested in. [00:54:44] And you might even think of. That process as simply adjusting the the feeding of ads or news articles or whatever it might be to match people's preferences. Right. Which sounds like a good idea. But in fact, that isn't how the algorithm works. Right, you make more money, the algorithm makes more money if. It can better predict what people are going to click on because then it can feed them exactly that, right? So the way to maximize click through is actually to modify the people to make them more predictable. [00:55:28] And one way to do that is to. Feed them information which will change their behavior and preferences towards extremes that make them predictable, whatever is the nearest extreme or the nearest predictable point. That's where you're going to end up. And the machines will force you there now, and I think there's a reasonable argument to say that this, among other things, is contributing to the destruction of democracy in the world. [00:56:03] And where was the oversight? Of this process, where were the people saying, OK, you would like to apply this algorithm to five billion people on the face of the earth, can you show me that it's safe? Can you show me that it won't have various kinds of negative effects? No, there was no one asking that question. There was no one placed between, you know, the the undergrads with too much caffeine and the human race. [00:56:31] Well, it's just they just did it and some way outside the scope of my knowledge. So economists would argue that the what is it, the invisible hand to the capitalist system? It was the oversight. [00:56:43] So if you're going to corrupt society with whatever decision you make as a company, then that's going to be reflected in people not using your product. Sort of one that's one model of oversight. [00:56:54] So we shall see. But in the meantime, you know that. But you might even have broken the the political system that enables capitalism to function. Well, you've changed it. [00:57:08] So, yeah, change is often painful. So my question is absolutely is fascinating. You're absolutely right that there is zero oversight on algorithms that can have a profound civilization changing effect. [00:57:26] So do you think it's possible? I mean, I haven't. Have you seen government? [00:57:31] So do you think it's possible to create regulatory bodies, oversight over A.I. algorithms, which are inherently such cutting edge set of ideas and technologies? [00:57:46] Yeah, but I think it takes time to figure out what kind of oversight, what kinds of controls, I mean, took time to design the FDA regime, you know, some people still don't like it and they want to fix it. And I think there are clear ways that it could be improved. But the whole notion that you have stage one, stage two, stage three, and here are the criteria for what you have to do to pass the stage one trial, right? [00:58:15] Yes. We haven't even thought about what those would be for algorithm's. So I mean, I think there are. [00:58:20] There are things we could do right now with regard to bias, for example, we have a pretty good technical handle on how to detect algorithms that are propagating bias that exists in data sets, how to bias those algorithms and even what it's going to cost you to do that. So I think we could start having some standards on that. I think there are there are things to do with. Impersonation and falsification that we could we could work on, so I think. [00:58:57] Yeah, or in a very simple choice of impersonation ism is a machine acting as if it was a person. [00:59:07] I can't see a real justification for why we shouldn't insist that machines self identify as machines. [00:59:15] Hmm. Oh, you know, where is the social benefit in in fooling people into thinking that this is really a person when it isn't? You know, I don't mind if it uses a human like voice that's easy to understand, that's fine. But if you just say I'm a machine in some shape, some form. And not many people are speaking to that, I would think relatively obvious facts. I think most people there is actually a law in California. [00:59:45] That bans impersonation, but only in certain restricted circumstances, so for the purpose of engaging in a fraudulent transaction and for the purpose of modifying someone's voting behavior. [01:00:01] So those are those are the circumstances where machines have to self identify. [01:00:07] But I think, you know, arguably it should be in all circumstances. [01:00:12] And then when when you talk about deep-fakes, you know, we're just at the beginning. But already it's possible to make a movie of anybody saying anything in ways that are pretty hard to detect, including yourself, because you're on camera now and your voice is coming through with high resolution. [01:00:31] So you can take what I'm saying and replace it with pretty much anything else you wanted me to be saying. [01:00:36] And even it would change my lips and facial expressions to fit. And there's actually not much in the way of real legal protection against that, I think in the commercial area you could say, yeah, that's you're using my brand and so on there there are rules about that. [01:01:00] But in the political sphere, I think it's at the moment it's, you know, anything goes. So that could be really, really damaging. [01:01:09] And let me just try to make not an argument, but try to look back at history and say something dark in essence, is while regulation seems to be oversight seems to be exactly the right thing to do here. It seems that human beings, what they naturally do is they wait for something to go wrong. If you're talking about nuclear weapons, you can't talk about nuclear weapons being dangerous until somebody actually like the United States drops the bomb or Chernobyl melting. [01:01:44] Do you think we will have to wait? Four things go wrong in a way that's obviously damaging to society, not an existential risk, but obviously damaging. Or do you have faith that I hope not, but I mean, I think we do have to look at history. And so the two examples you gave nuclear weapons and nuclear power are very, very interesting because. [01:02:15] You know, nuclear weapons, we knew. In the early years of the 20th century that atoms contained a huge amount of energy, we had vehicles empty square. We knew that the mass differences between the different atoms and their components, and we knew that. [01:02:33] You might be able to make an incredibly powerful explosive, so H.G. Wells wrote a science fiction book, I think, in 1912. [01:02:42] Frederick Sodhi, who was the guy who discovered isotopes, is a Nobel Prize winner. He gave a speech in 1915 saying that. One pound of this new explosive would be the equivalent of 150 tons of dynamite, which turns out to be about right. And this was in World War One, right? So he was imagining how much worse the World War would be if we were using that kind of explosive, but the physics establishment simply refused to believe that. [01:03:17] These things could be made, including the people who are making it well, so they were doing the nuclear physics, I mean, eventually were the ones who made it, you can talk about Fermi or whoever. [01:03:29] Well, so up to the development was was mostly theoretical. So it was people using sort of primitive kinds of particle acceleration and doing experiments at the at the level of single particles or collections of particles that they weren't. Yet thinking about how to actually make a bomb or anything like that, but they knew the energy was there and they figured if they understood it better, it might be possible. But the physics establishment, their view and I think because they did not want it to be true, their view was that it could not be true, that this could not provide a way to make a super weapon. [01:04:13] And, you know, there was this famous speech given by Rutherford, who was the sort of leader of nuclear physics and. It was on September 11th, 1933, and he he said, you know, anyone who talks about the possibility of obtaining energy from transformation of atoms is talking complete moonshine. [01:04:36] And the next the next morning, Leo Zijlaard read about that speech and then invented the nuclear chain reaction. [01:04:44] And so as soon as he invented his words, he had that idea that you could make a chain reaction with neutrons because neutrons were not repelled by the nucleus so they could enter the nucleus and then continue the reaction. As soon as he has that idea, he instantly realized that the world was in deep doo doo because this is 1933, right? [01:05:09] You know, Hitler had recently come to power in Germany. [01:05:15] Zijlaard was in London, eventually became a refugee and and came to the U.S. and the. In the process of having the idea about the chain reaction, he figured out basically how to make a bomb and also how to make a reactor. And he patented the reactor in 1934. But because of the situation, the great power conflict situation that he could see happening, he kept that a secret. And so between then. And the beginning of World War Two. [01:05:55] People were working, including the Germans, on. How to actually create neutron sources? What specific fission reactions would produce neutrons of the right energy to continue the reaction and. [01:06:13] And that was demonstrated in Germany, I think, in 1938, if I remember correctly, the first nuclear weapon patent was 1939 by the French. [01:06:25] So this was actually, you know, this was actually. Going on well before World War Two really got going and then, you know, the British probably had the most advanced capability in this area, but for safety reasons, among others, and plus which is sort of just resources, they moved the program from Britain to the US and then that became a Manhattan project. So the the the reason why we couldn't. How very kind of oversight of nuclear weapons and nuclear technology. [01:07:02] Wise, because we were basically already in an arms race, in a war and but you mentioned that in the 20s and 30s. [01:07:11] So what are the echoes, the way you've described this story? I mean, there's clearly echoes. Why do you think most AI researchers. [01:07:22] Folks who are really close to the middle, they really are not concerned about it. I don't think about it whether they don't want to think about it. But what are the we. Yeah, why do you think that is? What are the. Echoes of the nuclear situation to the current situation and what can we do about it? [01:07:44] I think there is a, you know, a kind of motive, motivated cognition, which is a term in psychology, means that you believe what you would like to be true rather than what is true. [01:07:58] And, you know, it's it's unsettling to think that what you're working on might be the end of the human race, obviously. So you would rather instantly deny it and come up with some reason why it couldn't be true. And the you know, I have I collected a long list of reasons that extremely intelligent, competent scientists have come up with for why we shouldn't worry about this. You know, for example, calculators are superhuman at arithmetic and they haven't taken over the world, so there's nothing to worry about. [01:08:37] Well, OK, my five year old, you know, could have figured out why that was an unreasonable and really quite weak argument. You know, another one was, you know, while it's theoretically possible that you could have superhuman A.I. destroy the world, you know, it's also theoretically possible that a black hole could materialize right next to the earth and destroy humanity. I mean, yes, it's theoretically possible quantum theoretically extremely unlikely that it would just materialize right there. [01:09:14] But that's a completely bogus analogy because, you know, if the whole physics community on Earth was working to materialize a black hole in near Earth orbit. Right. [01:09:24] Wouldn't you ask them, is that a good idea? Is that going to be safe? You know what? If you succeed, right. [01:09:30] And that's the thing. Right? The A.I. community is sort of refused to ask itself, what if you succeed? And initially, I think that was because it was too hard, but, you know, Alan Turing asked himself that. And he said we'd be toast, right, if we were lucky, we might be able to switch off the power, but probably we'd be toast. But there's also an aspect. That because we're not exactly sure what the future holds, it's not clear exactly so technically what to worry about sort of how things go wrong. [01:10:09] And so there is something it feels like maybe you can correct me if I'm wrong, but there's something paralyzing about worrying about something that logically is inevitable. But you don't really know what that will look like. [01:10:26] Yeah, I think that's that's it's a reasonable point. And, you know, the. You know, it's certainly in terms of existential risks, it's different from, you know, asteroid collides with the earth, right. Which again, is quite possible. [01:10:42] You know, it's happened in the past. It'll probably happen again. We don't write. We don't know right now. But if we did detect an asteroid that was going to hit the earth in 75 years time. We'd certainly be doing something about it. Well, it's clear that Big Rock will probably have a meeting and see what do we do about the big Iraq? Would I right. [01:11:02] Would they I mean, the very few people who think it's not going to happen within the next 75 years. I know Rod Brooks doesn't think it's going to happen, maybe Andrew Young doesn't think it's happened. [01:11:12] But, you know, a lot of the people who work day to day, you know, as you say at the rock face. They think it's going to happen, I think the median estimate from A.I. researchers is somewhere in 40 to 50 years from from now or maybe, you know, I think in Asia, they think it's going to be even faster than that. I I'm a little bit. [01:11:37] More conservative, I think, probably take longer than that, but I think, you know, as happened with nuclear weapons overnight, it can happen overnight that you have these breakthroughs and we need more than one breakthrough. [01:11:49] But, you know, it's on the order of half a dozen. This is a very rough scale, but there are half a dozen breakthroughs of that nature. [01:12:01] It would have to happen for us to reach the superhuman A.I., but the you know, the A.I. research community is vast now, the massive investments from governments, from corporations, tons of really, really smart people. You know, you just have to look at the rate of progress in different areas of A.I. to see that things are moving pretty fast. So to say, oh, this is going to be thousands of years. I don't see any basis for that, you know. [01:12:30] I see. You know, for example, the the Stanford 100 year I project, right, which is. Supposed to be sort of, you know, the serious establishment view, their most recent report actually said it's probably not even possible for a while. [01:12:51] Right. [01:12:51] Which if you want a perfect example of people in denial. That's it, because, you know, for the whole history of A.I., we've been saying to philosophers who said it wasn't possible. Well, you've no idea what you're talking about. Of course it's possible. All right. Give me give me an argument for why it couldn't happen. [01:13:11] And there isn't one right now because people are worried that maybe it might get a bad name or or. I just want to think about this. They are saying, OK, well, of course, it's not really possible, you know, if we imagine right. [01:13:25] Imagine if, you know, the the leaders of the cancer biology community got up and said, well, you know, of course, curing cancer, it's not really possible to be a complete outrage and dismay and. [01:13:40] You know, I I find this really a strange phenomenon, so. OK, so if you accept that as possible and if you accept it, it's probably going to happen. But the point that you're making that, you know, how does it go wrong? A valid question without that, without an answer to that question, then you're stuck with what I call the gorrilla problem, which is, you know, the problem that the guerrillas face. Right. [01:14:11] They made something more intelligent than them, namely us, a few million years ago. And now now they're in deep doo doo. [01:14:19] Yeah. So there's really nothing they can do. [01:14:22] They've lost the control. They failed to solve the control problem of controlling humans. [01:14:28] And so they've lost. So we don't want to be in that situation. And if the gorrilla problem is is the only formulation you have, there's not a lot you can do. [01:14:39] Right. Other than to say, OK, we should try to stop. You know, we should just not make the humans or right in this case, not make the A.I. And I think that's really hard to do. [01:14:51] To I'm not actually proposing that that's a feasible course of action, and I also think that, you know, if properly controlled, I could be incredibly beneficial. [01:15:02] So the but it seems to me that there's a. There's a consensus that one of the major failure modes is the loss of control, that we create A.I. systems that are pursuing incorrect objectives, and because the system believes it knows what the objective is, it has no incentive to listen to us anymore, so to speak. Right. It's just carrying out the strategy that it has computed as being the optimal solution. And, you know, it may be that in the process, it needs to acquire more resources to increase the possibility of success or prevent various failure modes by defending itself against interference. [01:15:53] And so that collection of problems, I think, is something we can address. [01:15:59] Yes. That the other problems are. Roughly speaking, misuse, right, so even if we solve the control problem, we make perfectly safe, controllable A.I. systems. Well, why you know, why does Dr. Evil going to use those? Right. He wants to just take over the world and he'll make unsafe A.I. systems that that then get out of control. So that's one problem, which is sort of a, you know, a partly a policing problem. [01:16:30] Partly a sort of a cultural problem for the profession of how we teach people what kinds of systems are safe. [01:16:39] You talk about autonomous weapon system and how pretty much everybody agrees. There's too many ways that that can go horribly wrong. There's this great slaughter bots movie that kind of illustrates that beautifully. [01:16:51] I want to talk about that's another there's another topic I'm happy to talk about. I just want to mention that what I see is the third major failure mode, which is overuse, not so much misuse, but overuse of A.I.. [01:17:05] That we become overly dependent. So I call this the Wall-E problem. Have you seen the movie? All right. Well, the humans are on the spaceship and the machines look after everything for them. [01:17:17] And they just watch TV and drink Big Gulps and they're all sort of obese and stupid and they sort of totally lost any notion of human autonomy and. So in effect, right, this would happen like the slow boiling frog, right, we would gradually turn over more and more of the management of our civilization to machines, as we are already doing. [01:17:44] And this this if this process continues, you know, we sort of gradually switch from sort of being the masters of technology to just being the guests. Right. [01:17:57] So so we become guests on a cruise ship, which is fine for a week, but not not for the rest of eternity, you know, and it's almost irreversible. [01:18:08] Right. Once you once you lose the incentive to, for example, learn to be an engineer or a doctor or a sanitation operative or any other of the infinitely many ways that we maintain and propagate our civilization. [01:18:27] You know, if you if you don't have the incentive to do any of that, you won't. And then it's really hard to recover. And, of course, AI is just one of the technologies that could that third failure mode result in that there's probably other technology in general detaches us from it does a bit. [01:18:45] But the the the difference is that in terms of the knowledge to to run our civilization, you know, up to now we've had no alternative but to put it into people's heads. Right. Right. [01:18:57] And if you build software with Google, I mean, so software in general of computers in general. [01:19:03] But but the you know, the knowledge of how you know, how a sanitation system works, you know, A.I. has to understand that it's no good putting it into Google. So, I mean, we've we've always put knowledge on paper, but paper doesn't run our civilization. [01:19:19] It only runs when it goes from the paper into people's heads again. Right. So we've always propagated civilization through human minds and we've spent about a trillion person years doing that. I literally - right? - you can work it out. [01:19:34] It's about right. Is about just over one hundred billion people who've ever lived. And each of them has spent about 10 years learning stuff to keep their civilization going. And so that's a trillion person years we put into this effort. Beautiful way to describe all of civilization. [01:19:50] And now we're you know, we are in danger of throwing that away. So this is a problem that I can't solve. It's not a technical problem. It's a you know, if we do our job right, the A.I. systems will say, you know, the human race doesn't in the long run want to be passengers on a cruise ship. The human race wants autonomy. This is part of human preferences. So the A.I. systems are not going to do this stuff for you. [01:20:16] You've got to do it for yourself. Right. I'm not going to carry you to the top of Everest in an autonomous helicopter. You have to climb it if you want to get the benefit and so on. So. But I'm afraid that because we are short sighted and lazy, we're going to override the systems and and there's an amazing short story that I recommend to everyone that I talk to about this called The Machine Stops. [01:20:46] Written in 1989 by E.M. Forster, who wrote novels about the British Empire and sort of things that became costume dramas on the BBC, but he wrote this one science fiction story, which is an amazing. [01:21:01] Vision of the future, it has it has basically iPads, it has video conferencing, it has Moogs, it has computer-induced obesity. [01:21:13] I mean, literally, the whole thing is what people spend their time doing is giving online courses or listening to online courses and talking about ideas. But they never get out there in the real world that they don't really have a lot of face to face contact. Everything is done online, you know. So all the things we're worrying about now were described in the story. [01:21:34] And then the human race becomes more and more dependent on the machine, loses knowledge of how things really run, and then becomes vulnerable to collapse. [01:21:45] And so it's a pretty unbelievably amazing story for someone writing in nineteen o' nine to imagine all this loss. [01:21:55] Yeah. So there's very few people that represent artificial intelligence more than you, sir. [01:22:01] Russell, if you say so. OK, so there was all my fault. That's all right. [01:22:12] You're often brought up as the person like Stuart Russell - THE AI person - is worried about this. [01:22:19] That's why you should be worried about it. Do you feel the burden of that? [01:22:24] I don't know if you feel that at all, but when I talk to people like from you talk about people outside of computer science, when they think about this, Stuart Russell is worried about safety. You should be worried, too. Do you feel the burden of that? [01:22:39] I mean, in a practical sense, yeah, because I get, you know, a dozen sometimes twenty five invitations a day. To talk about it, to give interviews, to write press articles and so on, so in that very practical sense, I'm seeing that people are concerned and really interested about this. [01:23:04] But are you worried that you could be wrong, as all good scientists are? [01:23:08] Of course I worry about that all the time. I mean, that's always been the way that I I've worked, you know, is like I have an argument in my head with myself. [01:23:19] I have some idea. [01:23:20] And then I think, OK, how could that be wrong or did someone else already have that idea? [01:23:26] So I'll go on, you know, search in as much literature as I can to see whether someone else already thought of that or even refuted it. [01:23:36] So, you know, right now I'm I'm reading a lot of philosophy because. You know, in the form of the debates over utilitarianism and other kinds of moral formulas, shall we say, people have already thought through some of these issues. But you know what? [01:24:00] One of the things I'm I'm not seeing in a lot of these debates is, is this specific idea about the importance of uncertainty in the objective that this is the way we should think about machines that are beneficial to humans. So this idea of provably beneficial machines based on explicit uncertainty in the objective, you know, it seems to be, you know, my gut feeling is this is the core of it, it's going to have to be elaborated in a lot of different directions and there are a lot of really beneficial. [01:24:38] Yeah, but there I mean, it has to be. Right. [01:24:42] We can't afford, you know, handwaving beneficial. Yeah. Because there, you know, whenever we do handwaving stuff, there are loopholes. [01:24:50] And the thing about superintelligent machines is they find the loopholes. You know, just like, you know, tax evaders, if you don't write your tax law properly, people will find the loopholes and end up paying no tax. [01:25:03] And so you should think of it this way. [01:25:08] And and getting those definitions right. [01:25:12] You know, it is really a long process, you know, so you can you can define mathematical frameworks and within that framework you can prove mathematical theorems that, yes, this you know, this this theoretical entity will be provably beneficial to that theoretical entity. [01:25:29] But that framework may not match the real world in some crucial way. [01:25:35] It's a long process of thinking through it or iterating and so on. Last question. Uh, you have ten seconds to answer it. What is your favorite sci fi movie about A.I.? I would say Interstellar has my favorite robots, albeit Space Odyssey. [01:25:53] Yeah, yeah, yeah, so so, Tazz, the robots, one of the robots in Interstellar is the way robots should behave. [01:26:01] And I would say Ex Machina is in some ways the one the one that makes you think in a nervous kind of way about that where we're going. [01:26:14] Well, Stuart, thank you so much for talking today. [01:26:15] Pleasure.

本集資源與出處