一秒记住【笔搜屋 www.BISOWU.COM】,无弹窗,更新快,免费阅读!
开幕式过后,领队梁贺老师和他们打了声招呼,就被主办方的工作人员带走了。
程迟音看着梁贺背影,感叹一声“老师要被关小黑屋了。”
出于公平竞赛的目的,各参赛国领队会被集中到一起出题,每国三到五题组成一个约四百道题的大题库。
作为主办国的意大利不会参与出题,组成选题委员会在题库中筛选分类,最后确定六道正式竞赛题目,由各国翻译翻成本国语言,在竞赛当天给选手们。
梁贺老师在出题期间禁止和外界联系,要一直等两天竞赛结束才会和他们汇合。
领队老师走了,将由那位名叫马修的博大学生充当导游带领他们参观各个景点。
天已经完全黑下来,廊灯照着柔和明亮的灯光,各国选手有序退场。
出去后,程迟音远远看到马修在礼堂门口等着,夏青豫朝他招招手,喊了一声“哥们儿”
马修视线从他身上略过,看向四周。
夏青豫“这么脸盲的吗。”
几人在他面前走过几趟,马修愣是没认出来,还是程迟音停在他跟前挥了挥手,马修视线停在她脸上,才惊喜道“程,你们出来了。”
于文靖有些无语“我们在你面前走过几次了。”
马修抱歉“对不起,你们东方人的面孔我有些记不住。”
说完看向程迟音,笑“但是你的美丽让我印象深刻。你不说话的时候宛如贝尼尼精心雕琢的雕像,肌肤同象牙一般,黑发像最名贵的丝织品。”
于文靖等人听到翻译翻译过来的话,嘶了一声,觉得有点牙酸。
这彩虹屁真是张口就来。
程迟音有些不习惯这一连串的比喻,沉默一下,礼貌道谢。
“博洛尼亚的夜晚灯火如昼,你们有想去玩的地方吗或者我可以给你们推荐几个地方。”马修十分热情,“附近有不错的酒吧,我想你们都知道意大利有很多葡萄,同品质的酒我们可比法国酒便宜得多。”
“当然,你们的消费在合理范围内将由我们来承担,这一点不用担心,你们要做的就是享受博洛尼亚的一切美好。”
听着他喋喋不休的话语,大家却没多少游玩的心思,婉拒了马修的提议后往酒店方向走。
路上一起讨论那个名叫艾萨克的ai。
姜一然推了推眼镜,看着手机屏幕上跳转出的搜索页面“迈伦邓斯坦学生阶段一直在研究心理学和自动机理论,看他以前的采访,对创造能够思考的机器这个想法很着迷。”
迈伦邓斯坦的团队所研究的领域,并不单单是让ai在一场数学比赛中拿到金牌这么简单。
从1945年计算机能够完成基础计算开始,到后面玩简单的棋类游戏、可识别的自动翻译,再到下围棋、无人驾驶汽车等等领域的进展。
现在迈伦邓斯坦团队努力的目标是,让ai真正拥有类似人类的智能。
于文靖接了一句“他要的是真正的智能,而不是人工的智能。”
程迟音垂下眼睫,思索起这一可能性来。
构建出这样的一台机器,是否需要对人脑的复杂性进行逆向工程又是否存在一套未知的算法,可以产生迈伦所想要的“真正的”智能
她对这一领域了解不深,最后摇了摇头,说出自己的想法“大脑本质就是一堆服从物理定律的物质,从神经元到意识的各个层面模拟智能,理论上是可以实现的。”
于文靖咋舌,迟疑地说“但是通用的人类水平的人工智能,至少在未来五十年不会出现吧”
姜一然扯出一抹淡的几乎看不到的笑“所以迈伦将重点先放在本次io上。”
让ai真正拥有类似人类的智能,比如理解一件艺术作品、谱写出优美的充满情感的乐曲、实现真人水准的信雅达翻译、解答极具挑战的数学问题
总有人会说机器做不到思考、推理、创造性的工作,而迈伦邓斯坦的团队似乎努力的目标就是打破这一点。
他们在做一件跨时代的事。如果真的成功,给世界带来的震动和影响不可预估。
程迟音内心其实挺钦佩迈伦邓斯坦,但至少这一次io。
她抬头跟其他几人对视一眼,至少这一次,他们要竭尽全力捍卫人类的智慧在数学领域熠熠生辉的荣耀。
7月25日早上,本届io首日竞赛拉开帷幕。
三道题,一题7分,总分21分,考四个半小时。
因为竞赛时间长,主办方在赛场门口准备了食物和饮料,供选手取用带入考场。参赛的选手来自世界各地,门口的食物贴心考虑到各国饮食差异,品类相当多。
程迟音取了一瓶苏打水和两块松饼,在门口媒体们热切的目光中进入赛场。
“是那个美丽的东方女孩。”
“真难想象会在竞赛赛场上看到这样的面孔。”
“期待她的表现。”
赛场最前列,程迟音看到半人高的艾萨克立在桌面上,身上连接着好几条电源线。
高强度的算力需要能源支撑。
巧了,和它在同一赛场。程迟音收回目光,走向自己的座位,将苏打水和松饼放好。
考卷上的三道题已经被翻译成中文,程迟音看向第一道题。
某班有49个学生,坐成7行7列。每个座位的前后左右叫作它的邻座,要让这49位同学都换到他们的邻座上去,这样调换位置的方案是否能实现
程迟音笑了下,暗道“这道题作为第一道题开局相当合适。”
这题完美体现出io的思想要求题目的解法能够体现出数学美,且题目足够简洁。
题目的题干连小学生都能听明白,但是所能体现出来的解题思想却挺巧妙。
程迟音“调换到邻座,看上去每个学生最多能有前后左右四种换位选择,最少会有两种,选择多,换位应当能够实现,但”
思考一下就知道并不可能。
作为开胃菜,第一题并不难,程迟音很快写下她的解答过程。
画出一个7x7的表格,将49位学生编号依次填入表格,就知道每一次换座实际上都是奇数和偶数的互换。
但49个数,奇数和偶数的位数并不相同,这种互换就不可能实现。
io的试题难度递增,第一题开胃菜过去后,第二题难度明显大了起来。
考试时间足足四个半小时,只有三道题,平均一道题一个半小时的解答时间,所出的题目自然要求极高的思维性。
第二道题是一道平面解析几何题。
解析几何最强大之处在于,再复杂的图形问题都可以转换成纯运算题。
程迟音看完这道题目,若有所思“要证明大矩形至少有一条长度为整数的边,有意思,题目中提到划分,这个问题可能和拓扑、组合有关联。直接证明好像行不通,试一下反证法”
等程迟音做完第二道解析几何题,时间已经过去两个小时,她活动一下手腕,没急着动笔写第三道题,拧开苏打水喝了一口。
喝水时视线扫到前方,只见艾萨克也正在用它那双机械手写下一行行证明过程。
收回视线,掰下一小块松饼吃下补充体力,程迟音看向第三道题。
难度递增的情况下,这道题要比前面两道更难,乍一看毫无思路。
她感受到挑战,微微兴奋起来“丢番图方程,变量出现在指数位置上”
变量出现在指数位,问题的求解困难度也指数级上升,最典型的就是费马大定理。
“代数方法来求解应当会更加省事佩尔方程以及递归关系,嗯可以是可以,但有没有更加优美简洁的方法”
她在纸上推演着思路,笔尖一顿“有了,模运算,先用模消去”
第三道题快收尾时,她听到前方有些许声音传来。
抬头看去,就见艾萨克示意答卷完毕,申请交卷。
他用来显示表情的电子屏幕上播放了一个笑脸表情。
此时时间刚过去三个半小时,赛场内大部分选手被第二、三道题难住,冥思苦想毫无头绪,这会儿看到艾萨克交卷,气氛便有些焦灼起来。
外头等候的媒体看到这个小机器人第一个出赛场,一片哗然,纷纷将镜头对准了这个小家伙。
在艾萨克走出考场后没多久,程迟音停下笔。
她没有急着交卷,小口吃着松饼思索起来。
它真的能理解某些问题中涉及的概念从现在的情况来看,艾萨克的解题速度很快,只是准确率如何不得而知。
题目对思维的考察性很高,巧妙绝佳的解题思路能否由一个ai给出,也不得而知。
四个半小时时间一到,宣布交卷。
出考场和姜一然于文靖他们汇合,不远处一堆摄像头还在对着艾萨克,迈伦先生在旁边侃侃而谈。
姜一然看过那边,抬头看她问“感觉怎么样”
“还不错。”程迟音点头,随后说道,“艾萨克在我们赛场。”
于文靖嘟囔了一声“也不知道这个小机器人能拿几分。”
夏青豫耸耸肩“别爆0了,迈伦带它过来抱着宣传的目的,如果结果完全相反就尴尬了。”
程迟音“明天就知道了。”
近几年io评分规则改制,一卷一评分,明天一早会公布前一百名的分数,后天再进行第二天的竞赛。
从某种角度来讲,这种改制是为了选拔出心理素质更好的选手。
次日分数下来,所有人迫不及待打开官网上传的表格,看到排在第一名的是艾萨克时沉默了一下。
它的名字后面跟着21分这个满分分数。
好在下面还有五个选手并列第一,在第一天的竞赛中都拿到满分的分数。分别是程迟音、姜一然,还有三个分别来自俄罗斯、美国、韩国的选手。
国外社交媒体上针对此事的讨论热度逐渐发酵。
该不会今年的金牌第一会被机器人摘走
作为顶级数学竞赛,io是一场最能代表人类智慧的比赛,其体现的数学之美远远不是繁琐单调的计算,我不敢想象ai可以领略这种数学美,且做出没有瑕疵的解答
这是一件糟糕的事,这也是正在发生的现实,但我不想它太快
令人困扰而迷茫
我并不担心人工智能变得太聪明,我担心的是,人最珍贵的品质可以在ai身上通过简单的机械方法实现,毕竟今天是数学,明天就有可能是音乐和美术
在国外社交媒体上的震动渐渐蔓延到国内,本来一场只为小众关注的赛事,在媒体附加的“人类与ai智慧之争”“io桂冠是否会由机器人摘得”等等吸人眼球的标题传回国内后,牵动起所有人的心。
几年前围棋人机大战ai赢了,也没见大家这么激动,怎么轮到数学比赛就影响这么大
工作原理不一样啊
有人给了解释
“围棋那个ai简单来讲,就是用数值网络和策略网络对棋盘优势进行判断,预测每种下法的胜率变化,本质还是分析、预测。”
“但是io的题目不一样,人家要选的是聪明的学生,重视思维的深度和灵活性,解法很多都精妙到不行。如果ai能做到这个层次,那”
不管有没有理解,所有人的关注点都变成了人类究竟能不能在这一场竞赛中胜利。
第二天考试很快到来。
中国奥数队那边对程迟音几个人嘱咐道“第二天的考试要比第一天难很多,细心大胆,干就完事。”
“原本我希望你们几个能在拿到团体冠军的基础上,个人金牌多拿,最好捧一个金牌第一回来。现在嘛现在还是这个要求,金牌第一,别被那个ai拿到了。”
几人齐齐看向程迟音和姜一然,第一天考试,只有这两人和其他三个国家的选手拿到满分。
但第二天考试难度再次增加,还怎么拿满分。
竞赛开始,大家有序走进考场。
金牌第一。
在今年艾萨克这个特殊对手的加入,变得无比困难起来。
金牌不止一面,第一却只有一个,要怎么拿到这个金牌第一。
座位上,拿到试卷,程迟音看完题目有了思路,刚要动笔又停下了。
人的状态有起伏,机器可没有。
今天的考试艾萨克大概率还会取得满分。
那么就假设最糟糕的情况,如果艾萨克又一次拿了满分,要怎么赢
她盯着题目,放弃了原本的思路。
作者有话要说换座位那道题引用罗增儒教授所著的中学数学竞赛的内容与方法
手机用户请浏览 http://m.bisowu.com 阅读,更优质的阅读体验,书架与电脑版同步。