聽著他喋喋不休的話語，大家卻沒多少游玩的心思，婉拒了馬修的提議后往酒店方向走。

    路上一起討論那個名叫艾薩克的AI。

    姜一然推了推眼鏡，看著手機屏幕上跳轉出的搜索頁面：“邁倫·鄧斯坦學生階段一直在研究心理學和自動機理論，看他以前的采訪，對創造能夠思考的機器這個想法很著迷?！?/br>
    邁倫·鄧斯坦的團隊所研究的領域，并不單單是讓AI在一場數學比賽中拿到金牌這么簡單。

    從1945年計算機能夠完成基礎計算開始，到后面玩簡單的棋類游戲、可識別的自動翻譯，再到下圍棋、無人駕駛汽車等等領域的進展。

    現在邁倫·鄧斯坦團隊努力的目標是，讓AI真正擁有類似人類的智能。

    于文靖接了一句：“他要的是‘真正的’智能，而不是‘人工的’智能?！?/br>
    程遲音垂下眼睫，思索起這一可能性來。

    構建出這樣的一臺機器，是否需要對人腦的復雜性進行逆向工程？又是否存在一套未知的算法，可以產生邁倫所想要的“真正的”智能？

    她對這一領域了解不深，最后搖了搖頭，說出自己的想法：“大腦本質就是一堆服從物理定律的物質，從神經元到意識的各個層面模擬智能，理論上是可以實現的?！?/br>
    于文靖咋舌，遲疑地說：“但是通用的人類水平的人工智能，至少在未來五十年不會出現吧？”

    姜一然扯出一抹淡的幾乎看不到的笑：“所以邁倫將重點先放在本次IMO上?！?/br>
    讓AI真正擁有類似人類的智能，比如理解一件藝術作品、譜寫出優美的充滿情感的樂曲、實現真人水準的信雅達翻譯、解答極具挑戰的數學問題……

    總有人會說機器做不到思考、推理、創造性的工作，而邁倫·鄧斯坦的團隊似乎努力的目標就是打破這一點。

    他們在做一件跨時代的事。如果真的成功，給世界帶來的震動和影響不可預估。

    程遲音內心其實挺欽佩邁倫·鄧斯坦，但至少這一次IMO。

    她抬頭跟其他幾人對視一眼，至少這一次，他們要竭盡全力捍衛人類的智慧在數學領域熠熠生輝的榮耀。

    *

    7月25日早上，本屆IMO首日競賽拉開帷幕。

    三道題，一題7分，總分21分，考四個半小時。

    因為競賽時間長，主辦方在賽場門口準備了食物和飲料，供選手取用帶入考場。參賽的選手來自世界各地，門口提供的食物貼心考慮到各國飲食差異，品類相當多。

    程遲音取了一瓶蘇打水和兩塊松餅，在門口媒體們熱切的目光中進入賽場。

    “是那個美麗的東方女孩?！?/br>
    “真難想象會在競賽賽場上看到這樣的面孔?！?/br>
    “期待她的表現?！?/br>
    賽場最前列，程遲音看到半人高的艾薩克立在桌面上，身上連接著好幾條電源線。

    高強度的算力需要能源支撐。

    巧了，和它在同一賽場。程遲音收回目光，走向自己的座位，將蘇打水和松餅放好。

    考卷上的三道題已經被翻譯成中文，程遲音看向第一道題。

    某班有49個學生，坐成7行7列。每個座位的前后左右叫作它的鄰座，要讓這49位同學都換到他們的鄰座上去，這樣調換位置的方案是否能實現？

    程遲音笑了下，暗道：“這道題作為第一道題開局相當合適?！?/br>
    這題完美體現出IMO的思想：要求題目的解法能夠體現出數學美，且題目足夠簡潔。

    題目的題干連小學生都能聽明白，但是所能體現出來的解題思想卻挺巧妙。

    程遲音：“調換到鄰座，看上去每個學生最多能有前后左右四種換位選擇，最少會有兩種，選擇多，換位應當能夠實現，但……”

    思考一下就知道并不可能。

    作為開胃菜，第一題并不難，程遲音很快寫下她的解答過程。

    畫出一個7×7的表格，將49位學生編號依次填入表格，就知道每一次換座實際上都是奇數和偶數的互換。

    但49個數，奇數和偶數的位數并不相同，這種互換就不可能實現。

    ……

    IMO的試題難度遞增，第一題開胃菜過去后，第二題難度明顯大了起來。

    考試時間足足四個半小時，只有三道題，平均一道題一個半小時的解答時間，所出的題目自然要求極高的思維性。

    第二道題是一道平面解析幾何題。

    解析幾何最強大之處在于，再復雜的圖形問題都可以轉換成純運算題。

    程遲音看完這道題目，若有所思：“要證明大矩形至少有一條長度為整數的邊，有意思，題目中提到劃分，這個問題可能和拓撲、組合有關聯。直接證明好像行不通，試一下反證法……”

    等程遲音做完第二道解析幾何題，時間已經過去兩個小時，她活動一下手腕，沒急著動筆寫第三道題，擰開蘇打水喝了一口。

    喝水時視線掃到前方，只見艾薩克也正在用它那雙機械手寫下一行行證明過程。

    收回視線，掰下一小塊松餅吃下補充體力，程遲音看向第三道題。

    難度遞增的情況下，這道題要比前面兩道更難，乍一看毫無思路。

    她感受到挑戰，微微興奮起來：“丟番圖方程，變量出現在指數位置上……”

    --