第64章（第2/3頁）

禮堂內掌聲經久不息。

程遲音跟著鼓掌，耳麥內同聲傳譯過來的意思有些並不十分到位，但還是能感受到這位教授對數學的熱愛，她的心緒微微起伏。

費迪南德笑了一下，朝鏡頭擠了擠眼睛：“再有就是，IMO已經有近十幾年特別獎空缺，今年會有孩子給我個驚喜嗎？”

禮堂內大家善意地笑起來。

特別獎？

程遲音眨了眨眼，她從梁賀老師那兒了解過特別獎是怎麽回事。

IMO難度擺在這兒，但總會有那麽一些數學天賦過人的選手可以摘下滿分桂冠。

然而滿分並不是IMO的終點，比滿分更難拿到的，就是這個所謂的“特別獎”。

這個獎項規定是，一道試題，如果某個選手有著獨到的解答，這個解答比組委會官方事先擬定的標準答案還要更漂亮、更簡潔，就可以拿到這個特別獎。

近十幾屆IMO中，這個獎項都處於空缺狀態，是無人有資格領獎的境地，可見有多難得。

講完這段，費迪南德教授宣布起競賽規則。

規則很簡單，考試時間為兩天，每天四個半小時。一天3題，一題7分，兩天一共六道題42分。

宣布完競賽規則，全場再一次鼓掌。

費迪南德教授頓了頓，擡手示意，掌聲停下來。

透過鏡頭，大家察覺到這位學術成就不菲的教授情緒有了些變化。

似乎是在思考著什麽，良久，費迪南德教授蒼老的聲音才再一次傳遍整個禮堂：“除了在場的106個國家和地區代表隊，今年，我們還將迎來一位特殊的選手。”

特殊的選手？

大家愣了一下，相互對視一眼。

費迪南德教授環視下面膚色人種各異的選手們，緩緩說道：“這位選手在今天之前，通過面試證明了自己有參加IMO的實力，現在，讓我們來認識一下它。”

大家注意到費迪南德教授在用“it”它代指那位特殊的選手。

費迪南德教授朝主持人點點頭，禮堂屏幕播放起一個英文短片。

屏幕裏出現一個中年人的身影，旁邊浮現英文介紹。

這個中年人是一家著名跨國科技企業研究團隊的一員，名叫邁倫·鄧斯坦。其所在的企業領跑科技領域，企業市值突破兩萬億元，開發的操作系統在世界範圍內影響深遠。

邁倫面向鏡頭侃侃而談：“有人在問這幾年我在忙些什麽，現在，我想我可以為你們介紹了。”

隨著邁倫的話語傳出，耳麥中同聲傳譯翻譯成各國語言輸送到選手們耳邊。

“毫無疑問，IMO作為世界頂級數學競賽，是一場最能代表人類智慧的比賽。”邁倫引領著鏡頭，走到一個約莫半人高的機器跟前，介紹道，“這個小家夥叫艾薩克。”

“過去五年我們在做的一項努力是，訓練AI在這場頂級數學競賽中獲得金牌。”

禮堂內一片嘩然。

大家瞬間意識到，費迪南德教授所說的特殊的選手，恐怕就是這個名叫艾薩克的AI機器人。

邁倫從桌上拿了一張試卷對著鏡頭晃晃，然後遞到艾薩克跟前，只見這個小機器人掃描過試卷後，拿起筆在紙上寫起字來。

邁倫充滿驕傲地看著它：“我們把IMO看作是一個場地，一個可以用來證明AI能成長到像人一樣思考的完美場地。”

“如果艾薩克可以贏得競賽，足以說明它在認知層面的某個重要維度上，已經可以和它的創造者——人類相匹敵。”

程遲音默念了一句這個AI的名字，艾薩克，Isaac，居然冠以牛頓的名字，看來邁倫對這個AI信心十足。

禮堂內各國選手陷入安靜中，面色冷肅，此時此刻他們不由自主想起幾年前一場圍棋領域的人機大戰。

有人說歷史上人類的自尊心曾受過三次嚴重打擊：第一次是哥白尼提出日心說否定地心說，原來宇宙並不是圍著地球轉的；第二次是達爾文提出進化論，指出人類是由猿猴進化而來，並非生而高貴；第三次是弗洛伊德提出本能說，人類和其他動物並無差異。

那麽這第四次就是人類最頂尖的棋手同AI對弈，輸給人類自己所創造的人工智能。

短片中，邁倫繼續介紹著艾薩克：“過去五年，我們不斷讓艾薩克學習更多數學知識，利用數學庫，艾薩克已經掌握全部大學數學課程知識。”

“當然，更難的點在於如何教會艾薩克利用它學到的數學知識。”

“我們以往屆IMO的全部題目作為賽事腳本，提煉出題目背後的技巧和策略以供艾薩克學習，而後面對新的、未知的題目，艾薩克將會產生成百上千個解題思路，依次進行驗證，直到找到解決問題的最佳答題方案。”

聽著耳邊傳來的翻譯聲音，程遲音陷入沉思。

事實上IMO和物理競賽不同，物理競賽需要選手掌握大學本科的知識內容才有資格踏進，但IMO對數學知識的儲備要求並不算高，至少不需要掌握高等數學就能做出題目。