<p>评论要求:随意 </p><p> </p><p> </p><p> </p><p>—————————————— </p><p> </p><p>在林默二十七岁那年,他第一次接触到维兰方程。 </p><p> </p><p>那是一份很有影响力的数学期刊。文章篇幅不长,提到了维兰方程的新进展,并介绍了一下维兰方程:那是一类特殊方程式,作者给出了几个简单情形下的解法,但未能找到一个可以覆盖全部情况的通解。 </p><p> </p><p>他看到之后感觉很有意思,跟导师提了一下。听说他准备研究维兰方程,导师提醒他,这个问题可能比看起来复杂很多。过去二十年里,很多人都尝试过,甚至包括几位很有名的数学家。 </p><p> </p><p>“我就试试。“林默说。导师笑笑,倒也没有反对,只是再次建议他给自己设定一个期限,比如最多两三年。林默认为很有道理。他给自己安排了一个三年版的研究计划,第一年整理其他数学家的现有成果,第二年开始尝试解答,第三年完成通解与论文。甚至在笔记本的扉页写了一个预计完成时间。 </p><p> </p><p>最开始,研究进展是很顺利的。林默发现,有很多虽然看起来完全不相关的特例解法过某种变换进行统一处理。他将这些成果整理了一篇短论文。投稿给了一份专业期刊。审稿人给出了通过的意见,认为这种变化是有价值的,虽然离完整的解决维兰方程还有很长的路。林默很开心,他本来也没打算一次性做完。 </p><p> </p><p>到了第二年的夏天,他为自己找到了一条很有希望的证明路线。按照他的设想,只要按照这条路经,再证明几个关键结论,很快就能获得那个通解。这些待证明的结论看上去也不复杂,他想着最多到秋天就能解决。 </p><p> </p><p>结果两个月过去,他感觉证明路线好像都有问题了。 </p><p> </p><p>下雪的时候,他终于发现了问题,之前使用的一些推导方法,只能在某一个有限的范围内生效,而参数超出这个范围的时候原来的证明就失效了。他试着补上这个缺口,先后又写了好几种不同的方法,但是又一一推翻了。 </p><p> </p><p>那年春节,林默将维兰方程的研究带回了家。母亲看他天天坐在书桌前,劝他年后再说。林默答应了。那天吃完晚饭,一家人看起了电视,热热闹闹的氛围里,林默还是忍不住去想维兰方程的事情,回到房间又忍不住打开电脑,将想到的情况算了一下。 </p><p> </p><p>结果依然是不对。 </p><p> </p><p>三年的时间很快就结束了,按照原来的计划,他应该完成研究提交了论文,并开始考虑下一项课题。不过事实却是很残酷的,他对维兰方程的了解确实是比三年前深入了很多,但他感觉自己距离通解更远了。 </p><p> </p><p>他又换了一个新的笔记本,这次他没有写预计完成日期。 </p><p> </p><p>后来林默结了婚。妻子许岚在一家中学教书,两人通过朋友的介绍认识。结婚前,许岚就知道他有在研究一个很难的数学题。她对数学没有什么兴趣,只是很喜欢听林默讲那些数学相关的故事,说那些突然发现自己算错了的瞬间。 </p><p> </p><p>林默白天在学校上课,带学生,利用课间时间继续研究维兰方程。晚上,许岚批改作业的时候,他就在旁边写公式。两人有时候就这样一坐就是几个小时。到了十点多,许岚会提醒他该睡觉了,他通常应一声,写完那几行然后关电脑。 </p><p> </p><p>女儿出生后,他减少了晚上工作的时间。孩子学会走路后,经常把他乱放的草稿纸拿走,涂上各种颜色。林默起初还会把特意把草稿收起来,后来发现时常因为思考过于专注而忘掉,干脆专门留了一摞废稿给女儿。 </p><p> </p><p>维兰方程仍然没有解决。不过他的学术工作还算顺利。他在另外的几个研究方向上取得了不错的成果,多多少少也发布了数十篇论文,也有独立指导研究生。他不算是最出色的那一批学者,但同行们认为他基础扎实,思路严谨,尤其擅长处理将特殊情况推广到普通适用。 </p><p> </p><p>四十岁那年,林默组织了一次小型的学术研讨会,邀请了几位研究过维兰方程的学者。他准备了很长的报告,希望通过这次交流推进已经陷入瓶颈的研究。 </p><p> </p><p>报告进行到中途,一位年轻的研究者指出,他刚刚提到的某一个结论存在问题。对方借过白板,写下一组特殊参数,再按林默的方法计算了一下,发现结果出现了无法忽视的矛盾。 </p><p> </p><p>林默愣在白板前看了很久,他意识到,对方是正确的。 </p><p> </p><p>那个结论是接近两年前得出来了,推演下去的路线也已经走了很远,他此前检查过无数次,只是没有考虑过那种情况。 </p><p> </p><p>研讨会结束之后,年轻研究者过来向他道歉,说自己在报告中指出问题有点失礼。林默摇了摇头,说发现错误本来就是讨论的重要目的,没什么好道歉的。他还邀请对方抽空一起吃饭,再花点时间讨论一下那个反例。 </p><p> </p><p>回到家已经很晚了。许岚在整理第二天的教案,看到他回来,问讨论会怎么样。 </p><p> </p><p>“挺好的,就是发现了一个新的错误” </p><p> </p><p>”那不是不好吗?” </p><p> </p><p>“还是好的,至少不用继续在那个思路上浪费时间了” </p><p> </p><p>他把电脑放在桌上,准备往房间里走。许岚突然问他,女儿的学校下周要开家长会,问他能不能去。林默想了想,说可以。 </p><p> </p><p>他拿起手机取消了一个原定的讨论安排,在日程表上写下家长会的时间。 </p><p> </p><p>那天夜里,他又打开了维兰方程的研究文档,把过去几年的一部分结论了名为“已排除方法”的目录。 </p><p> </p><p>这个目录已经有十七份文件。 </p><p> </p><p>随着年龄与阅历的增长,林默越来越感觉,自己对数学研究的许多认识都过于简单了。 </p><p> </p><p>年轻的时候,他曾认为所有数学问题都存在一个解决路经,只要足够努力,足够坚定地走下去,就能沿着那条路走到目的地。但是随着他接触到越来越多的复杂问题,才发现了另一个事实:也许需要的理论工具还不存在,也许他的天分不够,那条路经他不一定能走到底。 </p><p> </p><p>他见过真正的数字天才。 </p><p> </p><p>有一位比他小十多岁的研究者,不惑之年就解决了一个困扰数学界近百年的问题。林默也读了那个人的论文,花了两个星期才完全理解其中的核心思路。最让他印象深刻的,是那篇论文其实没有使用多少全新的理论。作者只是把一些早已存在的结论组合起来,就完成了过去许多人都未曾完成的推导。 </p><p> </p><p>林默甚至难以理解对方是怎么想到那种思路的,这让他沮丧了很长一段时间。他并不嫉妒那位研究者。相反地,他还专门写了一篇文章介绍对方的成果,称赞了一下那个漂亮的证明。只是他会忍不住地思考,如果维兰方程也需要类似的灵感,他有没有那个能力找到它。 </p><p> </p><p>这个问题没有答案。 </p><p> </p><p>接近知天命之年的时候,林默获得了教授职称。他提交的评审材料中列举了他的数十篇论文、主持过的研究项目以及培养出的优秀研究生。其中关于维兰方程的成就只有三篇,而且都已经过去很多年了,距离最近的一篇也已经过去了接近十年。 </p><p> </p><p>有位专家问他,为什么还在研究这个问题。林默解释说,现在积累的进展虽然还没有取得决定性的突破,但是相比以前已经有了很大的进展,同时研究过程中排除掉了很多的错误路径,继续研究还是有价值的。 </p><p> </p><p>那你有预计的完成时间吗,专家又问。 </p><p> </p><p>林默沉默了一会,说他没有把握。 </p><p> </p><p>这句话让会议室安静了片刻。后来专家建议他把精力更多地去投入成果预期更明确的方向,尤其是考虑到他的年龄,能够用于学术研究的时间可能有限。 </p><p> </p><p>林默只是尴尬地点了点头。 </p><p> </p><p>那几年,他确实进行了更多其他方向的研究工作。学校的教学任务、项目管理以及学生培养都占据了他大量的时间,维兰方程逐渐变成了他忙里偷闲才能进行的爱好,有时候连续一个月都没有进展 。 </p><p> </p><p>他也尝试过暂时放下方程。有一次,他甚至把相关的资料全部都整理归档了,结果在阅读别的方向的论文的时候,他发现其中的一种分析方案似乎可以用于维兰方程,又去把那些资料重新打开了。 </p><p> </p><p>女儿林澄已经上了高中。某天晚上,她走进书房,盯着屏幕看了一会。 </p><p> </p><p>“爸,你还在研究这个方程啊?“ </p><p>”嗯“ </p><p>”说起来,我一直没问过,你总共研究这个多少年了?” </p><p>“三十年左右了“ </p><p> </p><p>林澄有些惊讶。她记得有记忆以来父亲就一直在做这件事,却从来没有认真想过这到底意味着多少时间。 </p><p> </p><p>”能研究出来吗?” </p><p>“也许吧” </p><p>“没考虑换一个题目吗“ </p><p> </p><p>林默告诉她,自己平时也研究其他问题,而且也解决了不少了,只是维兰方程一直没有解决,他还想试试。 </p><p> </p><p>林澄又问,“如果一直做不出来呢?” </p><p>”那就做不出来吧,没关系的。” </p><p>“那不会觉得很亏吗?” </p><p> </p><p>林默没能立刻回答。 </p><p> </p><p>他当然觉得遗憾,接近三十年的时光,他为了这个问题读过无数的论文,写过难以计数的推导,也因此放弃过很多更容易取得成果的研究机会。如果这些时间全部用在其他地方,他的学术生涯或许会顺利很多。 </p><p> </p><p>但他也不认为自己后悔,毕竟在研究过程中也学习到了很多东西,也顺路解决了很多过去不能理解的问题,只是很可惜这些成果都没有让他抵达最初希望到达的地方。 </p><p> </p><p>最后他对女儿说:“可能会有点,所以我再努力下。” </p><p> </p><p>林澄没有再问,只是提醒他看下消息。林默看到是女儿发来的一张图片,说一个数学竞赛的题目,林澄说自己算了半天没算出来,希望林默帮忙看看。 </p><p> </p><p>林默看了一眼,抽出草稿纸上刷刷写了几分钟,递给女儿。女儿说早知道就早点问他了。 </p><p> </p><p>几十年来,数学研究发生了很多变化。 </p><p> </p><p>自动化证明工具越来越成熟,过去需要研究人员花费几天才能完成的工作量,现在只要输入合适的条件就能自动求解。许多传统的分析方法都随之被重新整理化为标准化程序,一些曾经非常困难的问题也陆续得到解决。 </p><p> </p><p>林默很早就开始使用这些工具,他把维兰方程相关的东西输入了系统,用系统验证过去的结论,又排除了许多错误的路线。系统帮他节省了大量时间,但是系统也不能算出那个仿佛是幻想的通解。他对此并不意外,他也很清楚系统卡在什么地方,因为它遇到的问题跟他一样。 </p><p> </p><p>后来的一年,林默参加了一次规模很大的数学学术会议。几十年来,数学的研究已经推进了很远,维兰方程没有出现在任何正式报告的题目里。 </p><p> </p><p>会议期间,他碰到了一位多年前共同研究过这个问题的同行。对方早已放弃了维兰方程,转向其他领域并取得了相当不错的成绩。两人吃饭时聊起过去的研究,林默提起自己仍然在寻找那个通解。对方有点惊讶,随后问他这些年有没有取得什么重要进展。林默说有一些,但想做到完整解决还有距离。 </p><p> </p><p>“其实你可以把现在的进展整理出来,发一篇综述。就算最终没有解决,也算给后来的人留点东西。” </p><p> </p><p>林默觉得很有道理,那次会议结束之后,他开始系统整理过去三十多年的研究资料。 </p><p> </p><p>这不是一个很简单的工作了,他发现自己的资料已经多得乎自己想象,并且远比想像中混乱。有些早期推导使用的符号已经被废弃,有些证明引用了后来被推翻的结论。有几条看起来很有希望的路线,但是他已经不记得当初为什么没有继续,他不得不重新检查。 </p><p> </p><p>整理完成之后,他得到了一份相当丰富的研究记录。其中绝大部分内容都是属于失败的尝试,真正可以公开发表的成果只有很小一部分。 </p><p> </p><p>他把这些资料保存到学校的学术档案里,同时在个人主页上公开了经过确认的部分。 </p><p> </p><p>偶尔有人写信向他请教一些细节,但总体来说浏览量不高。 </p><p> </p><p>六十岁生日那天,许岚问他有没有什么愿望。 </p><p> </p><p>林默说想把维兰方程解出来。 </p><p> </p><p>许岚笑了,问:”除了这个呢” </p><p> </p><p>“暂时想不到“ </p><p> </p><p>”那你还是想想吧,退休以后总不能天天在家算题” </p><p> </p><p>林默说,到时候可以一起出去旅游。他们结婚这么多年,真正出去玩的次数并不多。 </p><p> </p><p>许岚翻出旧相册,开始跟他商量去哪里,最后两人决定来年春天去一趟北方,看看年轻时候想去但是没去成的地方。 </p><p> </p><p>旅行后来如期进行了。那段时间,林默几乎没有打开过研究资料。每天早上,他与许岚一起出门,按照提前规划好的路线参观游览。许岚喜欢拍照,他就负责拿东西,查路线,找拍照角度。就像年轻时一样。 </p><p> </p><p>回家后,他花了半天整理照片,然后又习惯性打开了维兰方程的研究文档。 </p><p> </p><p>文档最后一次修改时间停留在二十七天前。 </p><p> </p><p>他看了看当时写下的几条推导,发现自己已经记不太清楚当时的思路,只好又重新推了一遍。 </p><p> </p><p>他的同龄人中已经有不少人离开了教学岗位,几位过去经常一起讨论问题的同行也陆续退休。研究所招来了许多的年轻学者,他们使用着新的理论框架,研究方向也与林默相差很远。 </p><p> </p><p>他意识到,自己已经不再像年轻时那样确信问题一定能够解决。 </p><p> </p><p>他甚至开始认真考虑另一种可能:维兰方程也许会在自己去世之后被某个人解决。那个人可能只是使用某一种他没有接触过的新理论,或者注意到一个被他始终忽略的简单事实,就能完成他几十年没能做成的事情。 </p><p> </p><p>数学史上类似的事情发生过很多次。只是如果条件允许的话,他还是希望亲眼看见答案。 </p><p> </p><p>几年后一次重新检查旧资料的工作让事情出现了转机。 </p><p> </p><p>当时他正在整理一份早期的证明,里面引用了更早时候得出的结论,那个结论本身没有问题,但是林默发现他当时做了一个实际上不必要的限制,他尝试去掉那个限制,结果得到了一个未曾设想的算式。 </p><p> </p><p>起初,这个算式似乎没有任何优势,它需要引入更多参数导致计算比之前的推导更加复杂。但继续计算下去,过去始终无法统一处理的很多特殊情况在这个算式中,如同使用了魔法一样得到了解决。 </p><p> </p><p>过去几十年这种希望出现了很多次,因此他没有马上觉得自己找到了答案。 </p><p> </p><p>他花了三个月继续验证关键情况,确认没有出现明显的矛盾,然后又花了半年尝试将新方法推广到更一般的参数范围。推广过程仍然困难,甚至让他怀疑这种办法依然会失败。 </p><p> </p><p>但这一次不同的地方在于,每解决一个问题,后续的推导都会变得更加清晰,过去那些分散的特例开始逐渐连接起来,一些曾经让他困惑的现象,也终于获得了统一的解释。 </p><p> </p><p>林默花了一年多的时间建立完整的框架,又用了将近一年的时间补全相关的证明。 </p><p> </p><p>期间他依然出现过几次错误,一度不得不重写很多推导。但与年轻时不同,他已经能够判断错误会影响哪些部分,也知道该从哪里重新开始。 </p><p> </p><p>那一个下午,林默把最后一行公式写完,又检查了一遍,整个过程持续了两个多小时。直到天色将暗,他才关上电脑,走出书房。 </p><p> </p><p>许岚问他晚上想吃什么,林默没有回答,他在许岚旁边坐了一会,忽然开口:“我好像算出来了。” </p><p> </p><p>许岚转过头:“什么东西” </p><p>“维兰方程” </p><p> </p><p>许岚愣了一下“真算出来了?” </p><p>“应该是,我检查过一遍了” </p><p>“那晚上得出去吃了” </p><p> </p><p>那天晚上他们出去吃了一顿大餐,林默没有喝酒,回家之后又打开了电脑检查那些证明。 </p><p> </p><p>接下来的几个月,他把几乎所有时间花在了论文整理上,他重新统一了符号与术语,删掉了大量不必要的推导,又邀请了几位相关领域的熟悉老朋友帮忙检查。 </p><p> </p><p>他将论文投给了一份数学期刊,审稿过程又持续了几个月。一位审稿人确认了主要结论的正确性,但要他补充几个特殊情况的证明,另一位审稿人对论文中一段变换提出了质疑。林默又花了几天重新整理,最终给出了更完整的解释。 </p><p> </p><p>论文通过了审稿。 </p><p> </p><p>那天,林默把邮件转发给了很多老朋友,也发给了家人。林澄很快回复,祝贺他终于完成了,提议一家人庆祝一下。 </p><p> </p><p>这篇论文在相关研究领域得到了一定关注。一些数学家在公开评论中肯定了他的工作,认为他完整解决了维兰方程长期存在的通解问题,也为某些相关数学结构的研究提供了新的工作。 </p><p> </p><p>除此之外,没有发生什么特别的事情。维兰方程已经远离数学研究的中心很多年,它的解决填补了一个长期以来的理论空白,但没有显示出明显的实际应用价值,因此也没有带来什么新的研究热潮。 </p><p> </p><p>但林默对此很满意了,他从年轻时就想知道答案,如今终于解出来了,至少没有留下遗憾。 </p><p> </p><p>他将论文加入了个人主页的成果列表顶部,再将研究资料整理归档。之后他很少再打开这些文件。退休生活比他想象中充实。他与许岚去了很多地方,偶尔参加学校的学术活动,学习了一些过去没有时间接触的东西。他仍然关注数学研究的进展,但已经很少亲自处理复杂的证明。 </p><p> </p><p>几年后,林默因病去世。学校为他举行了一场小型追思会。几位过去的学生与同事参加了仪式,回顾了他的学术生涯。他留下的论文与研究资料早已归档进学校的学术档案库。维兰方案的通解也被纳入相关教学教材。 </p><p> </p><p>对于绝大多数人来说,林默只是一个陌生的名字。他曾经花费四十三年解决的那个问题,只是数学史上众多已经被解决的问题之一。他的名字只出现在专业文献中,他的论文依然可以被学术数据库检索到,但每年的下载量一直很少。 </p><p> </p><p>直到那场事故发生。 </p><p> </p><p>第七轨道工业空间站,这是一座原本承担轨道制造与物资中转任务的巨型空间设施。后来随着新一代轨道工业体系的建成,它的主要功能被逐渐取代,在几十年前已经停止使用。 </p><p> </p><p>空间站退役的时候,因为成本等原因,但是当时的管理机构决定暂时保留主体结构。 </p><p> </p><p>它仍然拥有完整的轨道维持系统,能够自动地修正轨道维持在一条相对稳定的运行路径上。只要自动系统继续工作,这座无人居住的设施就不会对地面造成威胁。许多年来,这套系统也一直正常运行。 </p><p> </p><p>但与以往不同的是,这次因为不明的原因,空间站的导航系统出现了故障,从而向控制系统提供了错误的参数。系统根据错误的数据执行了几次推进操作,然后发现轨道与预期的结果严重不符,触发了安全保护程序锁定了推进系统。 </p><p> </p><p>按照设计,这种情况下,地面控制中心应该重新确认运行参数,解除空间站的锁定并发送修正指令。 </p><p> </p><p>然而空间站早就已经没有正常运行的地面控制中心了。最后一家负责维护的机构已经在几十年前破产,原有的技术资料虽然大部份得到保存,但最高权限的密钥却在各种原因下遗失了。由于空间站长期依靠自动程序运行,没有人需要这项权限,密钥丢失的问题也就一直没有解决。 </p><p> </p><p>轨道监测系统迅速完成了重新测算。空间站质量达到几十万吨,包含大量高密度的工业设备,设计之初甚至因为考虑到星际战争增加了大量的防护结构。如果直接坠入大气层,大型结构很可能无法在大气层中烧毁从而砸向地面。根据现在的轨道参数,预计十几小时后,空间站就将进入不可控的坠入过程。 </p><p> </p><p>更糟糕的是,预测坠落的区域是一座人口密集的城市,理论伤亡将达到千万级别。 </p><p> </p><p>轨道安全机构启动了最高级别的应急响应。 </p><p> </p><p>技术人员首先尝试通过控制接口接管空间站,但所有涉及推进系统的指令都无法绕开根密钥。随后,他们又检查了几十年前的备份档案,试图找回密钥,但一无所获。 </p><p> </p><p>外部的干预方案也很快被排除了。空间站体量过于庞大,能够对其轨道产生有效影响的外部航天器没有足够的时间抵达。使用武力打击也很难保证打击效果,理论的伤亡数字依然无法接受。 </p><p> </p><p>唯一可行的方案,是重新取得空间站的推进系统权限,解除系统锁定并执行轨道修正。推进系统本身依然是能够使用的,他们缺少的只有密钥。 </p><p> </p><p>空间站密钥采用的是一种早期非对称密码协议。该协议依赖一类特殊的数字问题,其计算复杂度在设计的时候被认为足以保证无法通过暴力计算破解。虽然现代计算设备的性能已经远远超过协议设计时候的水平,但直接穷举密钥依然需要无法接受的时间。 </p><p> </p><p>技术小组尝试了许多种密码分析方法,均未取得突破。 </p><p> </p><p>事故发生七个小时后,年轻的数学研究者沈越加入了应急小组。 </p><p> </p><p>沈越是数学家公认的天才,他此前也研究过很多复杂数学结构,都很快得到了突破。 </p><p> </p><p>应急小组向他提供了空间站密码协议的设计文档以及获得到的大量历史记录。 </p><p> </p><p>沈越立即上手分析这些资料。一段时间后,他发现协议似乎能够能够特殊处理,将原本复杂的密钥恢复问题转化为另一类数学方程的求解问题。这种转化需要满足几个条件,比如海量的历史记录,许多的参数,但是空间站历史悠久,记录下来的日志他们也有权限获取到,因此条件是满足的。 </p><p> </p><p>那个方程并不简单。现有的求解程序无法直接处理。不过沈越已经有了一条比较明确的推导路线,只要补齐几个关键结论,就有很大把握完成密钥破解。 </p><p> </p><p>以他的经验,这个工作大概需要三四天。 </p><p> </p><p>他把这个估计告诉给了负责人。 </p><p>对方带着沈越看了一眼监控大屏。空间站预计开始坠入的时间,已经只有几个小时。 </p><p> </p><p>沈越说他想想办法。 </p><p> </p><p>话是这么说。但他能够借助计算设备完成大量重复推导,也能够将部分工作分配给其他数学研究人员,可最关键的几个步骤需要连续的逻辑证明。即使投入无限多的计算资源,也很难将时间压缩到几个小时之内。 </p><p> </p><p>就在这时,他注意到自己刚刚推导出的方程式似乎有点眼熟,仿佛在什么文献中看到过类似的结构。那是一类很早之前有人研究过的方程,但他对具体的内容没有什么印象。 </p><p> </p><p>他唤起AI助理,用一些术语让它进行检索,检索结果很快出现。 </p><p> </p><p>《维兰方程的一般求解方法及其完整性证明》作者林默。 </p><p> </p><p>文章很长。前面几节主要介绍维兰方程的历史研究成果,以及已有方法的局限。随后作者建立了一种新的数学框架,并给出了完整的求解过程。 </p><p> </p><p>沈越迅速浏览了一遍论文。他发现,林默研究的维兰方程与自己刚刚推导出的方程具有几乎一致相同的数学结构。空间站密码协议所对应的参数范围,也包含在林默给出的通解之内。 </p><p> </p><p>沈越意识到,这篇论文已经完成了他准备花三天做的工作。而且完成得相当到位。 </p><p> </p><p>他把论文的核心结论整理成程序,输入空间站认证记录中的公开参数,开始计算根密钥。 </p><p> </p><p>计算过程持续了四十多分钟。终端最终输出了一组密钥。接下来的事情进行得异常顺利。控制系统接受了新的认证指令,空间站最高权限成功恢复。技术人员解除推进系统锁定,重新输入轨道修正参数,并在确认姿态和指令执行条件后启动了推进系统。 </p><p> </p><p>几分钟后,轨道监测网络重新计算的轨道表明,它已经脱离了即将坠入大气层的危险状态。后续只需安排轨道拖船进行处理,就可以将这座老旧设施转移到更安全的地方。 </p><p> </p><p>地面警报解除。从沈越找到论文到空间站完成轨道修正,总共过去了两个多小时。事故没有造成任何人员伤亡。 </p><p> </p><p>调查报告在一个月后公布。报告详细还原了空间站失控的原因、应急处置过程以及最终恢复控制权限的方法。在数学分析部分,调查人员特别列出了一篇几十年前发表的论文,并指出正是其中给出的求解方法,使技术团队得以在有限时间内恢复根密钥。而这篇论文的作者是林默。 </p><p> </p><p>随着报告公开,媒体开始关注这名已经去世多年的数学家。记者们查阅了他的生平资料,采访了他的学生和家人,发现了一件令人惊讶的事情。林默从二十七岁开始研究维兰方程,直到七十岁才找到完整解法。前后整整四十三年。 </p><p> </p><p>这段经历很快成为新闻报道的重点。一些媒体将林默称为拯救城市的数学家,认为他在几十年前完成的研究,最终避免了一场可能造成数百万人伤亡的灾难。 </p><p> </p><p>有记者找到了他的旧学生,询问他晚年为什么仍然坚持研究那个问题。 </p><p> </p><p>学生说,林默一直希望能把问题解决。 </p><p> </p><p>记者追问,他是否早就预见到了这项研究可能具有重要应用价值。 </p><p> </p><p>学生说,没有,林默自己也从未提出过类似的设想。他去世前留下的研究记录中,没有任何关于密码系统或者空间站控制技术的内容。那些记录几乎全部只与维兰方程本身有关。 </p><p> </p><p>另一家媒体采访了林默的女儿林澄。记者问她,父亲当年完成研究时,有没有说过什么特别的话。 </p><p> </p><p>林澄回忆了一会儿,说父亲当时只是告诉家里人,自己终于把那个问题算出来了。后来论文正式发表,一家人一起吃了顿饭,父亲很高兴。 </p><p> </p><p>一次新闻发布会上,有记者向沈越提出了一个问题。 </p><p> </p><p>“我们了解到,林默教授花费了四十三年才解决维兰方程。如果没有他的论文,您能够独立证明维兰方程吗?” </p><p> </p><p>沈越回答:“可以。” </p><p> </p><p>记者接着问:“您需要多长时间?” </p><p> </p><p>“三天左右。”他说。 </p><p> </p><p>这个回答很快引起了争议。 </p><p> </p><p>有人认为,这说明林默耗费四十三年解决的问题,对于真正出色的数学家而言,并没有想象中那么困难。因此有人质疑,林默是否值得获得如此高的评价。 </p><p> </p><p>沈越没有参与这些讨论,因为他知道自己给出的时间估计没有问题。 </p><p> </p><p>他专门重新阅读了一遍林默的论文。那是一篇很扎实的数学论文。推导完整,结构清晰,许多容易出错的特殊情况都得到了妥善处理。沈越能够理解其中的每一个步骤,也能看出作者在整理证明时做过大量细致的工作。论文没有任何超出他理解能力的数学思想,他甚至觉得,自己的证明可能会更简洁一些。 </p><p> </p><p>在事故发生时,他已经独立找到了将密钥恢复问题转化为维兰方程的方法,也确定了后续的求解路线。即使没有林默的论文,他仍然有把握完成证明。 </p><p> </p><p>只要有三天时间。 </p><p> </p><p>沈越又打开了空间站事故时的记录。屏幕上显示着他发现维兰方程时的时间,以及当时轨道系统给出的剩余时间。 </p><p> </p><p>距离空间站进入不可控坠入过程,只有四小时十七分钟。 </p><p> </p><p> </p><p> </p><p> </p><p> </p><p> </p>
想到了费马大定理,一场跨越几百年的接力证明,安德鲁怀尔斯站在众多巨人的肩膀上完成了最终证明,相比之下故事里的林默好孤独,导师一开始就善意提醒他问题很难,后来同行也都放弃了这个问题,只有他自己几十年如一日走完全程、找到答案。后半部分至结尾不能说不喜欢,只是读起来有一点不太舒服,一个天才只用三天就可以解决别人花费几十年才能解决的问题,有一点武侠小说里天资聪颖的主角刚练没多久就能打败修炼好多年的高手的意味,然后又想到这段时间ai对数学界的冲击,感觉,好残酷,但整个故事还是很喜欢的
大概也许是由最近的ai数学证明浪潮启发的一篇故事?故事整体设计得不错,结构清晰,能感受到一种比较隐秘平缓的罗曼蒂克表达。不过感觉情绪有一点被林默拉住了,力度没有上去。林默整体的角色形象很柔和,没有激烈的起伏,很好地铺垫了故事前半程的情绪基调。但对于后半程,作者可能有点没有转换过来,沈越的塑造是向所谓“天才”的方向走的,但我个人感觉还不够尖锐/坚硬,危机事件的紧张氛围也有一点点欠缺,应该还是有打磨的空间的。