迈
面向镜
侃侃而谈：“有人在问这几年我在忙些什么，现在，我想我可以为你们介绍了。”
随着迈的话语传
，耳麦
同声传译翻译成各国语言输送到选手们耳边。
“毫无疑问，IMO作为世界
级数学竞赛，是一场最能代表人类智慧的比赛。”迈引领着镜，走到一个约莫半人
的机
跟前，介绍
，“这个小家伙叫艾萨克。”
“过去五年我们在
的一项努力是，训练AI在这场级数学竞赛获得金牌。”
礼堂
一片哗然。
大家瞬间意识到，费迪南德教授所说的特殊的选手，恐怕就是这个名叫艾萨克的AI机人。
迈从桌上拿了一张试卷对着镜晃晃，然后递到艾萨克跟前，只见这个小机人扫描过试卷后，拿起笔在纸上写起字来。
迈充满骄傲地看着它：“我们把IMO看作是一个场地，一个可以用来证明AI能成
到像人一样思考的完
场地。”
“如果艾萨克可以赢得竞赛，足以说明它在认知层面的某个重要维度上，已经可以和它的创造者——人类相匹敌。”
程迟音默念了一句这个AI的名字，艾萨克，Isaac，居然冠以
顿的名字，看来迈对这个AI信心十足。
礼堂各国选手陷
安静，面
冷肃，此时此刻他们不由自主想起几年前一场围棋领域的人机大战。
有人说历史上人类的自尊心曾受过三次严重打击：第一次是哥白尼提日心说否定地心说，原来宇宙并不是围着地球转的；第二次是达尔文提
化论，指人类是由猿猴化而来，并非生而贵；第三次是弗洛伊德提本能说，人类和其他动
并无差异。
那么这第四次就是人类最尖的棋手同AI对弈，输给人类自己所创造的人工智能。
短片，迈继续介绍着艾萨克：“过去五年，我们不断让艾萨克学习更多数学知识，利用数学库，艾萨克已经掌握全
大学数学课程知识。”
“当然，更难的
在于如何教会艾萨克利用它学到的数学知识。”
“我们以往届IMO的全题目作为赛事脚本，提炼题目背后的技巧和策略以供艾萨克学习，而后面对新的、未知的题目，艾萨克将会产生成百上千个解题思路，依次行验证，直到找到解决问题的最佳答题方案。”
听着耳边传来的翻译声音，程迟音陷沉思。
事实上IMO和理竞赛不同，理竞赛需要选手掌握大学本科的知识容才有资格踏，但IMO对数学知识的储备要求并不算，至少不需要掌握等数学就能题目。
但这并不意味着简单。
相反，要求的知识储备不，与之对应的对思维的要求就会极。
选手们在阅读完题目后，必须以各式各样的开放
想法巧妙结合，才有机会和可能题目来。
所以数学竞赛，很多时候更吃临场发挥，需要有那
偶然天成的、灵光一现般的思路闪。
AI能到这一吗？
程迟音和旁边的姜一然对视一
，发现他的表
同样严肃。
礼堂和观看开幕式直播的观众们讨论起来，话语有着显而易见的担忧。
“智慧是人类最后的一防线，如果人类输给机……”
“哈，是在挑战人类最后的尊严？”
“醒醒，早在几年前围棋人机大战人类就输了。”
短片，迈已经介绍完艾萨克的基本况，微笑着看向镜：
“数学比赛比棋类游戏要更复杂，但我们有信心。”
“艾萨克很努力，我们有自信它已经站在这场比赛的终线上。从今年开始，IMO的金牌将不再属于人类。”
迈拍拍小机人。
艾萨克脸上的屏幕一个眨的表，用几乎与人声别无二致的声音和语气开
：“艾萨克，向人类宣战。”
这是一句略带二的话语，礼堂各国代表队选手却没有笑的心思。
作者有话要说：艾萨克的设定参考微
研究团队Daniel Selsamo行的“IMO大挑战”所设定的AI
第65章
开幕式过后,领队梁贺老师和他们打了声招呼，就被主办方的工作人员带走了。
程迟音看着梁贺背影，
叹一声：“老师要被关小黑屋了。”
于公平竞赛的目的,各参赛国领队会被集到一起题，每国提供三到五题组成一个约四百题的大题库。
作为主办国的意大利不会参与题，组成选题委员会在题库筛选分类,最后确定六正式竞赛题目,由各国翻译翻成本国语言，在竞赛当天提供给选手们。
梁贺老师在题期间禁止和外界联系，要一直等两天竞赛结束才会和他们汇合。
领队老师走了，将由那位名叫
修的博大学生充当导游带领他们参观各个景。
天已经完全黑
来，廊灯照着柔和明亮的灯光,各国选手有序退场。
去后，程迟音远远看到修在礼堂门等着，夏青豫朝他招招手，喊了一声：“哥们儿！”
修视线从他
上略过，看向四周。
夏青豫：“……这么脸盲的吗。”
几人在他面前走过几趟,修愣是没认来,还是程迟音停在他跟前挥了挥手，修视线停在她脸上,才惊喜：“程,你们来了。”
于文靖有些无语：“我们在你面前走过几次了。”
修抱歉：“对不起，你们东方人的面孔我有些记不住。”
说完看向程迟音,笑：“但是你的丽让我印象
刻。你不说话的时候宛如贝尼尼
心雕琢的雕像,肌肤同象牙一般，黑发像最名贵的丝织品。”
于文靖等人听到翻译翻译过来的话，嘶了一声,觉得有牙酸。
这彩虹
真是张就来。
程迟音有些不习惯这一连串的比喻，沉默一，礼貌谢。
“博洛尼亚的夜晚灯火如昼，你们有想去玩的地方吗？或者我可以给你们推荐几个地方。”修十分
，“附近有不错的酒吧，我想你们都知意大利有很多
，同品质的酒我们可比法国酒便宜得多。”
“当然，你们的消费在合理范围将由我们来承担，这一不用担心，你们要的就是享受博洛尼亚的一切好。”
听着他喋喋不休的话语，大家却没多少游玩的心思，婉拒了修的提议后往酒店方向走。
路上一起讨论那个名叫艾萨克的AI。
姜一然推了推镜，看着手机屏幕上
转的搜索页面：“迈·邓斯坦学生阶段一直在研究心理学和自动机理论，看他以前的采访，对创造能够思考的机这个想法很着迷。”
迈·邓斯坦的团队所研究的领域，并不单单是让AI在一场数学比赛拿到金牌这么简单。
ql请记住本站地址http://m.quanbl.com