“真难想象会在竞赛赛场上看到这样的面孔。”
“期待她的表现。”
赛场最前列，程迟音看到半人
的艾萨克立在桌面上，
上连接着好几条电源线。
度的算力需要能源支撑。
巧了，和它在同一赛场。程迟音收回目光，走向自己的座位，将苏打
和松饼放好。
考卷上的三
题已经被翻译成
文，程迟音看向第一题。
某班有49个学生，坐成7行7列。每个座位的前后左右叫作它的邻座，要让这49位同学都换到他们的邻座上去，这样调换位置的方案是否能实现？
程迟音笑了
，暗：“这题作为第一题开局相当合适。”
这题完
现
IMO的思想：要求题目的解法能够现数学，且题目足够简洁。
题目的题
连小学生都能听明白，但是所能现来的解题思想却
巧妙。
程迟音：“调换到邻座，看上去每个学生最多能有前后左右四
换位选择，最少会有两，选择多，换位应当能够实现，但……”
思考一就知并不可能。
作为开胃菜，第一题并不难，程迟音很快写她的解答过程。
画一个7×7的表格，将49位学生编号依次填
表格，就知每一次换座实际上都是奇数和偶数的互换。
但49个数，奇数和偶数的位数并不相同，这互换就不可能实现。
……
IMO的试题难度递增，第一题开胃菜过去后，第二题难度明显大了起来。
考试时间足足四个半小时，只有三题，平均一题一个半小时的解答时间，所的题目自然要求极的思维
。
第二题是一平面解析几何题。
解析几何最大之
在于，再复杂的图形问题都可以转换成纯运算题。
程迟音看完这题目，若有所思：“要证明大矩形至少有一条
度为整数的边，有意思，题目提到划分，这个问题可能和拓扑、组合有关联。直接证明好像行不通，试一反证法……”
等程迟音
完第二解析几何题，时间已经过去两个小时，她活动一手腕，没急着动笔写第三题，拧开苏打喝了一
。
喝时视线扫到前方，只见艾萨克也正在用它那双机械手写一行行证明过程。
收回视线，掰一小块松饼吃补充力，程迟音看向第三题。
难度递增的
况，这题要比前面两更难，乍一看毫无思路。
她
受到挑战，微微兴奋起来：“丢番图方程，变量现在指数位置上……”
变量现在指数位，问题的求解困难度也指数级上升，最典型的就是费
大定理。
“代数方法来求解应当会更加省事？佩尔方程以及递归关系，嗯……可以是可以，但有没有更加优简洁的方法……”
她在纸上推演着思路，笔尖一顿：“有了，模运算，先用模消去……”
第三题快收尾时，她听到前方有些许声音传来。
抬
看去，就见艾萨克示意答卷完毕，申请
卷。
他用来显示表的电
屏幕上播放了一个笑脸表。
此时时间刚过去三个半小时，赛场
大
分选手被第二、三题难住，冥思苦想毫无绪，这会儿看到艾萨克卷，气氛便有些焦灼起来。
外等候的媒看到这个小机
人第一个赛场，一片哗然，纷纷将镜对准了这个小家伙。
在艾萨克走考场后没多久，程迟音停笔。
她没有急着卷，小吃着松饼思索起来。
它真的能理解某些问题涉及的概念？从现在的况来看，艾萨克的解题速度很快，只是准确率如何不得而知。
题目对思维的考察很，巧妙绝佳的解题思路能否由一个AI给，也不得而知。
四个半小时时间一到，宣布卷。
考场和姜一然于文靖他们汇合，不远一堆摄像还在对着艾萨克，迈
先生在旁边侃侃而谈。
姜一然看过那边，抬看她问：“觉怎么样？”
“还不错。”程迟音
，随后说，“艾萨克在我们赛场。”
于文靖嘟囔了一声：“也不知这个小机人能拿几分。”
夏青豫耸耸肩：“别爆0了，迈带它过来抱着宣传的目的，如果结果完全相反就尴尬了。”
程迟音：“明天就知了。”
近几年IMO评分规则改制，一卷一评分，明天一早会公布前一百名的分数，后天再
行第二天的竞赛。
从某角度来讲，这改制是为了选
心理素质更好的选手。
次日分数来，所有人迫不及待打开官网上传的表格，看到排在第一名的是艾萨克时沉默了一。
它的名字后面跟着21分这个满分分数。
好在面还有五个选手并列第一，在第一天的竞赛都拿到满分的分数。分别是程迟音、姜一然，还有三个分别来自俄罗斯、国、韩国的选手。
国外社媒上针对此事的讨论
度逐渐发酵。
[该不会今年的金牌第一会被机人摘走？]
[作为
级数学竞赛，IMO是一场最能代表人类智慧的比赛，其现的数学之远远不是繁琐单调的计算，我不敢想象AI可以领略这数学，且没有瑕疵的解答]
[这是一件糟糕的事，这也是正在发生的现实，但我不想它太快]
[令人困扰而迷茫]
[我并不担心人工智能变得太聪明，我担心的是，人最珍贵的品质可以在AI上通过简单的机械方法实现，毕竟今天是数学，明天就有可能是音乐和术]
在国外社媒上的震动渐渐蔓延到国，本来一场只为小众关注的赛事，在媒附加的“人类与AI智慧之争”“IMO桂冠是否会由机人摘得”等等
人
球的标题传回国后，牵动起所有人的心。
[几年前围棋人机大战AI赢了，也没见大家这么激动，怎么
到数学比赛就影响这么大？]
[工作原理不一样啊]
有人给了解释：
“围棋那个AI简单来讲，就是用数值网络和策略网络对棋盘优势行判断，预测每法的胜率变化，本质还是分析、预测。”
“但是IMO的题目不一样，人家要选的是‘聪明的学生’，重视思维的
度和灵活，解法很多都
妙到不行。如果AI能到这个层次，那……”
不
有没有理解，所有人的关注都变成了：人类究竟能不能在这一场竞赛胜利。
第二天考试很快到来。
国奥数队那边对程迟音几个人嘱咐：“第二天的考试要比第一天难很多，细心大胆，就完事。”
“原本我希望你们几个能在拿
ql请记住本站地址http://m.quanbl.com