第167頁
2023-09-15 09:25:22 作者: 懶就
「如果艾薩克可以贏得競賽,足以說明它在認知層面的某個重要維度上,已經可以和它的創造者——人類相匹敵。」
程遲音默念了一句這個AI的名字,艾薩克,Isaac,居然冠以牛頓的名字,看來邁倫對這個AI信心十足。
禮堂內各國選手陷入安靜中,面色冷肅,此時此刻他們不由自主想起幾年前一場圍棋領域的人機大戰。
有人說歷史上人類的自尊心曾受過三次嚴重打擊:第一次是哥白尼提出日心說否定地心說,原來宇宙並不是圍著地球轉的;第二次是達爾文提出進化論,指出人類是由猿猴進化而來,並非生而高貴;第三次是弗洛伊德提出本能說,人類和其他動物並無差異。
那麼這第四次就是人類最頂尖的棋手同AI對弈,輸給人類自己所創造的人工智慧。
短片中,邁倫繼續介紹著艾薩克:「過去五年,我們不斷讓艾薩克學習更多數學知識,利用數學庫,艾薩克已經掌握全部大學數學課程知識。」
「當然,更難的點在於如何教會艾薩克利用它學到的數學知識。」
「我們以往屆IMO的全部題目作為賽事腳本,提煉出題目背後的技巧和策略以供艾薩克學習,而後面對新的、未知的題目,艾薩克將會產生成百上千個解題思路,依次進行驗證,直到找到解決問題的最佳答題方案。」
聽著耳邊傳來的翻譯聲音,程遲音陷入沉思。
事實上IMO和物理競賽不同,物理競賽需要選手掌握大學本科的知識內容才有資格踏進,但IMO對數學知識的儲備要求並不算高,至少不需要掌握高等數學就能做出題目。
但這並不意味著簡單。
相反,要求的知識儲備不高,與之對應的對思維的要求就會極高。
選手們在閱讀完題目後,必須以各式各樣的開放性想法巧妙結合,才有機會和可能性做出題目來。
所以數學競賽,很多時候更吃臨場發揮,需要有那種偶然天成的、靈光一現般的思路閃出。
AI能做到這一點嗎?
程遲音和旁邊的姜一然對視一眼,發現他的表情同樣嚴肅。
禮堂內和觀看開幕式直播的觀眾們討論起來,話語中有著顯而易見的擔憂。
「智慧是人類最後的一道防線,如果人類輸給機器……」
「哈,是在挑戰人類最後的尊嚴?」
「醒醒,早在幾年前圍棋人機大戰人類就輸了。」
短片中,邁倫已經介紹完艾薩克的基本情況,微笑著看向鏡頭:
「數學比賽比棋類遊戲要更複雜,但我們有信心。」
「艾薩克很努力,我們有自信它已經站在這場比賽的終點線上。從今年開始,IMO的金牌將不再屬於人類。」
邁倫拍拍小機器人。
艾薩克臉上的屏幕做出一個眨眼的表情,用幾乎與人聲別無二致的聲音和語氣開口:「艾薩克,向人類宣戰。」
這是一句略帶中二的話語,禮堂內各國代表隊選手卻沒有笑的心思。
作者有話要說:艾薩克的設定參考微軟研究團隊中Daniel Selsamo進行的「IMO大挑戰」所設定的AI
第65章
開幕式過後,領隊梁賀老師和他們打了聲招呼,就被主辦方的工作人員帶走了。
程遲音看著梁賀背影,感嘆一聲:「老師要被關小黑屋了。」
出於公平競賽的目的,各參賽國領隊會被集中到一起出題,每國提供三到五題組成一個約四百道題的大題庫。
作為主辦國的義大利不會參與出題,組成選題委員會在題庫中篩選分類,最後確定六道正式競賽題目,由各國翻譯翻成本國語言,在競賽當天提供給選手們。
梁賀老師在出題期間禁止和外界聯繫,要一直等兩天競賽結束才會和他們匯合。
領隊老師走了,將由那位名叫馬修的博大學生充當導遊帶領他們參觀各個景點。
天已經完全黑下來,廊燈照著柔和明亮的燈光,各國選手有序退場。
出去後,程遲音遠遠看到馬修在禮堂門口等著,夏青豫朝他招招手,喊了一聲:「哥們兒!」
馬修視線從他身上略過,看向四周。
夏青豫:「……這麼臉盲的嗎。」
幾人在他面前走過幾趟,馬修愣是沒認出來,還是程遲音停在他跟前揮了揮手,馬修視線停在她臉上,才驚喜道:「程,你們出來了。」
於文靖有些無語:「我們在你面前走過幾次了。」
馬修抱歉:「對不起,你們東方人的面孔我有些記不住。」
說完看向程遲音,笑:「但是你的美麗讓我印象深刻。你不說話的時候宛如貝尼尼精心雕琢的雕像,肌膚同象牙一般,黑髮像最名貴的絲織品。」
於文靖等人聽到翻譯翻譯過來的話,嘶了一聲,覺得有點牙酸。
這彩虹屁真是張口就來。
程遲音有些不習慣這一連串的比喻,沉默一下,禮貌道謝。
「博洛尼亞的夜晚燈火如晝,你們有想去玩的地方嗎?或者我可以給你們推薦幾個地方。」馬修十分熱情,「附近有不錯的酒吧,我想你們都知道義大利有很多葡萄,同品質的酒我們可比法國酒便宜得多。」
「當然,你們的消費在合理範圍內將由我們來承擔,這一點不用擔心,你們要做的就是享受博洛尼亞的一切美好。」