费迪南德教授环视下面肤色人种各异的选手们,缓缓说道:“这位选手在今天之前,通过面试证明了自己有参加IMO的实力,现在,让我们来认识一下它。”
大家注意到费迪南德教授在用“it”它代指那位特殊的选手。
费迪南德教授朝主持人点点头,礼堂屏幕播放起一个英文短片。
屏幕里出现一个中年人的身影,旁边浮现英文介绍。
这个中年人是一家著名跨国科技企业研究团队的一员,名叫迈伦·邓斯坦。其所在的企业领跑科技领域,企业市值突破两万亿元,开发的操作系统在世界范围内影响深远。
迈伦面向镜头侃侃而谈:“有人在问这几年我在忙些什么,现在,我想我可以为你们介绍了。”
随着迈伦的话语传出,耳麦中同声传译翻译成各国语言输送到选手们耳边。
“毫无疑问,IMO作为世界顶级数学竞赛,是一场最能代表人类智慧的比赛。”迈伦引领着镜头,走到一个约莫半人高的机器跟前,介绍道,“这个小家伙叫艾萨克。”
“过去五年我们在做的一项努力是,训练AI在这场顶级数学竞赛中获得金牌。”
礼堂内一片哗然。
大家瞬间意识到,费迪南德教授所说的特殊的选手,恐怕就是这个名叫艾萨克的AI机器人。
迈伦从桌上拿了一张试卷对着镜头晃晃,然后递到艾萨克跟前,只见这个小机器人扫描过试卷后,拿起笔在纸上写起字来。
迈伦充满骄傲地看着它:“我们把IMO看作是一个场地,一个可以用来证明AI能成长到像人一样思考的完美场地。”
“如果艾萨克可以赢得竞赛,足以说明它在认知层面的某个重要维度上,已经可以和它的创造者——人类相匹敌。”