外星人删除黎曼猜想证明及相关记录

摧毁黎曼猜想证明，是外星叙述者来到地球要执行的一系列行动中第一个果断之举。他在一份名为“Zeta证明文件”的文档中发现这份证明后，确认结果确实成立，便将其删除。随后，他移除了附有副本的私人邮件，并设计了一种病毒，使计算机中的内容无法以完整形式访问。原本只是一个文件消失，继而演变为抹去这项发现得以留存的各种途径。

发现与确认

外星叙述者在一间堆满书籍、文件、装裱照片和文具的办公室里，发现了“Zeta证明文件”。他称作妻子的人即将回家，留给他的时间不多，于是他打开计算机，迅速搜索。这份文档共二十六页，大部分内容是数学符号，但简短的文字引言表明，它是黎曼猜想的一份证明。

对他而言，这些数学页面作为一种语言十分陌生，但读起来比他一直在学习的人类语言更容易，也更真实。他顺着数字、图表和符号一路读到最终确凿的无穷大。最初的几分钟里，这一发现令他恐惧；随后，他确信证明已经被找到，一把至关重要的锁已经转动。因此，接下来的删除并非出于对某个可疑主张的回应。他检查过论证，并接受了它的结论。

结果的重要性

这份证明的重要性不止关乎计算机和办公室，因为在叙述者的描述中，黎曼猜想已成为数学领域尚未解决的最大难题。其他著名谜题，包括费马大定理和庞加莱猜想，均已得到解决，只剩下这个由来已久的猜想，成为最后也是最重大的挑战。它的解决被比作看见分子内部的原子，或辨认出元素周期表中的各种元素——这是一项智识突破，将彻底改变人类所能理解和建造的事物。

这番描述将这种变革与超级计算机、对量子物理学的解释以及星际运输联系起来。外星叙述者删除文件后突然涌起的自豪感，与他所抹去之事的宏大规模形成鲜明对照。他告诉自己，自己或许拯救了宇宙，但这个念头几乎立刻就被限定——他意识到，地球上的事情并非如此简单。结果所蕴含的希望与叙述者抹去它时的确信并存于同一时刻，却没有消解其选择在道德或实际层面造成的后果。

抹去邮件及其副本

接着，外星叙述者查看已发送邮件文件夹，找到原身安德鲁·马丁发出的最后一封邮件。邮件主题提到自黎曼猜想提出以来的153年。邮件称证明已准备好接受审阅，请丹尼尔·拉塞尔先行检查，并强调在公开发布之前必须保密。邮件还将这一发现描述为人类可能迎来的转折点，并把它的重要性与1905年的消息相提并论。

附件正是外星叙述者刚刚从别处删除的那份证明。他没有花时间重读，而是查看了收件人。丹尼尔·拉塞尔是剑桥大学的卢卡斯数学教授，一位六十三岁的学者，著有十四本书，在学术界享有盛誉。他与原身安德鲁·马丁曾合作撰写论文，不过叙述者迅速查阅资料后认为，两人是同事，而非密友。因此，这封邮件指出了一条具体的人类途径，证明可经由这条途径得到核验并传播；收件人也具备识别其重要性的能力。

扩大摧毁范围

时间限制了接下来的行动。外星叙述者估计妻子约二十分钟后会回来，他想避免引起怀疑。他把事情视作一连串行动，并认为第一部分必须立即完成。他将邮件及其附件一并移入垃圾箱，既删除了这封私人通信，也删除了其中包含的副本。

随后，他利用质数设计了一种病毒，以确保那台计算机上的任何内容都无法再以完整形式访问。整个过程一环扣一环——先是数学文档，接着是承载文档的邮件，然后是机器保存可用记录的能力。尽管这次尝试的范围超出了删除单个文件，但叙述并未说明他所找到的材料之外的其他副本后来如何。这个片段将一份证明化为一条脆弱的储存与传递链，也展现了外星叙述者如何攻击他所能触及的每一个环节。