然而满分并不是io的终点,比满分更难拿到的,就是这个所谓的“特别奖”。
这个奖项规定是,一道试题,如果某个选手有着独到的解答,这个解答比组委会官方事先拟定的标准答案还要更漂亮、更简洁,就可以拿到这个特别奖。
近十几届io中,这个奖项都处于空缺状态,是无人有资格领奖的境地,可见有多难得。
讲完这段,费迪南德教授宣布起竞赛规则。
规则很简单,考试时间为两天,每天四个半小时。一天3题,一题7分,两天一共六道题42分。
宣布完竞赛规则,全场再一次鼓掌。
费迪南德教授顿了顿,抬手示意,掌声停下来。
透过镜头,大家察觉到这位学术成就不菲的教授情绪有了些变化。
似乎是在思考着什么,良久,费迪南德教授苍老的声音才再一次传遍整个礼堂:“除了在场的106个国家和地区代表队,今年,我们还将迎来一位特殊的选手。”
特殊的选手?
大家愣了一下,相互对视一眼。
费迪南德教授环视下面肤色人种各异的选手们,缓缓说道:“这位选手在今天之前,通过面试证明了自己有参加io的实力,现在,让我们来认识一下它。”
大家注意到费迪南德教授在用“it”它代指那位特殊的选手。
费迪南德教授朝主持人点点头,礼堂屏幕播放起一个英文短片。
屏幕里出现一个中年人的身影,旁边浮现英文介绍。
这个中年人是一家著名跨国科技企业研究团队的一员,名叫迈伦·邓斯坦。其所在的企业领跑科技领域,企业市值突破两万亿元,开发的操作系统在世界范围内影响深远。
迈伦面向镜头侃侃而谈:“有人在问这几年我在忙些什么,现在,我想我可以为你们介绍了。”
随着迈伦的话语传出,耳麦中同声传译翻译成各国语言输送到选手们耳边。
“毫无疑问,io作为世界顶级数学竞赛,是一场最能代表人类智慧的比赛。”迈伦引领着镜头,走到一个约莫半人高的机器跟前,介绍道,“这个小家伙叫艾萨克。”
“过去五年我们在做的一项努力是,训练ai在这场顶级数学竞赛中获得金牌。”
礼堂内一片哗然。
大家瞬间意识到,费迪南德教授所说的特殊的选手,恐怕就是这个名叫艾萨克的ai机器人。
迈伦从桌上拿了一张试卷对着镜头晃晃,然后递到艾萨克跟前,只见这个小机器人扫描过试卷后,拿起笔在纸上写起字来。
迈伦充满骄傲地看着它:“我们把io看作是一个场地,一个可以用来证明ai能成长到像人一样思考的完美场地。”
“如果艾萨克可以赢得竞赛,足以说明它在认知层面的某个重要维度上,已经可以和它的创造者——人类相匹敌。”
程迟音默念了一句这个ai的名字,艾萨克,isaac,居然冠以牛顿的名字,看来迈伦对这个ai信心十足。
礼堂内各国选手陷入安静中,面色冷肃,此时此刻他们不由自主想起几年前一场围棋领域的人机大战。
有人说历史上人类的自尊心曾受过三次严重打击:第一次是哥白尼提出日心说否定地心说,原来宇宙并不是围着地球转的;第二次是达尔文提出进化论,指出人类是由猿猴进化而来,并非生而高贵;第三次是弗洛伊德提出本能说,人类和其他动物并无差异。
那么这第四次就是人类最顶尖的棋手同ai对弈,输给人类自己所创造的人工智能。
短片中,迈伦继续介绍着艾萨克:“过去五年,我们不断让艾萨克学习更多数学知识,利用数学库,艾萨克已经掌握全部大学数学课程知识。”
“当然,更难的点在于如何教会艾萨克利用它学到的数学知识。”
“我们以往届io的全部题目作为赛事脚本,提炼出题目背后的技巧和策略以供艾萨克学习,而后面对新的、未知的题目,艾萨克将会产生成百上千个解题思路,依次进行验证,直到找到解决问题的最佳答题方案。”
听着耳边传来的翻译声音,程迟音陷入沉思。
事实上io和物理竞赛不同,物理竞赛需要选手掌握大学本科的知识内容才有资格踏进,但io对数学知识的储备要求并不算高,至少不需要掌握高等数学就能做出题目。
但这并不意味着简单。
相反,要求的知识储备不高,与之对应的对思维的要求就会极高。
选手们在阅读完题目后,必须以各式各样的开放性想法巧妙结合,才有机会和可能性做出题目来。
所以数学竞赛,很多时候更吃临场发挥,需要有那种偶然天成的、灵光一现般的思路闪出。
ai能做到这一点吗?
程迟音和旁边的姜一然对视一眼,发现他的表情同样严肃。
礼堂内和观看开幕式直播的观众们讨论起来,话语中有着显而易见的担忧。
“智慧是人类最后的一道防线,如果人类输给机器……”
“哈,是在挑战人类最后的尊严?”
“醒醒,早在几年前围棋人机大战人类就输了。”
短片中,迈伦已经介绍完艾萨克的基本情况,微笑着看向镜头:
“数学比赛比棋类游戏要更复杂,但我们有信心。”
“艾萨克很努力,我们有自信它已经站在这场比赛的终点线上。从今年开始,io的金牌将不再属于人类。”
迈伦拍拍小机器人。
艾萨克脸上的屏幕做出一个眨眼的表情,用几乎与人声别无二致的声音和语气开口:“艾萨克,向人类宣战。”
这是一句略带中二的话语,礼堂内各国代表队选手却没有笑的心思。