第65章（第2/2页）

等程迟音做完第二道解析几何题，时间已经过去两个小时，她活动一下手腕，没急着动笔写第三道题，拧开苏打水喝了一口。

喝水时视线扫到前方，只见艾萨克也正在用它那双机械手写下一行行证明过程。

收回视线，掰下一小块松饼吃下补充体力，程迟音看向第三道题。

难度递增的情况下，这道题要比前面两道更难，乍一看毫无思路。

她感受到挑战，微微兴奋起来：“丢番图方程，变量出现在指数位置上……”

变量出现在指数位，问题的求解困难度也指数级上升，最典型的就是费马大定理。

“代数方法来求解应当会更加省事？佩尔方程以及递归关系，嗯……可以是可以，但有没有更加优美简洁的方法……”

她在纸上推演着思路，笔尖一顿：“有了，模运算，先用模消去……”

第三道题快收尾时，她听到前方有些许声音传来。

抬头看去，就见艾萨克示意答卷完毕，申请交卷。

他用来显示表情的电子屏幕上播放了一个笑脸表情。

此时时间刚过去三个半小时，赛场内大部分选手被第二、三道题难住，冥思苦想毫无头绪，这会儿看到艾萨克交卷，气氛便有些焦灼起来。

外头等候的媒体看到这个小机器人第一个出赛场，一片哗然，纷纷将镜头对准了这个小家伙。

在艾萨克走出考场后没多久，程迟音停下笔。

她没有急着交卷，小口吃着松饼思索起来。

它真的能理解某些问题中涉及的概念？从现在的情况来看，艾萨克的解题速度很快，只是准确率如何不得而知。

题目对思维的考察性很高，巧妙绝佳的解题思路能否由一个AI给出，也不得而知。

四个半小时时间一到，宣布交卷。

出考场和姜一然于文靖他们汇合，不远处一堆摄像头还在对着艾萨克，迈伦先生在旁边侃侃而谈。

姜一然看过那边，抬头看她问：“感觉怎么样？”

“还不错。”程迟音点头，随后说道，“艾萨克在我们赛场。”

于文靖嘟囔了一声：“也不知道这个小机器人能拿几分。”

夏青豫耸耸肩：“别爆0了，迈伦带它过来抱着宣传的目的，如果结果完全相反就尴尬了。”

程迟音：“明天就知道了。”

近几年IMO评分规则改制，一卷一评分，明天一早会公布前一百名的分数，后天再进行第二天的竞赛。

从某种角度来讲，这种改制是为了选拔出心理素质更好的选手。

次日分数下来，所有人迫不及待打开官网上传的表格，看到排在第一名的是艾萨克时沉默了一下。

它的名字后面跟着21分这个满分分数。

好在下面还有五个选手并列第一，在第一天的竞赛中都拿到满分的分数。分别是程迟音、姜一然，还有三个分别来自俄罗斯、美国、韩国的选手。

国外社交媒体上针对此事的讨论热度逐渐发酵。

[该不会今年的金牌第一会被机器人摘走？]

[作为顶级数学竞赛，IMO是一场最能代表人类智慧的比赛，其体现的数学之美远远不是繁琐单调的计算，我不敢想象AI可以领略这种数学美，且做出没有瑕疵的解答]

[这是一件糟糕的事，这也是正在发生的现实，但我不想它太快]

[令人困扰而迷茫]

[我并不担心人工智能变得太聪明，我担心的是，人最珍贵的品质可以在AI身上通过简单的机械方法实现，毕竟今天是数学，明天就有可能是音乐和美术]

在国外社交媒体上的震动渐渐蔓延到国内，本来一场只为小众关注的赛事，在媒体附加的“人类与AI智慧之争”“IMO桂冠是否会由机器人摘得”等等吸人眼球的标题传回国内后，牵动起所有人的心。

[几年前围棋人机大战AI赢了，也没见大家这么激动，怎么轮到数学比赛就影响这么大？]

[工作原理不一样啊]

有人给了解释：

“围棋那个AI简单来讲，就是用数值网络和策略网络对棋盘优势进行判断，预测每种下法的胜率变化，本质还是分析、预测。”

“但是IMO的题目不一样，人家要选的是‘聪明的学生’，重视思维的深度和灵活性，解法很多都精妙到不行。如果AI能做到这个层次，那……”

不管有没有理解，所有人的关注点都变成了：人类究竟能不能在这一场竞赛中胜利。

第二天考试很快到来。

中国奥数队那边对程迟音几个人嘱咐道：“第二天的考试要比第一天难很多，细心大胆，干就完事。”

“原本我希望你们几个能在拿到团体冠军的基础上，个人金牌多拿，最好捧一个金牌第一回 来。现在嘛……现在还是这个要求，金牌第一，别被那个AI拿到了。”

几人齐齐看向程迟音和姜一然，第一天考试，只有这两人和其他三个国家的选手拿到满分。

但第二天考试难度再次增加，还怎么拿满分。

竞赛开始，大家有序走进考场。

金牌第一。

在今年艾萨克这个特殊对手的加入，变得无比困难起来。

金牌不止一面，第一却只有一个，要怎么拿到这个金牌第一。

座位上，拿到试卷，程迟音看完题目有了思路，刚要动笔又停下了。

人的状态有起伏，机器可没有。

今天的考试艾萨克大概率还会取得满分。

那么就假设最糟糕的情况，如果艾萨克又一次拿了满分，要怎么赢？

她盯着题目，放弃了原本的思路。