然而满分并不是IMO的终点，比满分更难拿到的，就是这个所谓的“特别奖”。
　　这个奖项规定是，一道试题，如果某个选手有着独到的解答，这个解答比组委会官方事先拟定的标准答案还要更漂亮、更简洁，就可以拿到这个特别奖。
　　近十几届IMO中，这个奖项都处于空缺状态，是无人有资格领奖的境地，可见有多难得。
　　讲完这段，费迪南德教授宣布起竞赛规则。
　　规则很简单，考试时间为两天，每天四个半小时。一天3题，一题7分，两天一共六道题42分。
　　宣布完竞赛规则，全场再一次鼓掌。
　　费迪南德教授顿了顿，抬手示意，掌声停下来。
　　透过镜头，大家察觉到这位学术成就不菲的教授情绪有了些变化。
　　似乎是在思考着什么，良久，费迪南德教授苍老的声音才再一次传遍整个礼堂：“除了在场的106个国家和地区代表队，今年，我们还将迎来一位特殊的选手。”
　　特殊的选手？
　　大家愣了一下，相互对视一眼。
　　费迪南德教授环视下面肤色人种各异的选手们，缓缓说道：“这位选手在今天之前，通过面试证明了自己有参加IMO的实力，现在，让我们来认识一下它。”
　　大家注意到费迪南德教授在用“it”它代指那位特殊的选手。
　　费迪南德教授朝主持人点点头，礼堂屏幕播放起一个英文短片。
　　屏幕里出现一个中年人的身影，旁边浮现英文介绍。
　　这个中年人是一家著名跨国科技企业研究团队的一员，名叫迈伦·邓斯坦。其所在的企业领跑科技领域，企业市值突破两万亿元，开发的操作系统在世界范围内影响深远。
　　迈伦面向镜头侃侃而谈：“有人在问这几年我在忙些什么，现在，我想我可以为你们介绍了。”
　　随着迈伦的话语传出，耳麦中同声传译翻译成各国语言输送到选手们耳边。
　　“毫无疑问，IMO作为世界顶级数学竞赛，是一场最能代表人类智慧的比赛。”迈伦引领着镜头，走到一个约莫半人高的机器跟前，介绍道，“这个小家伙叫艾萨克。”
　　“过去五年我们在做的一项努力是，训练AI在这场顶级数学竞赛中获得金牌。”
　　礼堂内一片哗然。
　　大家瞬间意识到，费迪南德教授所说的特殊的选手，恐怕就是这个名叫艾萨克的AI机器人。
　　迈伦从桌上拿了一张试卷对着镜头晃晃，然后递到艾萨克跟前，只见这个小机器人扫描过试卷后，拿起笔在纸上写起字来。
　　迈伦充满骄傲地看着它：“我们把IMO看作是一个场地，一个可以用来证明AI能成长到像人一样思考的完美场地。”
　　“如果艾萨克可以赢得竞赛，足以说明它在认知层面的某个重要维度上，已经可以和它的创造者——人类相匹敌。”
　　程迟音默念了一句这个AI的名字，艾萨克，Isaac，居然冠以牛顿的名字，看来迈伦对这个AI信心十足。
　　礼堂内各国选手陷入安静中，面色冷肃，此时此刻他们不由自主想起几年前一场围棋领域的人机大战。
　　有人说历史上人类的自尊心曾受过三次严重打击：第一次是哥白尼提出日心说否定地心说，原来宇宙并不是围着地球转的；第二次是达尔文提出进化论，指出人类是由猿猴进化而来，并非生而高贵；第三次是弗洛伊德提出本能说，人类和其他动物并无差异。
　　那么这第四次就是人类最顶尖的棋手同AI对弈，输给人类自己所创造的人工智能。
　　短片中，迈伦继续介绍着艾萨克：“过去五年，我们不断让艾萨克学习更多数学知识，利用数学库，艾萨克已经掌握全部大学数学课程知识。”
　　“当然，更难的点在于如何教会艾萨克利用它学到的数学知识。”
　　“我们以往届IMO的全部题目作为赛事脚本，提炼出题目背后的技巧和策略以供艾萨克学习，而后面对新的、未知的题目，艾萨克将会产生成百上千个解题思路，依次进行验证，直到找到解决问题的最佳答题方案。”
　　听着耳边传来的翻译声音，程迟音陷入沉思。
　　事实上IMO和物理竞赛不同，物理竞赛需要选手掌握大学本科的知识内容才有资格踏进，但IMO对数学知识的储备要求并不算高，至少不需要掌握高等数学就能做出题目。
　　但这并不意味着简单。
　　相反，要求的知识储备不高，与之对应的对思维的要求就会极高。
　　选手们在阅读完题目后，必须以各式各样的开放性想法巧妙结合，才有机会和可能性做出题目来。
　　所以数学竞赛，很多时候更吃临场发挥，需要有那种偶然天成的、灵光一现般的思路闪出。
　　AI能做到这一点吗？
　　程迟音和旁边的姜一然对视一眼，发现他的表情同样严肃。
　　礼堂内和观看开幕式直播的观众们讨论起来，话语中有着显而易见的担忧。
　　“智慧是人类最后的一道防线，如果人类输给机器……”
　　“哈，是在挑战人类最后的尊严？”
　　“醒醒，早在几年前围棋人机大战人类就输了。”
　　短片中，迈伦已经介绍完艾萨克的基本情况，微笑着看向镜头：
　　“数学比赛比棋类游戏要更复杂，但我们有信心。”
　　“艾萨克很努力，我们有自信它已经站在这场比赛的终点线上。从今年开始，IMO的金牌将不再属于人类。”
　　迈伦拍拍小机器人。
　　艾萨克脸上的屏幕做出一个眨眼的表情，用几乎与人声别无二致的声音和语气开口：“艾萨克，向人类宣战。”
　　这是一句略带中二的话语，礼堂内各国代表队选手却没有笑的心思。
　　作者有话要说：艾萨克的设定参考微软研究团队中Daniel Selsamo进行的“IMO大挑战”所设定的AI
 
 
第65章 
　　开幕式过后,领队梁贺老师和他们打了声招呼，就被主办方的工作人员带走了。
　　程迟音看着梁贺背影，感叹一声：“老师要被关小黑屋了。”
　　出于公平竞赛的目的,各参赛国领队会被集中到一起出题，每国提供三到五题组成一个约四百道题的大题库。
　　作为主办国的意大利不会参与出题，组成选题委员会在题库中筛选分类,最后确定六道正式竞赛题目,由各国翻译翻成本国语言，在竞赛当天提供给选手们。
　　梁贺老师在出题期间禁止和外界联系，要一直等两天竞赛结束才会和他们汇合。
　　领队老师走了，将由那位名叫马修的博大学生充当导游带领他们参观各个景点。
　　天已经完全黑下来，廊灯照着柔和明亮的灯光,各国选手有序退场。
　　出去后，程迟音远远看到马修在礼堂门口等着，夏青豫朝他招招手，喊了一声：“哥们儿！”
　　马修视线从他身上略过，看向四周。
　　夏青豫：“……这么脸盲的吗。”
　　几人在他面前走过几趟,马修愣是没认出来,还是程迟音停在他跟前挥了挥手，马修视线停在她脸上,才惊喜道：“程,你们出来了。”
　　于文靖有些无语：“我们在你面前走过几次了。”
　　马修抱歉：“对不起，你们东方人的面孔我有些记不住。”
　　说完看向程迟音,笑：“但是你的美丽让我印象深刻。你不说话的时候宛如贝尼尼精心雕琢的雕像,肌肤同象牙一般，黑发像最名贵的丝织品。”
　　于文靖等人听到翻译翻译过来的话，嘶了一声,觉得有点牙酸。
　　这彩虹屁真是张口就来。
　　程迟音有些不习惯这一连串的比喻，沉默一下，礼貌道谢。
　　“博洛尼亚的夜晚灯火如昼，你们有想去玩的地方吗？或者我可以给你们推荐几个地方。”马修十分热情，“附近有不错的酒吧，我想你们都知道意大利有很多葡萄，同品质的酒我们可比法国酒便宜得多。”
　　“当然，你们的消费在合理范围内将由我们来承担，这一点不用担心，你们要做的就是享受博洛尼亚的一切美好。”
　　听着他喋喋不休的话语，大家却没多少游玩的心思，婉拒了马修的提议后往酒店方向走。
　　路上一起讨论那个名叫艾萨克的AI。
　　姜一然推了推眼镜，看着手机屏幕上跳转出的搜索页面：“迈伦·邓斯坦学生阶段一直在研究心理学和自动机理论，看他以前的采访，对创造能够思考的机器这个想法很着迷。”
　　迈伦·邓斯坦的团队所研究的领域，并不单单是让AI在一场数学比赛中拿到金牌这么简单。
　　从1945年计算机能够完成基础计算开始，到后面玩简单的棋类游戏、可识别的自动翻译，再到下围棋、无人驾驶汽车等等领域的进展。
　　现在迈伦·邓斯坦团队努力的目标是，让AI真正拥有类似人类的智能。
　　于文靖接了一句：“他要的是‘真正的’智能，而不是‘人工的’智能。”
　　程迟音垂下眼睫，思索起这一可能性来。
　　构建出这样的一台机器，是否需要对人脑的复杂性进行逆向工程？又是否存在一套未知的算法，可以产生迈伦所想要的“真正的”智能？
　　她对这一领域了解不深，最后摇了摇头，说出自己的想法：“大脑本质就是一堆服从物理定律的物质，从神经元到意识的各个层面模拟智能，理论上是可以实现的。”
　　于文靖咋舌，迟疑地说：“但是通用的人类水平的人工智能，至少在未来五十年不会出现吧？”
　　姜一然扯出一抹淡的几乎看不到的笑：“所以迈伦将重点先放在本次IMO上。”
　　让AI真正拥有类似人类的智能，比如理解一件艺术作品、谱写出优美的充满情感的乐曲、实现真人水准的信雅达翻译、解答极具挑战的数学问题……
　　总有人会说机器做不到思考、推理、创造性的工作，而迈伦·邓斯坦的团队似乎努力的目标就是打破这一点。
　　他们在做一件跨时代的事。如果真的成功，给世界带来的震动和影响不可预估。
　　程迟音内心其实挺钦佩迈伦·邓斯坦，但至少这一次IMO。
　　她抬头跟其他几人对视一眼，至少这一次，他们要竭尽全力捍卫人类的智慧在数学领域熠熠生辉的荣耀。
　　*
　　7月25日早上，本届IMO首日竞赛拉开帷幕。
　　三道题，一题7分，总分21分，考四个半小时。
　　因为竞赛时间长，主办方在赛场门口准备了食物和饮料，供选手取用带入考场。参赛的选手来自世界各地，门口提供的食物贴心考虑到各国饮食差异，品类相当多。
　　程迟音取了一瓶苏打水和两块松饼，在门口媒体们热切的目光中进入赛场。
　　“是那个美丽的东方女孩。”
　　“真难想象会在竞赛赛场上看到这样的面孔。”
　　“期待她的表现。”
　　赛场最前列，程迟音看到半人高的艾萨克立在桌面上，身上连接着好几条电源线。
　　高强度的算力需要能源支撑。
　　巧了，和它在同一赛场。程迟音收回目光，走向自己的座位，将苏打水和松饼放好。
　　考卷上的三道题已经被翻译成中文，程迟音看向第一道题。

