黎曼猜想
人类黎曼猜想是安德鲁·马丁取得突破以及叙述者奉命抹去其证明这一任务的核心数学难题。它不仅被呈现为一个数学问题,也是一道门槛——解决它或许会为文明开辟新的道路,而压下这一解答则意味着有意封闭这些道路。叙述者起初将证明视为必须销毁的危险证据;后来,当他阅读安德鲁·马丁的著作时,才明白这次销毁可能造成多大的损失。
问题及其可能带来的影响
书中将黎曼猜想称为数学领域最重要的未解难题。书中没有对猜想本身作技术性说明;它的重要性来自人们对解决它所寄予的希望。在证明的引言中,数学理解被描述为文明的根基;文明由一系列进展逐步建立,但这些进展并非均匀到来,其间既有迅速发展的时期,也有严重受挫的阶段。数学史由此既成为可能性得以实现的历史,也成为可能性一再延宕的历史。
引言中的论述追溯到亚历山大图书馆被焚毁一事,并设想,如果古代知识得以留存,人类的成就会不会早得多地出现。文中推测,数学进步或许能让太空旅行、其他行星的殖民、医疗进步,以及也许能够阻止衰老和死亡的方法,提前许久成为现实。这些说法被呈现为对数学可能促成之事的猜想,而非黎曼猜想必然带来的结果。证明的重要性部分就在于这种不确定性——它的影响被描述为可能极其深远,但目前仍无法知晓。
引言还将这一问题置于一系列数学挑战之中。随着费马大定理和庞加莱猜想等其他著名难题相继解决,黎曼猜想逐渐成为最后、也最大的一道难题。文中将解决它比作人们对物质世界的理解发生重大变化,并将其与计算、量子物理学和星际运输方面可能取得的进步联系起来。这一比较传达了人们所期待的飞跃有多么巨大,但并未声称每一种设想中的应用都已实现。
安德鲁·马丁的证明
叙述者在安德鲁·马丁的电脑中搜寻突破的证据时发现了这份证明。文件名为“Zeta证明文件”,共二十六页,其中大部分是数学符号。文件开头说明它是黎曼猜想的证明。简短的书面引言与多页陌生符号之间的对比,使这项发现既明白可辨,又显得遥远——叙述者能认出文件所声称的内容,却仍须理解一种他此前从未学过的数学语言。
读完引言材料后,他查看了那些写满数字和符号的页面。他认为,相较于自己一直在学习的人类语言,数学更容易学,也更为真实。读到末尾,一个无穷符号让他确信证明已经完成,难题的锁也已转动。这是叙述者阅读文件时作出的判断;文中并未提供独立的数学验证。尽管如此,在故事中,安德鲁·马丁完成了几代数学家都未能完成的事情。
这一发现既关乎个人,也关乎历史。叙述者后来读到安德鲁·马丁那本薄薄的、未经修订的《ζ函数》证明稿;这本书写于突破之前。书中讲述了安德鲁·马丁如何试图解释质数之间间隔的规律;在叙述者看来,这也揭示了他有多么渴望解决这个问题。书中所述看似徒劳的探索与后来出现的证明之间的落差,使这一发现仿佛成了一段漫长追寻的圆满结果,也让人更难将销毁证明视为单纯的技术行为。
抹除及其代价
叙述者接到的任务是阻止人类进步,办法是抹去突破的证据,包括电脑中的证据,以及活人所掌握的证据。他发现“Zeta证明文件”后将其删除,起初还感到一阵轻微的自豪,并告诉自己也许拯救了宇宙。这一说法反映了其任务背后的逻辑——数学进步可能威胁既有秩序,因此在他看来,销毁证明起初似乎是一种防范。
他还删除了发给丹尼尔·拉塞尔的邮件和附件,随后利用质数设计了一种病毒,使电脑内容无法完整读取。这些做法让抹除行动不再局限于一个文件。叙述者不只是试图将证明藏起来;他还试图切断它与另一位数学家之间的电子联系,阻止证明被找回。病毒利用质数这一细节颇具反讽意味——数学知识帮助他阻碍一项数学突破的传播。
当叙述者回到安德鲁·马丁的办公室,读起《ζ函数》时,他的判断发生了变化。书中从火与犁,到印刷机、蒸汽机、微芯片和脱氧核糖核酸发现的人类成就,将这项证明置于一段更为漫长、不断累积的变迁史中。叙述者将这段人类发展历程与自身文明的数学飞跃相比较;后者带来了星际旅行、身体改造、长寿以及接触其他心灵的能力。在这样的对照下,销毁证明不再像是移除一份危险文件。他意识到,自己或许扼杀了人类未来的可能性。
数学进步与故事的冲突
黎曼猜想将小说的核心冲突与技术进步超越心理成熟度这一落差联系起来。按照叙述者的说法,人类已经造出火箭、探测器和卫星,却尚未取得他认为证明可能带来的更大进步——心智同步、自由思考的电脑、自动化以及星系间旅行。数学仿佛是文明跨越这些门槛的途径,而叙述者的任务就是阻止这种跨越。
随着叙述者的理解发生变化,证明的重要性也随之改变。起初,他奉命将证明视为必须清除的证据,将命令置于创造它的人们看重的价值之上。阅读安德鲁·马丁的书,迫使他看见发现出现之前的那份渴望,也看见这项发现可能融入其中的人类成就链条。同一份文件因此先是一个目标,继而成为衡量叙述者的干预夺走了什么的尺度。
故事将证明所承载的希望与希望的实现区分开来。叙述者认定证明已经完成,也设想了可能随之而来的影响,但文本并未展现那些技术未来成为现实。文本展现的是销毁这项成果的选择,以及叙述者后来对其代价的认识。因此,黎曼猜想既代表一项具体的数学成就,也代表尚未实现的人类可能性,并提醒人们,认为只要抹去进步的证据就能安全地阻止进步,是一种危险的想法。


