变量出现在指数位，问题的求解困难度也指数级上升，最典型的就是费马大定理。
“代数方法来求解应当会更加省事？佩尔方程以及递归关系，嗯……可以是可以，但有没有更加优美简洁的方法……”
她在纸上推演着思路，笔尖一顿：“有了，模运算，先用模消去……”
第三道题快收尾时，她听到前方有些许声音传来。
抬头看去，就见艾萨克示意答卷完毕，申请交卷。
他用来显示表情的电子屏幕上播放了一个笑脸表情。
此时时间刚过去三个半小时，赛场内大部分选手被第二、三道题难住，冥思苦想毫无头绪，这会儿看到艾萨克交卷，气氛便有些焦灼起来。
外头等候的媒体看到这个小机器人第一个出赛场，一片哗然，纷纷将镜头对准了这个小家伙。
在艾萨克走出考场后没多久，程迟音停下笔。
她没有急着交卷，小口吃着松饼思索起来。
它真的能理解某些问题中涉及的概念？从现在的情况来看，艾萨克的解题速度很快，只是准确率如何不得而知。
题目对思维的考察性很高，巧妙绝佳的解题思路能否由一个AI给出，也不得而知。
四个半小时时间一到，宣布交卷。
出考场和姜一然于文靖他们汇合，不远处一堆摄像头还在对着艾萨克，迈伦先生在旁边侃侃而谈。
姜一然看过那边，抬头看她问：“感觉怎么样？”
“还不错。”程迟音点头，随后说道，“艾萨克在我们赛场。”
于文靖嘟囔了一声：“也不知道这个小机器人能拿几分。”
夏青豫耸耸肩：“别爆0了，迈伦带它过来抱着宣传的目的，如果结果完全相反就尴尬了。”
程迟音：“明天就知道了。”
近几年IMO评分规则改制，一卷一评分，明天一早会公布前一百名的分数，后天再进行第二天的竞赛。
从某种角度来讲，这种改制是为了选拔出心理素质更好的选手。
次日分数下来，所有人迫不及待打开官网上传的表格，看到排在第一名的是艾萨克时沉默了一下。
它的名字后面跟着21分这个满分分数。
好在下面还有五个选手并列第一，在第一天的竞赛中都拿到满分的分数。分别是程迟音、姜一然，还有三个分别来自俄罗斯、美国、韩国的选手。
国外社交媒体上针对此事的讨论热度逐渐发酵。
[该不会今年的金牌第一会被机器人摘走？]
[作为顶级数学竞赛，IMO是一场最能代表人类智慧的比赛，其体现的数学之美远远不是繁琐单调的计算，我不敢想象AI可以领略这种数学美，且做出没有瑕疵的解答]
[这是一件糟糕的事，这也是正在发生的现实，但我不想它太快]
搜索的提交是按输入法界面上的确定/提交/前进键的