博洛尼亚城市规模并不大,相当于国内三线市区大小。马修领着中国奥数队一行人穿梭在街巷内，向他们介绍着博洛尼亚以及博洛尼亚大学。

    走过广场，他一脸骄傲指着中央的雕像“但丁、哥白尼、彼得拉克,都是我们博大的校友”

    大家牛批牛批。

    路过图书馆，马修“我们有三十八个图书馆，藏书量高达一百多万册”

    大家哇塞哇塞。

    马修“我们这儿还是意大利的美食中心,意大利肉酱面的发源地。看看两边商店,总是挂着数不胜数的帕尔马火腿。”

    大家眼睛一亮，走起

    这座城市历史古老，程迟音漫步其中，能看到周围全是中世纪建筑，走在其中跟进了博物馆似的。热烈的阳光照耀在这些建筑上,色彩明艳，随手拍下的照片都有种油画的质感。

    在马修的介绍中，程迟音了解到博洛尼亚差不多算是一座大学城，博洛尼亚大学是开放式校园，教学区遍布城市的各个角落。走在街道,旁边的楼可能就是博大的某个教学楼,在路上能看见的大部分都是跟他们年龄相当的大学生，或抱着书本来去匆匆,或围着街头艺人喝彩蹦迪。

    整座城市的氛围让奥数队的每一个人都沉浸其中,完全不想回酒店倒时差。

    还是梁贺老师及时打住，马修才送他们去主办方安排的酒店休息。

    次日,来自全世界106个国家和地区的竞赛队伍陆续抵达。

    程迟音在酒店里换上中国奥数国家队专门给定制的小西服,和大家一起去到博洛尼亚大学大礼堂参加开幕式。

    礼堂等候区，梁贺拿出一面国旗和印着中英双语“中国队”的牌子，问六人“你们谁举旗谁举牌”

    大家意见空前一致,把程迟音和姜一然推出来“奥数队门面担当，靠你们了。”

    梁贺看看这两人形象好，把国旗杆塞到程迟音手里，又把牌子递给姜一然，嘱咐“一会儿进去的时候别紧张，自然大方点，保持微笑就行。”

    说完又看看于文靖几人“你们四个也是，保持仪态保持微笑，提着口气，等坐到礼堂位子上再松下来，知道吗”

    大家纷纷点头。

    io开幕式备受瞩目，现场除了邀请来的著名数学家们坐在主席台上，还有不少各界人士到场作为观众。

    身为数学界的奥运会，io影响重大，礼堂内还有不少家获得转播权限的电视媒体架起摄像头，将礼堂内的景象传输出去。

    此时此刻，来自世界各地的观众观看着这一幕。

    时间一到大门打开，各国代表队按顺序入场，礼堂内观众在每个代表队走过时献上热烈的掌声。

    轮到中国队，程迟音深吸一口气，和姜一然对视一眼，点点头一起向里走去。

    入目是一条铺着红毯的长长通道，程迟音高举国旗走上红毯，观众的鼓掌欢呼便变得清晰起来。她看到最前排还有一些媒体在摄像拍照，闪光灯时不时亮起。

    程迟音节目参加过不少了，面对镜头也称得上熟练，但这是第一次代表国家形象走过来，心里多少有一些紧张。

    媒体们注意到这几张东方面孔，频频将镜头对准程迟音的脸，视线变得更加热切。

    西方人对东方面孔普遍脸盲，但此时举着中国国旗的女孩仿佛天生就应该站在聚光灯底下，散发着惊人的魅力。

    观看开幕式直播的观众们注意到程迟音，社交媒体上顿时冒出大批截图询问的帖子。

    有谁知道这个中国女孩的名字她实在是太美了

    我很惊讶io的赛场上会出现这样一张面孔

    在官网的参赛名单中找到了，chiyg，中国人名字真难念

    通道并不长，很快，程迟音完成她的举旗任务，和其他几人一起坐到属于中国代表队的位置上。

    位子上放着同音传译设备，程迟音拿起戴上耳朵。

    等全部代表队进场，礼堂内座无虚席。

    于文靖朝主席台看了一眼，啧啧一声“乖乖，教科书活过来了。”

    只见主席台上落座一群大佬，随便拿出一个，就是经常能在教科书、学术期刊上看到的面孔，他们都是国际数学界知名的数学家。

    主持人一一介绍完毕后“下面有请菲尔兹奖得主、博洛尼亚大学名誉教授费迪南德戴维斯先生宣布竞赛规则。”

    这是位头发花白的老者，他起立转身，向礼堂内众人旨意。

    在雷鸣般的掌声中，费迪南德教授先讲了一番话“我们希望io中的每一道试题的解法都能够体现出数学美。这是一种独立于诗歌、音乐、绘画之外的美，艺术之美在于扣人心弦，数学之美在于拨开迷雾后颠扑不破的真理”

    最后，费迪南德教授引用了高斯的一段话作为结束“给我最大快乐的，不是已懂的知识，而是不断的学习；不是已有的东西，而是不断的获取；不是已达到的高度，而是继续不断的攀登。希望你们所有人都能走在这条美的道路上，不断求索。”

    礼堂内掌声经久不息。

    程迟音跟着鼓掌，耳麦内同声传译过来的意思有些并不十分到位，但还是能感受到这位教授对数学的热爱，她的心绪微微起伏。

    费迪南德笑了一下，朝镜头挤了挤眼睛“再有就是，io已经有近十几年特别奖空缺，今年会有孩子给我个惊喜吗”

    礼堂内大家善意地笑起来。

    特别奖

    程迟音眨了眨眼，她从梁贺老师那儿了解过特别奖是怎么回事。

    io难度摆在这儿，但总会有那么一些数学天赋过人的选手可以摘下满分桂冠。

    然而满分并不是io的终点，比满分更难拿到的，就是这个所谓的“特别奖”。

    这个奖项规定是，一道试题，如果某个选手有着独到的解答，这个解答比组委会官方事先拟定的标准答案还要更漂亮、更简洁，就可以拿到这个特别奖。

    近十几届io中，这个奖项都处于空缺状态，是无人有资格领奖的境地，可见有多难得。

    讲完这段，费迪南德教授宣布起竞赛规则。

    规则很简单，考试时间为两天，每天四个半小时。一天3题，一题7分，两天一共六道题42分。

    宣布完竞赛规则，全场再一次鼓掌。

    费迪南德教授顿了顿，抬手示意，掌声停下来。

    透过镜头，大家察觉到这位学术成就不菲的教授情绪有了些变化。

    似乎是在思考着什么，良久，费迪南德教授苍老的声音才再一次传遍整个礼堂“除了在场的106个国家和地区代表队，今年，我们还将迎来一位特殊的选手。”

    特殊的选手

    大家愣了一下，相互对视一眼。

    费迪南德教授环视下面肤色人种各异的选手们，缓缓说道“这位选手在今天之前，通过面试证明了自己有参加io的实力，现在，让我们来认识一下它。”

    大家注意到费迪南德教授在用“it”它代指那位特殊的选手。

    费迪南德教授朝主持人点点头，礼堂屏幕播放起一个英文短片。

    屏幕里出现一个中年人的身影，旁边浮现英文介绍。

    这个中年人是一家著名跨国科技企业研究团队的一员，名叫迈伦邓斯坦。其所在的企业领跑科技领域，企业市值突破两万亿元，开发的操作系统在世界范围内影响深远。

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

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

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

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

    礼堂内一片哗然。

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

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

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

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

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

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

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

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

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

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

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

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

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

    但这并不意味着简单。

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

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

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

    ai能做到这一点吗

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

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

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

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

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

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

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

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

    迈伦拍拍小机器人。

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

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

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