可周围却安静下来,窗帘拉上以后,教室里只有很少一点光。每个孩子都仰头,在看投影幕布上讲述的这个故事。
一切始于三百多近四百年前,数学家费马的一个玩笑。
费马在阅读《算术》时,像三味大学图书馆那些书上发生过的事情一样,他曾在在书旁空白处写下不少笔记,。在第八页页边处,他写下了一条极其简短,却成为世界上最困难数学难题的一条手记。
简单来说,在经过观察后,他认为,除了毕达哥拉斯定理即x^2+y^2=z^2,不存在任何整数解n,使x^n+y^n=z^n。
他甚至还极其调皮地留下一段话,说“关于此,我确信已发现了一种美妙的证法 ,可惜这里空白的地方太小,写不下。”
后来当安德鲁·怀尔斯先生,也就是他们现在所观看这部纪录片的主人公真正证明这一简单猜想后,人们才知道,费马先生留下的那段话可能完全是个恶作剧。因为当时的数学发展水平,不足以让他找出那么一种“优美”的解答方式。
之后的叙述就略显复杂,当然,纪录片导演已经竭力想使证明过程变得简单易懂,因此他只采取讲述框架的方式,勾勒出安德鲁·怀尔斯先生证明费马最后定理的艰难过程,可那些远超他们理解能的数学名词还是容易让人困惑。
教室里有窃窃私语。
很多人在问“这是什么”或者“那是什么”……
他们不知道那些东西究竟是什么,却很清楚知道,这个看似结构,背后是远超他们想象的复杂问题。
可当艰难的论证过程不断推进,数学家最终站在黑板前,为全场两百多名数学家讲述自己的全部证明过程时,他们这间小教室又变得完全静谧。
那是1993年6月23日的剑桥大学,数学家在黑板上不断不断写着演算公式,半个小时过去,他放下粉笔,最后他说:“我已经证明了它,我想我可以停下了”。
我可以停下了。
这个几百年来的难题,就到这里了。
画面只剩下一张照片和掌声雷动的背景声。
虽然后续还有论证中的一些波折,可那时的教室却静到极点,只剩下投影仪投出的那束光芒,灰尘在飞舞,有星星点点的光。
看着黑板前那位露出灿烂笑容的数学家,林朝夕突然在想,这大概是每位数学家梦寐以求的时刻。
孩提时代,安德鲁·怀尔斯先生在图书馆的智力题中,碰巧发现了费马大定理。在那之后的30年,他的梦想就是解决它,并且也真正解决了它。
林朝夕不禁在想,在老林心目中,是否也有那样一个梦寐以求要解决的问题,如果有,那是什么?
她回过头,望着黑板前的人,她发现,她从不知道这些。
第137章 构建
老林播放这个纪录片, 或许是放给课外班上他的所有学生看的。
但林朝夕认为,这是老林特意为她准备的。
老林不知道她想做什么, 也不会过问这件事,只是用一贯的套路告诉她:你这点破事其实也没什么大不了的。
多亏了这部纪录片, 林朝夕知道, 她其实并不是在一个伸手不见五指的空间里。
这是一座房子, 假设这是一座房子。
它现在很黑,她会磕碰到很多家具, 因为她还没摸到开关。
但六个月……
她可能没有那么多摸索的时间了。
那么她现在要做的, 就是画出一张地图,让那些她摸到的粘腻的蜘蛛网也好、磕碰她的家具也罢,在脑海中各自归位。
在她思考该如何画图的时候, 曾经在小学那个残酷夏令营里学到的东西帮了她一点忙。这倒不是张叔平本人出马,而是他曾经布满的那一大张书架,让林朝夕有了新想法。
老张在每本书的目录上, 为不同知识点编号, 做相应整理,让他们分类学习, 最后用考试折腾他们。
老林在很早以前就教过她如何构建知识体系,因为重来一次,她对大学以前的数学知识都非常熟悉, 能轻易构建出完整框架,这是她比别人超前很多的重要原因。
而这次,她面对着完全陌生的知识, 面临数学、计算机、交通等等诸多领域的问题,构架类似的知识体系更加困难。
她不是裴之,没有轻易整理一切的能力,因此她需要借助一些现代工具。
她上过大学,大概知道理工科的学生们用什么工具搞科研,她毫不犹豫在宏景图书馆里她找到了一本《文献管理和论文写作》,认真学习起来。
这本书有次被老林发现,还指着文献管理软件的名字,问她是什么东西。
“大概是种软件?”
“这么厉害?”
“爸爸你和社会脱节有点久。”
林朝夕这么回答完,还在等老林还击,没想到老林点点头,直接把书抢走,自顾自看了起来。
总之,在一些能帮助她整理信息的工具帮助下。
林朝夕找到了她可以为之努力的大致方向。
她把预测老林车祸这件大目标,划分成一些需要完成的小目标。
首先,她需要完成一个预测软件,来推测老林的行动轨迹。
其次,她需要安宁市历年的大量交通数据,并用一个“数学模型”来分析所有数据,结合老林本身的行动轨迹,来预测未来某一时间段内,老林可能发生车祸的具体地点。
关于交通数据方面,她已经问过陈竹父亲。虽然对方并没有明确回应,但林朝夕想,如果她能提交具体想要什么类型的东西,并找一个恰当的理由,相信这也没有太大问题。
最难的部分,仍然是数学。
她一开始觉得,她是不是可以往数学建模方面深入研究一下,以期找到一个有用模型。
因为在草莓世界里,裴之提出的问题是在为建模队挑选成员,而现在,她是不是也要做类似的事情,这种自以为是的因果关联让她对事情抱有不切实际的侥幸想法。
但随后她发现,无论那些试题还是教学都无法解决她的根本性问题。
她不知道,对于她简单定义为“数学模型”的这件东西,她该如何入手建立。
每天下课后,她会坐在老陈家的车库,泡一份泡面。车库没有窗,也不能说没有,有用钢条封起的通风口。
书桌是用废旧板材搭起来的,有点晃,但其实很稳。
她已经不太去上老林的课外班了,老林讲给大部分学生听的东西不太适合现在的她。
在安宁大学图书馆进行数据搜索“预测”和“模型”的关键词时,她发现“神经网络”这个词也经常出现。
翻了几篇论文后,她才意识到,她竟然遗漏了那么重要的方向。
在她来时的草莓世界,“人工智能”和“机器学习”是非常热门的方向,图书馆里成排的相关书籍,但她不确定,在7年前的现在,是否还有那么多可供她学习的内容。
时间恰好到了清明节假期,省集训队在清明节也安排了一次集训。
春天正式到来,大学校园里青春洋溢。
集训队早上在考了一份模拟卷。
中午的时候,林朝夕有机会下楼,在三味大学图书馆找资料。
清明假期短暂,所以很多大学生都没有选择回家,大部分的自习座位都被考研学生坐满。
这是她第一次在三味大学图书馆遇到那么多的学生,阅览室里充斥着悉悉索索翻书声以及提笔写字的声音,但又显得格外安静。
看着那么多努力的学生,她也突然干劲十足。
绕过顶天立地的铁质书架,林朝夕走到t类书架前。
t类是工业技术,tp类是自动化技术和计算机技术,而人工智能理论和自动推理、机器学习的相关类目,就在其下,编号为tp18。
书架上有一些书,其实数量并不算少,但林朝夕的第一反应却还是“好少”。
记得在草莓世界,她在图书馆也曾经同样经过这排书架,她曾经诧异于满书架崭新的“机器学习”和“xx算法”一类的内容,可现在,这些东西完全没有。
现在,书架上大部分书的标题都是“人工智能”和“神经网络”。
林朝夕依次看去,终于找到一本孤零零的《matlab神经网络与应用》。
她眼睛一亮,如获珍宝,直接拿下翻阅起来。
果然,作为一个前·文科生,打开专业的程序类书籍,她还是感到非常吃力。
第一页就出现的“数组函数”“矩阵”等种种术语,就让她既觉得亲切又头疼。
之前她还有一闪而过的念头,她是不是应该一来到芝士世界,就全身心投入拯救老林的行动中,而不是花那么多时间来打好数学基础,以至于她现在必须在极短时间内学会一门程序语言。
但她现发现,果然,最困难的部分还是数学。
没有良好数学的基础,她可能连一本编程书都看不懂。
所以对于大学数学的继续学习,她根本不能放松。
那么现在问题就来了,对于陌生的计算机领域,她当然可以去报个培训班学起来。
可她现在面临中考,还有省队集训,大学数学的自学也是重点。她根本没有周末时间去上计算机培训班。
更何况,她很怀疑,她要学的东西专业性太强,在安宁那个小地方很难找到类似的培训班。
这时,林朝夕就不由得怀念起后来。
在她来时的草莓世界、在7年后,书架上远超现在的大量的专业书籍。
而各种大学公开课已经遍布全网。她打开电脑,可以很轻易学到世界著名大学的人工智能、机器学习甚至是相应的编程课。
如果能回去一次就好了。
来到重芝士世界这么久,林朝夕第一次这么想。
陆志浩和裴之的身影出现在书架后,她拿起手中的程序书,拍拍裤子站了起来。
——
林朝夕把那本《matlab神经网络与应用》借回家。
气温一天天升高,就在她沉浸于机器学习的探索中时,学校里为中考冲刺的氛围也渐趋浓郁。
礼堂还在播放运动员进行曲,声音震耳欲聋,充斥着赛前总动员的氛围。他们13班被安排在礼堂很后面的位置,这也不是学校针对他们,而是完全按照班级名次来排布的。
等所有班级都落座,主持人站在台前。她拍了拍话筒,“噗噗”声后,一阵很长而尖锐的杂音从音箱里炸开,年纪大会正式开始。
“各位同学,各位老师,中考马上就要到来,我们再次召开全年级总动员,希望大家能集中全部精力,不要再因外物分心!”
音箱里传出高昂励志的女声,林朝夕打了个激灵,没想到竟然是初三(1)班班主任马萍萍开场。
马老师握着话筒,慷慨激昂:“如果你们还心存侥幸,认为中考离你们很远,那我可以告诉你们,用不了多少天,你们就将面临人生中最重要的一次抉择!”
“在你们中间,有些人会进入重点高中,然后直升重点大学,之后出国留学,成为社会的精英;而剩下一些人,可能连高中都考不上,只能成为社会底层!”
“不要觉得我在恐吓你们,我可以告诉你,这就是我从教多年亲眼看到的事实……”