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

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

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

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

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

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

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

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

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

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

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

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

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

  但这并不意味着简单。

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

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

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

  ai能做到这一点吗？

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

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

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

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

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

  短片中，迈伦已经介绍完艾萨克的基本情况，微笑着看向镜头：

  “数学比赛比棋类游戏要更复杂，但我们有信心。”

  “艾萨克很努力，我们有自信它已经站在这场比赛的终点线上。从今年开始，imo的金牌将不再属于人类。”

  迈伦拍拍小机器人。

  艾萨克脸上的屏幕做出一个眨眼的表情，用几乎与人声别无二致的声音和语气开口：“艾萨克，向人类宣战。”

  这是一句略带中二的话语，礼堂内各国代表队选手却没有笑的心思。

  作者有话要说：艾萨克的设定参考微软研究团队中daniel selsamo进行的“imo大挑战”所设定的ai

  第65章

  开幕式过后,领队梁贺老师和他们打了声招呼，就被主办方的工作人员带走了。

  程迟音看着梁贺背影，感叹一声：“老师要被关小黑屋了。”

  出于公平竞赛的目的,各参赛国领队会被集中到一起出题，每国提供三到五题组成一个约四百道题的大题库。

  作为主办国的意大利不会参与出题，组成选题委员会在题库中筛选分类,最后确定六道正式竞赛题目,由各国翻译翻成本国语言，在竞赛当天提供给选手们。

  梁贺老师在出题期间禁止和外界联系，要一直等两天竞赛结束才会和他们汇合。

  领队老师走了，将由那位名叫马修的博大学生充当导游带领他们参观各个景点。

  天已经完全黑下来，廊灯照着柔和明亮的灯光,各国选手有序退场。

  出去后，程迟音远远看到马修在礼堂门口等着，夏青豫朝他招招手，喊了一声：“哥们儿！”

  马修视线从他身上略过，看向四周。

  夏青豫：“……这么脸盲的吗。”

  几人在他面前走过几趟,马修愣是没认出来,还是程迟音停在他跟前挥了挥手，马修视线停在她脸上,才惊喜道：“程,你们出来了。”

  于文靖有些无语：“我们在你面前走过几次了。”

  马修抱歉：“对不起，你们东方人的面孔我有些记不住。”

  说完看向程迟音,笑：“但是你的美丽让我印象深刻。你不说话的时候宛如贝尼尼精心雕琢的雕像,肌肤同象牙一般，黑发像最名贵的丝织品。”

  于文靖等人听到翻译翻译过来的话，嘶了一声,觉得有点牙酸。

  这彩虹屁真是张口就来。

  程迟音有些不习惯这一连串的比喻，沉默一下，礼貌道谢。