第169页
变量出现在指数位,问题的求解困难度也指数级上升,最典型的就是费马大定理。
“代数方法来求解应当会更加省事?佩尔方程以及递归关系,嗯……可以是可以,但有没有更加优美简洁的方法……”
她在纸上推演着思路,笔尖一顿:“有了,模运算,先用模消去……”
第三道题快收尾时,她听到前方有些许声音传来。
抬头看去,就见艾萨克示意答卷完毕,申请交卷。
他用来显示表情的电子屏幕上播放了一个笑脸表情。
此时时间刚过去三个半小时,赛场内大部分选手被第二、三道题难住,冥思苦想毫无头绪,这会儿看到艾萨克交卷,气氛便有些焦灼起来。
外头等候的媒体看到这个小机器人第一个出赛场,一片哗然,纷纷将镜头对准了这个小家伙。
在艾萨克走出考场后没多久,程迟音停下笔。
她没有急着交卷,小口吃着松饼思索起来。
它真的能理解某些问题中涉及的概念?从现在的情况来看,艾萨克的解题速度很快,只是准确率如何不得而知。
题目对思维的考察性很高,巧妙绝佳的解题思路能否由一个AI给出,也不得而知。
四个半小时时间一到,宣布交卷。
出考场和姜一然于文靖他们汇合,不远处一堆摄像头还在对着艾萨克,迈伦先生在旁边侃侃而谈。
姜一然看过那边,抬头看她问:“感觉怎么样?”
“还不错。”程迟音点头,随后说道,“艾萨克在我们赛场。”
于文靖嘟囔了一声:“也不知道这个小机器人能拿几分。”
夏青豫耸耸肩:“别爆0了,迈伦带它过来抱着宣传的目的,如果结果完全相反就尴尬了。”
程迟音:“明天就知道了。”
近几年IMO评分规则改制,一卷一评分,明天一早会公布前一百名的分数,后天再进行第二天的竞赛。
从某种角度来讲,这种改制是为了选拔出心理素质更好的选手。
次日分数下来,所有人迫不及待打开官网上传的表格,看到排在第一名的是艾萨克时沉默了一下。
它的名字后面跟着21分这个满分分数。
好在下面还有五个选手并列第一,在第一天的竞赛中都拿到满分的分数。分别是程迟音、姜一然,还有三个分别来自俄罗斯、美国、韩国的选手。
国外社交媒体上针对此事的讨论热度逐渐发酵。
[该不会今年的金牌第一会被机器人摘走?]
[作为顶级数学竞赛,IMO是一场最能代表人类智慧的比赛,其体现的数学之美远远不是繁琐单调的计算,我不敢想象AI可以领略这种数学美,且做出没有瑕疵的解答]
[这是一件糟糕的事,这也是正在发生的现实,但我不想它太快]
[令人困扰而迷茫]
[我并不担心人工智能变得太聪明,我担心的是,人最珍贵的品质可以在AI身上通过简单的机械方法实现,毕竟今天是数学,明天就有可能是音乐和美术]
在国外社交媒体上的震动渐渐蔓延到国内,本来一场只为小众关注的赛事,在媒体附加的“人类与AI智慧之争”“IMO桂冠是否会由机器人摘得”等等吸人眼球的标题传回国内后,牵动起所有人的心。
[几年前围棋人机大战AI赢了,也没见大家这么激动,怎么轮到数学比赛就影响这么大?]
[工作原理不一样啊]
有人给了解释:
“围棋那个AI简单来讲,就是用数值网络和策略网络对棋盘优势进行判断,预测每种下法的胜率变化,本质还是分析、预测。”
“但是IMO的题目不一样,人家要选的是‘聪明的学生’,重视思维的深度和灵活性,解法很多都精妙到不行。如果AI能做到这个层次,那……”
不管有没有理解,所有人的关注点都变成了:人类究竟能不能在这一场竞赛中胜利。
第二天考试很快到来。
中国奥数队那边对程迟音几个人嘱咐道:“第二天的考试要比第一天难很多,细心大胆,干就完事。”
“原本我希望你们几个能在拿到团体冠军的基础上,个人金牌多拿,最好捧一个金牌第一回 来。现在嘛……现在还是这个要求,金牌第一,别被那个AI拿到了。”
几人齐齐看向程迟音和姜一然,第一天考试,只有这两人和其他三个国家的选手拿到满分。
但第二天考试难度再次增加,还怎么拿满分。
竞赛开始,大家有序走进考场。
金牌第一。
在今年艾萨克这个特殊对手的加入,变得无比困难起来。
金牌不止一面,第一却只有一个,要怎么拿到这个金牌第一。
座位上,拿到试卷,程迟音看完题目有了思路,刚要动笔又停下了。
人的状态有起伏,机器可没有。
今天的考试艾萨克大概率还会取得满分。
那么就假设最糟糕的情况,如果艾萨克又一次拿了满分,要怎么赢?
她盯着题目,放弃了原本的思路。
作者有话要说:换座位那道题引用罗增儒教授所著的《中学数学竞赛的内容与方法》
第66章
假设艾萨克拿到满分。
要赢它就必须拿到比满分更高的分数。
--