迈面向镜侃侃而谈：“有人在问这几年我在忙些什么，现在，我想我可以为你们介绍了。”

    随着迈的话语传，耳麦中同声传译翻译成各国语言输送到选手们耳边。

    “毫无疑问，IMO作为世界级数学竞赛，是一场最能代表人类智慧的比赛。”迈引领着镜，走到一个约莫半人的机跟前，介绍，“这个小家伙叫艾萨克。”

    “过去五年我们在的一项努力是，训练AI在这场级数学竞赛中获得金牌。”

    礼堂一片哗然。

    大家瞬间意识到，费迪南德教授所说的特殊的选手，恐怕就是这个名叫艾萨克的AI机人。

    迈从桌上拿了一张试卷对着镜晃晃，然后递到艾萨克跟前，只见这个小机人扫描过试卷后，拿起笔在纸上写起字来。

    迈充满骄傲地看着它：“我们把IMO看作是一个场地，一个可以用来证明AI能成到像人一样思考的完场地。”

    “如果艾萨克可以赢得竞赛，足以说明它在认知层面的某个重要维度上，已经可以和它的创造者——人类相匹敌。”

    程迟音默念了一句这个AI的名字，艾萨克，Isaac，居然冠以顿的名字，看来迈对这个AI信心十足。

    礼堂各国选手陷安静中，面冷肃，此时此刻他们不由自主想起几年前一场围棋领域的人机大战。

    有人说历史上人类的自尊心曾受过三次严重打击：第一次是哥白尼提日心说否定地心说，原来宇宙并不是围着地球转的；第二次是达尔文提化论，指人类是由猿猴化而来，并非生而贵；第三次是弗洛伊德提本能说，人类和其他动并无差异。

    那么这第四次就是人类最尖的棋手同AI对弈，输给人类自己所创造的人工智能。

    短片中，迈继续介绍着艾萨克：“过去五年，我们不断让艾萨克学习更多数学知识，利用数学库，艾萨克已经掌握全大学数学课程知识。”

    “当然，更难的在于如何教会艾萨克利用它学到的数学知识。”

    “我们以往届IMO的全题目作为赛事脚本，提炼题目背后的技巧和策略以供艾萨克学习，而后面对新的、未知的题目，艾萨克将会产生成百上千个解题思路，依次行验证，直到找到解决问题的最佳答题方案。”

    听着耳边传来的翻译声音，程迟音陷沉思。

    事实上IMO和理竞赛不同，理竞赛需要选手掌握大学本科的知识容才有资格踏，但IMO对数学知识的储备要求并不算，至少不需要掌握等数学就能题目。

    但这并不意味着简单。

    相反，要求的知识储备不，与之对应的对思维的要求就会极。

    选手们在阅读完题目后，必须以各式各样的开放想法巧妙结合，才有机会和可能题目来。

    所以数学竞赛，很多时候更吃临场发挥，需要有那偶然天成的、灵光一现般的思路闪。

    AI能到这一吗？

    程迟音和旁边的姜一然对视一，发现他的表同样严肃。

    礼堂和观看开幕式直播的观众们讨论起来，话语中有着显而易见的担忧。

    “智慧是人类最后的一防线，如果人类输给机……”

    “哈，是在挑战人类最后的尊严？”

    “醒醒，早在几年前围棋人机大战人类就输了。”