国宝级学渣[娱乐圈]——懒就
时间:2021-11-09 00:45:58

  程迟音节目参加过不少了,面对镜头也称得上熟练,但这是第一次代表国家形象走过来,心里多少有一些紧张。
  媒体们注意到这几张东方面孔,频频将镜头对准程迟音的脸,视线变得更加热切。
  西方人对东方面孔普遍脸盲,但此时举着中国国旗的女孩仿佛天生就应该站在聚光灯底下,散发着惊人的魅力。
  观看开幕式直播的观众们注意到程迟音,社交媒体上顿时冒出大批截图询问的帖子。
  [有谁知道这个中国女孩的名字?她实在是太美了]
  [我很惊讶IMO的赛场上会出现这样一张面孔]
  [在官网的参赛名单中找到了,chiyin cheng,中国人名字真难念]
  ……
  通道并不长,很快,程迟音完成她的举旗任务,和其他几人一起坐到属于中国代表队的位置上。
  位子上放着同音传译设备,程迟音拿起戴上耳朵。
  等全部代表队进场,礼堂内座无虚席。
  于文靖朝主席台看了一眼,啧啧一声:“乖乖,教科书活过来了。”
  只见主席台上落座一群大佬,随便拿出一个,就是经常能在教科书、学术期刊上看到的面孔,他们都是国际数学界知名的数学家。
  主持人一一介绍完毕后:“下面有请菲尔兹奖得主、博洛尼亚大学名誉教授费迪南德·戴维斯先生宣布竞赛规则。”
  这是位头发花白的老者,他起立转身,向礼堂内众人旨意。
  在雷鸣般的掌声中,费迪南德教授先讲了一番话:“……我们希望IMO中的每一道试题的解法都能够体现出数学美。这是一种独立于诗歌、音乐、绘画之外的美,艺术之美在于扣人心弦,数学之美在于拨开迷雾后颠扑不破的真理……”
  ……
  最后,费迪南德教授引用了高斯的一段话作为结束:“给我最大快乐的,不是已懂的知识,而是不断的学习;不是已有的东西,而是不断的获取;不是已达到的高度,而是继续不断的攀登。希望你们所有人都能走在这条美的道路上,不断求索。”
  礼堂内掌声经久不息。
  程迟音跟着鼓掌,耳麦内同声传译过来的意思有些并不十分到位,但还是能感受到这位教授对数学的热爱,她的心绪微微起伏。
  费迪南德笑了一下,朝镜头挤了挤眼睛:“再有就是,IMO已经有近十几年特别奖空缺,今年会有孩子给我个惊喜吗?”
  礼堂内大家善意地笑起来。
  特别奖?
  程迟音眨了眨眼,她从梁贺老师那儿了解过特别奖是怎么回事。
  IMO难度摆在这儿,但总会有那么一些数学天赋过人的选手可以摘下满分桂冠。
  然而满分并不是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分,考四个半小时。
  因为竞赛时间长,主办方在赛场门口准备了食物和饮料,供选手取用带入考场。参赛的选手来自世界各地,门口提供的食物贴心考虑到各国饮食差异,品类相当多。
  程迟音取了一瓶苏打水和两块松饼,在门口媒体们热切的目光中进入赛场。
  “是那个美丽的东方女孩。”
  “真难想象会在竞赛赛场上看到这样的面孔。”
  “期待她的表现。”
  赛场最前列,程迟音看到半人高的艾萨克立在桌面上,身上连接着好几条电源线。
  高强度的算力需要能源支撑。
  巧了,和它在同一赛场。程迟音收回目光,走向自己的座位,将苏打水和松饼放好。
  考卷上的三道题已经被翻译成中文,程迟音看向第一道题。
站内搜索: