黎曼猜想被证明的状态

人类

黎曼猜想被证明这一状态,是推动小说核心冲突展开的转折点——一项可能改变人类文明的数学突破,被外星安德鲁·马丁视为必须抹去的危险。他读过证明后觉得它无懈可击,但他后来否认此事,并未解决证明究竟有误,还是他在隐瞒所知的问题。这一发现因此既作为数学主张留存于故事中,也成为一场考验——谁有资格知晓它。

主张及其利害关系

原身安德鲁·马丁是剑桥大学的数学家,曾花八年研究这一问题;他似乎在遭绑架和死亡前不久取得了突破。小说通过另一种心智呈现这一发现——外星安德鲁·马丁说,他当时只是短暂接触过原身,并未获得完整的心智读取。因此,这一成果并非随着身体一同继承的简单所有物。新来者必须学习足够的数学,才能评估原身究竟做出了什么。

证明的导言将黎曼猜想列为数学领域中最大的未解问题之一。文件把数学知识设想为文明的基础,能够突飞猛进,也可能遭遇挫折。它将证明与远远超出数学学科本身的后果联系起来——数学分析应用的变革、超级计算机、量子物理学的解释,以及星际运输。这些只是文件对这项突破潜在影响的论述,并非故事中实际发生的进展。其影响之大,解释了为何压制这一成果不只是学术保密问题。

故事称,在其他著名数学谜题均已解决后,这一问题成了最后也是最重大的难题。证明它将改变人类所能知晓和建造之物的说法,彰显了它的重要性。这一承诺与外星人的任务格格不入——这份证明代表着人类进步,而外星安德鲁·马丁受命前来阻止的,正是这种发展。

阅读并删除证明

在原身安德鲁·马丁的电脑上,外星安德鲁·马丁发现了一份标为Zeta证明文件的文档。它共二十六页,大部分是数学符号,前面附有一段文字导言。对外星人而言,这套记号是一种有待学习的语言;他认为它比自己正在学习的人类语言更真实。这一区别很重要——他是在研读完数学内容后才判断结果,而非仅凭原身的声望或书面主张作出判断。

决定性的迹象出现在文件结尾处那个确凿无疑的无穷符号。经历片刻纯粹的恐惧后,外星安德鲁·马丁确信证明已经找到,关键的一步也已完成。他毫不迟疑地删除了文件。这一行动履行了他的任务,即摧毁这项突破的证据;在他看来,这些证据不仅存在于电脑中,也存在于活人的脑海里。他一闪而过的自豪,被描写成一种努力相信自己或许拯救了宇宙的尝试;但这一念头立刻让位于另一个认识——摧毁一个副本并未让局势变得简单。

副本、通信与人类记忆

这一发现早已越过外星人发现证明的那台电脑。原身安德鲁·马丁最后发送的一封电子邮件,收件人是丹尼尔·拉塞尔——剑桥大学的卢卡斯数学教授,也是他长期以来的学术同事。邮件主题表明,这个问题已经一百五十三年未能解决。原身安德鲁·马丁请丹尼尔·拉塞尔审阅附件中的证明,强调在发表之前只有丹尼尔·拉塞尔可以阅读,并将可能传来的消息描述为历史性的变革。附件正是外星安德鲁·马丁刚刚在另一处删除的那份文档。

信息也并未局限于那两台电脑。伊索贝尔之子格列佛记得有人曾告诉他这一结果——外星安德鲁·马丁自称可能是人类的救世主,而格列佛记得他说自己证明了黎曼猜想。格列佛还说,这是父亲一周以来第一次和他讲话。这段记忆使这项所谓的突破不仅关乎公众,也变得亲密而私密——即便是家庭内部的一次谈话,也成了这一发现继续留存的另一条途径。

外星安德鲁·马丁追问细节时,格列佛的记忆并不准确;他把猜想的名称说错了,外星人随即纠正了他。但核心事实已经足以引起警觉。后来,格列佛否认更多的钱能拯救这个家,外星人表示赞同,并说自己最终并没有证明黎曼猜想,还补充说,他认为这个猜想不可证。格列佛随即不再理会他,把音频传输装置塞进另一只耳朵里,闭上双眼。否认让谈话就此中止,却无法抹去此前那段被记住的披露。

撤回主张与悬而未决的状态

这一撤回主张与外星人读过证明后表现出的确信相矛盾。故事并未交代其间出现过任何数学上的反驳——这一变化是以对格列佛所说的一番话呈现的,而非通过重新审查证明得出的结论。外星安德鲁·马丁或许是在纠正一个真正的错误,但他周围压制证据的行动,使人难以相信他的否认就是完整的解释。这一矛盾保留了不确定性,没有解决证明是否有效的问题。

后来与东道主集体的一次通信,进一步使事情变得复杂。外星安德鲁·马丁报告说,原身安德鲁·马丁和丹尼尔·拉塞尔电脑中的信息都已销毁,并称丹尼尔·拉塞尔死于心脏病。他还报告说,未竟小说作者伊索贝尔·马丁和伊索贝尔之子格列佛没有被清除,并表示没有必要。这个报告展现了他声称已实施的清理行动规模;而此前那封邮件和格列佛的记忆则表明,单靠删除电脑内容无法确保这一发现彻底消失。

叙事意义

证明似乎完成的时刻,也是知识变得危险的时刻。它的重要性不仅体现在数学声望上,也体现在导言所设想的未来;它的脆弱性则体现在外星人愿意删除证明,并清除与之相关的人。然而,这一结果无法被简化成一个文件。它已被阅读、发送、附在邮件中,也曾被说出口;每一次传入另一个人的心智,都挫败了彻底抹除的幻想。

因此,小说让这一事件的两个版本彼此对峙——数学家似乎取得了成就,而替代者后来坚持说根本没有任何成就。两者之间的落差使证明本身成为证据、传递与信任的问题。这一突破既是外星人奉命摧毁的对象,也是他的一再行动所证实的、他认为后果重大的事实。