　　某班有49个学生，坐成7行7列。每个座位的前后左右叫作它的邻座，要让这49位同学都换到他们的邻座上去，这样调换位置的方案是否能实现？
　　程迟音笑了下，暗道：“这道题作为第一道题开局相当合适。”
　　这题完美体现出IMO的思想：要求题目的解法能够体现出数学美，且题目足够简洁。
　　题目的题干连小学生都能听明白，但是所能体现出来的解题思想却挺巧妙。
　　程迟音：“调换到邻座，看上去每个学生最多能有前后左右四种换位选择，最少会有两种，选择多，换位应当能够实现，但……”
　　思考一下就知道并不可能。
　　作为开胃菜，第一题并不难，程迟音很快写下她的解答过程。
　　画出一个7×7的表格，将49位学生编号依次填入表格，就知道每一次换座实际上都是奇数和偶数的互换。
　　但49个数，奇数和偶数的位数并不相同，这种互换就不可能实现。
　　……
　　IMO的试题难度递增，第一题开胃菜过去后，第二题难度明显大了起来。
　　考试时间足足四个半小时，只有三道题，平均一道题一个半小时的解答时间，所出的题目自然要求极高的思维性。
　　第二道题是一道平面解析几何题。
　　解析几何最强大之处在于，再复杂的图形问题都可以转换成纯运算题。
　　程迟音看完这道题目，若有所思：“要证明大矩形至少有一条长度为整数的边，有意思，题目中提到划分，这个问题可能和拓扑、组合有关联。直接证明好像行不通，试一下反证法……”