第169頁

    變量出現在指數位，問題的求解困難度也指數級上升，最典型的就是費馬大定理。

    「代數方法來求解應當會更加省事？佩爾方程以及遞歸關係，嗯……可以是可以，但有沒有更加優美簡潔的方法……」

    她在紙上推演著思路，筆尖一頓：「有了，模運算，先用模消去……」

    第三道題快收尾時，她聽到前方有些許聲音傳來。

    抬頭看去，就見艾薩克示意答卷完畢，申請交卷。

    他用來顯示錶情的電子屏幕上播放了一個笑臉表情。

    此時時間剛過去三個半小時，賽場內大部分選手被第二、三道題難住，冥思苦想毫無頭緒，這會兒看到艾薩克交卷，氣氛便有些焦灼起來。

    外頭等候的媒體看到這個小機器人第一個出賽場，一片譁然，紛紛將鏡頭對準了這個小傢伙。

    在艾薩克走出考場後沒多久，程遲音停下筆。

    她沒有急著交卷，小口吃著鬆餅思索起來。

    它真的能理解某些問題中涉及的概念？從現在的情況來看，艾薩克的解題速度很快，只是準確率如何不得而知。

    題目對思維的考察性很高，巧妙絕佳的解題思路能否由一個AI給出，也不得而知。

    四個半小時時間一到，宣布交卷。

    出考場和姜一然於文靖他們匯合，不遠處一堆攝像頭還在對著艾薩克，邁倫先生在旁邊侃侃而談。

    姜一然看過那邊，抬頭看她問：「感覺怎麼樣？」

    「還不錯。」程遲音點頭，隨後說道，「艾薩克在我們賽場。」

    於文靖嘟囔了一聲：「也不知道這個小機器人能拿幾分。」

    夏青豫聳聳肩：「別爆0了，邁倫帶它過來抱著宣傳的目的，如果結果完全相反就尷尬了。」

    程遲音：「明天就知道了。」

    近幾年IMO評分規則改制，一卷一評分，明天一早會公布前一百名的分數，後天再進行第二天的競賽。

    從某種角度來講，這種改制是為了選拔出心理素質更好的選手。

    次日分數下來，所有人迫不及待打開官網上傳的表格，看到排在第一名的是艾薩克時沉默了一下。

    它的名字後面跟著21分這個滿分分數。

    好在下面還有五個選手並列第一，在第一天的競賽中都拿到滿分的分數。分別是程遲音、姜一然，還有三個分別來自俄羅斯、美國、韓國的選手。

    國外社交媒體上針對此事的討論熱度逐漸發酵。

    [該不會今年的金牌第一會被機器人摘走？]

    [作為頂級數學競賽，IMO是一場最能代表人類智慧的比賽，其體現的數學之美遠遠不是繁瑣單調的計算，我不敢想像AI可以領略這種數學美，且做出沒有瑕疵的解答]

    [這是一件糟糕的事，這也是正在發生的現實，但我不想它太快]

    [令人困擾而迷茫]

    [我並不擔心人工智慧變得太聰明，我擔心的是，人最珍貴的品質可以在AI身上通過簡單的機械方法實現，畢竟今天是數學，明天就有可能是音樂和美術]

    在國外社交媒體上的震動漸漸蔓延到國內，本來一場只為小眾關注的賽事，在媒體附加的「人類與AI智慧之爭」「IMO桂冠是否會由機器人摘得」等等吸人眼球的標題傳回國內後，牽動起所有人的心。

    [幾年前圍棋人機大戰AI贏了，也沒見大家這麼激動，怎麼輪到數學比賽就影響這麼大？]

    [工作原理不一樣啊]

    有人給了解釋：

    「圍棋那個AI簡單來講，就是用數值網絡和策略網絡對棋盤優勢進行判斷，預測每種下法的勝率變化，本質還是分析、預測。」

    「但是IMO的題目不一樣，人家要選的是『聰明的學生』，重視思維的深度和靈活性，解法很多都精妙到不行。如果AI能做到這個層次，那……」

    不管有沒有理解，所有人的關注點都變成了：人類究竟能不能在這一場競賽中勝利。

    第二天考試很快到來。

    中國奧數隊那邊對程遲音幾個人囑咐道：「第二天的考試要比第一天難很多，細心大膽，干就完事。」

    「原本我希望你們幾個能在拿到團體冠軍的基礎上，個人金牌多拿，最好捧一個金牌第一回 來。現在嘛……現在還是這個要求，金牌第一，別被那個AI拿到了。」

    幾人齊齊看向程遲音和姜一然，第一天考試，只有這兩人和其他三個國家的選手拿到滿分。

    但第二天考試難度再次增加，還怎麼拿滿分。

    競賽開始，大家有序走進考場。

    金牌第一。

    在今年艾薩克這個特殊對手的加入，變得無比困難起來。

    金牌不止一面，第一卻只有一個，要怎麼拿到這個金牌第一。

    座位上，拿到試卷，程遲音看完題目有了思路，剛要動筆又停下了。

    人的狀態有起伏，機器可沒有。

    今天的考試艾薩克大概率還會取得滿分。

    那麼就假設最糟糕的情況，如果艾薩克又一次拿了滿分，要怎麼贏？

    她盯著題目，放棄了原本的思路。

    作者有話要說：換座位那道題引用羅增儒教授所著的《中學數學競賽的內容與方法》

    第66章

    假設艾薩克拿到滿分。

    要贏它就必須拿到比滿分更高的分數。