【ZiDongHua 之人文化天下收錄關(guān)鍵詞： 人工智能 自動駕駛 圖靈獎】
　　
　　頂科之約 | 古希臘哲人般的圖靈獎得主，對人工智能和自動駕駛的冷思辨
 
　　WLA Forum
　　
　　2024
　　
　　{頂科論壇}
　　
　　世界頂尖科學(xué)家論壇
　　
　　2024
　　
　　頂科之約
 
　　
　　2024世界頂尖科學(xué)家論壇（WLA Forum，中文簡稱“頂科論壇”）將于10月25-27日在上海舉行，海外頂尖科學(xué)家、中國兩院院士、全球資深科學(xué)家、中外優(yōu)秀青年科學(xué)家們將再一次風(fēng)云際會、相逢上海。
　　
　　距盛會開幕尚余70余天之際，科學(xué)家們已紛紛發(fā)來郵件，表達(dá)對2024頂科論壇的期待之情，并就論壇的議題和議程分享了他們的見解和思考。
 
　　
　　約瑟夫·斯發(fā)基斯 (Joseph SIFAKIS)
　　
　　2007 年圖靈獎得主
　　
　　國際嵌入式系統(tǒng)研究中心Verimag實(shí)驗室名譽(yù)研究主任
　　
　　這位古希臘哲人般的圖靈獎得主，
　　
　　對人工智能和自動駕駛的冷思辨
　　
　　“人工智能是無法解釋的，因此也無法被信任。”
　　
　　“我們的汽車遠(yuǎn)沒有達(dá)到任何情況下都能完全自動駕駛的狀態(tài)。”
　　
　　“既然人生的大半時間都要在工作中度過，那為什么不做喜歡的事情，而且努力創(chuàng)造滿足感和成就感呢？”
　　
　　作為2007年圖靈獎得主，約瑟夫·斯發(fā)基斯 (Joseph SIFAKIS)教授在說起炙手可熱的人工智能和自動駕駛時滿滿的“冷思辨”。
　　
　　斯發(fā)基斯教授是自主系統(tǒng)領(lǐng)域的頂尖專家，也是一位熱愛詩歌，尤其鐘愛以希臘語創(chuàng)作的詩人，是和三條汪星人相互陪伴的慈愛主人，更是一位自覺“有義務(wù)將科研成果的社會影響告知公眾”的有極強(qiáng)責(zé)任感的科學(xué)家。
 
　　
　　汪星人是斯發(fā)基斯教授的解壓秘訣  圖：www.heidelberg-laureate-forum.org
　　
　　斯發(fā)基斯教授的研究領(lǐng)域自主系統(tǒng)近年來因為和人工智能、自動駕駛的交叉重合而被關(guān)注、熱議，2024頂科論壇期間，相信斯發(fā)基斯教授一定會帶來深刻犀利的新見解。
　　
　　跟畢達(dá)哥拉斯學(xué)數(shù)學(xué)
　　
　　頂科之約
　　
　　“所有克利特人都是說謊者。”這是古希臘哲學(xué)家埃庇米尼得斯的名言。由于他本人也是克利特人，所以他算是給后世的邏輯學(xué)家制造了一些麻煩。
　　
　　每個出生在克利特島的孩子都知道這個“說謊者悖論”，約瑟夫·斯發(fā)基斯也不例外。他的家鄉(xiāng)是古城伊拉克利翁，有著濃厚的歷史感和思辨的傳統(tǒng)。童年時期斯發(fā)基斯沒有足夠的書本滿足異常旺盛的好奇心，于是他總是不停地提問，有關(guān)自然現(xiàn)象、有關(guān)電力、有關(guān)廣播工作原理……被提問的對象主要是可憐的父親，“父親經(jīng)常感到很抱歉，因為他的回答不能讓我滿意”。
 
　　
　　出生在克里特島的斯發(fā)基斯教授差點(diǎn)去學(xué)考古學(xué)  圖：Pexels
　　
　　父親長大的村莊毗鄰一座從古希臘到古羅馬時代的重要城市，徜徉在古老的廢墟之中令斯發(fā)基斯深感震撼。從很小的時候開始，他的志向就是成為一名考古學(xué)家。
　　
　　幸虧一位優(yōu)秀的數(shù)學(xué)老師，“他總是像偉大的畢達(dá)哥拉斯一樣教數(shù)學(xué)”，因此斯發(fā)基斯總是非常積極地學(xué)習(xí)。他尤其喜歡歐幾里得幾何，是一個頗負(fù)盛名的解題好手。
　　
　　感謝這位數(shù)學(xué)老師，他從考古學(xué)手中奪回了一位人工智能的頂尖科學(xué)家。
　　
　　斯發(fā)基斯教授的童年在一片葡萄園和田野中度過，暢快而自由。在整個學(xué)生生涯中，他唯一討厭且成績糟糕的是體育課，因為“我不喜歡被強(qiáng)迫做某件事”。然而七十多歲的斯發(fā)基斯教授還能連續(xù)游泳2個小時，誰說他的體育成績糟糕？！
　　
　　別依賴計算機(jī)
　　
　　頂科之約
　　
　　作為一位圖靈獎得主，斯發(fā)基斯教授卻總是把“別依賴計算機(jī)”掛在嘴上。電腦、互聯(lián)網(wǎng)、智能手機(jī)的廣泛普及，取代了很多看似笨拙的簡單勞作和重復(fù)記憶，但也令人憂心地發(fā)現(xiàn)“很多孩子已經(jīng)背不出乘法口訣表了”。
　　
　　技術(shù)的進(jìn)步，也意味著某些技能的喪失。習(xí)慣使用工具，則慢慢失去了強(qiáng)壯的肌肉；入住定居的房屋，則失去了在野外生火過夜、驅(qū)趕野獸的能力。這種得與失的辯證幾乎伴隨著整個人類的歷史。
　　
　　然而電腦的出現(xiàn)讓情況變得很不一樣，“人類的肌肉并不是在一夜之間失去作用的，但我們學(xué)習(xí)知識和判斷事物的能力卻是迅速減弱的”。這一點(diǎn)在人工智能時代尤為明顯。
　　
　　大數(shù)據(jù)、人工智能、量子計算……斯發(fā)基斯教授對這些領(lǐng)域的炙手可熱保持著清醒，認(rèn)為它們被神話了，“一旦你在某個領(lǐng)域取得了成功，就立刻產(chǎn)生過高的期望，于是就進(jìn)入了一段炒作期”。
　　
　　早期的斯發(fā)基斯教授，記得人工智能的很多個冬天  圖：britannica網(wǎng)站
　　
　　甚至有不少人已經(jīng)宣稱了人工智能“技術(shù)奇點(diǎn)”的到來。“技術(shù)奇點(diǎn)是個徹頭徹尾瘋狂的想法，”斯發(fā)基斯教授完全不相信“僅僅是一些晶體管”就能在某一時刻變得比人類更聰明。但媒體都這么說的，公眾也是這么認(rèn)為的。
　　
　　“冬天，一個個冬天。”斯發(fā)基斯教授回憶著他從事計算機(jī)行業(yè)的歲月。他離開希臘、第一次在法國看到了計算機(jī)；他放棄駕輕就熟的硬件研究，轉(zhuǎn)向軟件領(lǐng)域；他開發(fā)一套嵌在飛機(jī)機(jī)長和電子系統(tǒng)之間的“電傳操縱”控制系統(tǒng)，幫“空中客車”建立起對波音的競爭優(yōu)勢……
　　
　　“人工智能行業(yè)是有起伏的。我記得，它幾十年來遭遇過許多冬天。”
　　
　　自動駕駛依然冒險
　　
　　頂科之約
　　
　　“買個烤面包機(jī)回家，如果你正確使用它，它就不會殺死你”，因為烤面包機(jī)的整個系統(tǒng)都被認(rèn)證了。但自動駕駛汽車則未必。
　　
　　斯發(fā)基斯教授曾經(jīng)在2020世界頂尖科學(xué)家論壇上分享了“自主系統(tǒng)”的概念。
　　
　　自主系統(tǒng)是指在一個復(fù)雜的組織中，代替人類履行其角色和使命的系統(tǒng)。自主系統(tǒng)不同于自動化系統(tǒng)，因為它必須管理許多目標(biāo)，而不是單一目標(biāo)；自主系統(tǒng)還必須處理復(fù)雜的環(huán)境，即網(wǎng)絡(luò)物理環(huán)境。最核心的一點(diǎn)是，自主系統(tǒng)必須與人類合作。
　　
　　斯發(fā)基斯教授參加2019年第二屆頂科論壇  圖：WLA上海中心
　　
　　過去幾年斯發(fā)基斯教授一直關(guān)注著自動駕駛。他提出，自動駕駛的發(fā)展由“自動化”走向“自主化”，自動化階段人類司機(jī)仍負(fù)有責(zé)任，而自主化階段的自動駕駛應(yīng)該是“任何條件下都可以自動駕駛”的那種“完全的自動駕駛”，由機(jī)器獨(dú)立決策。
　　
　　對于自動化系統(tǒng)來說，規(guī)劃是靜態(tài)的。它只是一個自動裝置。而自主系統(tǒng)所面臨的決策是動態(tài)的，它面對的行人、路況、突發(fā)情況等要錯綜復(fù)雜得多。而應(yīng)對這些局面所需要的自學(xué)習(xí)能力正是目前的機(jī)器智能所欠缺的。
　　
　　對目前宣稱達(dá)成了自動駕駛目標(biāo)的那些汽車，斯發(fā)基斯教授頗不以為然，“對自動駕駛汽車并沒有實(shí)施嚴(yán)格的認(rèn)證規(guī)則，像特斯拉這樣的汽車甚至是自我認(rèn)證的。”
　　
　　對自動駕駛而言，“實(shí)現(xiàn)可信性是一個非常、非常復(fù)雜和困難的問題”。實(shí)際上，由于環(huán)境的復(fù)雜性、汽車的動態(tài)性，“汽車遇到的實(shí)時問題比飛機(jī)都要困難”。
　　
　　短期內(nèi)建立真正的自主系統(tǒng)可能性很低，盡管我們一直在取得進(jìn)展并且速度不慢。自動駕駛汽車什么時候跟烤面包機(jī)一樣安全？斯發(fā)基斯教授預(yù)計“也許幾十年”。