安德鲁的黎曼猜想证明

安德鲁·马丁的黎曼猜想证明是一项已经完成的数学突破；它遭到摧毁，使外星叙述者的任务付出了人性层面的代价——这项证明代表着人类曾拥有的种种可能，而他曾帮助抹去这些可能。留存下来的、关于安德鲁追寻证明的书，记录了他抱负的宏大规模，但证明本身已不复存在。

证明与留存下来的书

外星叙述者发现了安德鲁那本薄薄的《ζ函数》，书上标注着“未校样本”。锁好门后，他坐在安德鲁的椅子上，把全书读完。这本书讲述了安德鲁试图证明黎曼猜想、解释质数之间间隔不断增大的规律的努力。书中的叙述让这一成就显得格外令人痛心——安德鲁写下了一段看似徒劳的探索，但此后他却解决了问题。叙述者读到这本书时，已经摧毁了证明，因此留下的是书中的记述，而决定性的成果却已不复存在。

这一差别赋予了这件物品双重意义。《ζ函数》记录了安德鲁的探索，但它本身并非证明；书页让人得以看清那项成果背后的劳动与渴望，而那项成果已无法再带来安德鲁所期盼的一切。叙述者读这本书时，一个技术性课题由此转变为一场与他所中断的人类努力的相遇。

失落的未来

叙述者将这项证明的后果，与素数第二基本理论相提并论；正是这项数学突破，使他的文明得以穿越宇宙、栖居其他世界、变作其他躯体、延长生命，并探查心智与梦境。他意识到，摧毁安德鲁的证明，不只是阻止了一位数学家取得成功。在他看来，他还帮助阻止了人类实现或许本可接踵而至的进步。

这本书把失去的潜能与人类成就的记录并置，从火与犁，一直到印刷机、蒸汽机、微芯片和脱氧核糖核酸的发现。叙述者承认这些里程碑的意义，但在它们与他所认为的成熟数学发展所带来的进步之间，看到了差距——大脑同步、自由思考的计算机、自动化和星际旅行。因此，这项证明矗立在一道门槛上。安德鲁的成果本可能为人类尚未获得的能力开辟道路；它遭到摧毁，使叙述者觉得自己扼杀了那个未来。

成果与秘密

后来，在一场关于阿里之死的谈话中，证明已经成立一事成为区分情况的依据。外星叙述者反驳说，阿里并不知道黎曼猜想已经得到证明。他的对手确认阿里确实不知情，但解释说，杀人的命令所针对的并不只是知晓证明的人——凡是听说过叙述者来历的人，也都在目标之列。这番交谈区分了两种危险的知识——数学突破与叙述者的身份，同时也表明，证明的存在始终与更大规模的行动交织在一起；那场行动意在控制他人能够知晓的事。