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