“真难想象会在竞赛赛场上看到这样的面孔。”

“期待她的表现。”

赛场最前列，程迟音看到半人的艾萨克立在桌面上，上连接着好几条电源线。

度的算力需要能源支撑。

巧了，和它在同一赛场。程迟音收回目光，走向自己的座位，将苏打和松饼放好。

考卷上的三题已经被翻译成中文，程迟音看向第一题。

某班有49个学生，坐成7行7列。每个座位的前后左右叫作它的邻座，要让这49位同学都换到他们的邻座上去，这样调换位置的方案是否能实现？

程迟音笑了，暗：“这题作为第一题开局相当合适。”

这题完现IMO的思想：要求题目的解法能够现数学，且题目足够简洁。

题目的题连小学生都能听明白，但是所能现来的解题思想却巧妙。

程迟音：“调换到邻座，看上去每个学生最多能有前后左右四换位选择，最少会有两，选择多，换位应当能够实现，但……”

思考一就知并不可能。

作为开胃菜，第一题并不难，程迟音很快写她的解答过程。

画一个7×7的表格，将49位学生编号依次填表格，就知每一次换座实际上都是奇数和偶数的互换。

但49个数，奇数和偶数的位数并不相同，这互换就不可能实现。

……

IMO的试题难度递增，第一题开胃菜过去后，第二题难度明显大了起来。

考试时间足足四个半小时，只有三题，平均一题一个半小时的解答时间，所的题目自然要求极的思维。

第二题是一平面解析几何题。

解析几何最大之在于，再复杂的图形问题都可以转换成纯运算题。

程迟音看完这题目，若有所思：“要证明大矩形至少有一条度为整数的边，有意思，题目中提到划分，这个问题可能和拓扑、组合有关联。直接证明好像行不通，试一反证法……”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本章尚未读完,请击一页继续阅读---->>>