无限推演 第1章 第 1 章

无限推演

第一章质数间隙

苏黎世联邦理工学院，深夜十一点四十七分。

顾辰微盯着面前那块白板已经看了四个小时。白板上有十七行公式，从左上角一直写到右下角，最后几行几乎是贴着边框挤进去的。她写的时候没有停，笔尖划过白板的声响在空荡荡的办公室里来回弹跳，像一个失眠者反复计算着自己的心率和入睡概率之间的函数关系。

此刻她停了。

因为她发现了一个不该存在的东西。

她面前的这道题来自一个匿名寄件人。包裹是今天下午送到她办公室的，牛皮纸信封上没有寄件人姓名，只有一行打印的地址：顾辰微教授收，数学研究所，苏黎世。信封里没有信，没有便条，没有署名，只有一张纸。纸是普通的A4打印纸，上面的内容是用黑色墨水手写的，字迹极其工整，工整到不像是人写的：

已知自然数中，质数的分布近似于x/ln(x)。但在某些局部，质数间隙远大于平均值。迄今为止发现的最大质数间隙出现在某个数字附近，其间隙长度为1550。问题是：这个数字是什么？

下面附了一行小字：

不要搜索。你只有一次机会。答案写在背面的方框内。如果你的答案正确，你会收到下一封信。如果不正确，你不会再收到任何东西。

顾辰微本来打算把这封信扔进废纸篓。她每天都会收到各种各样古怪的信件，有人声称证明了黎曼猜想，有人发现了第零个质数，还有人用十二页纸证明了1=2并诚挚地邀请她共同署名发表。这类信件她有一个固定的处理流程：看一眼，确认是胡说八道，扔进废纸篓，下午五点倒掉。

但这封信不一样。

她把信翻过来，背面确实有一个方框，大约三厘米见方，印刷在纸的正中央。方框内写了两个字：已验算。这三个字是用圆珠笔写的，墨水的颜色是深蓝色，字迹和正面那行工整的印刷体完全不同——这行字是手写的，笔画之间有一丝犹豫，写“已”字时起笔略重，收笔时轻轻抬了一下。

有人写下了这三个字，然后停下来了。也许是在犹豫要不要继续写下去？也许是被打断了？

顾辰微把信翻回正面，重新看了那行问题。

质数间隙。这是数论中一个古老而迷人的问题。两个相邻质数之间的差，小的时候可以很小——3和5之间差2，这是孪生质数；大的时候可以极大。原则上，质数间隙可以任意大：对于任何正整数N，从N! 2到N! N这连续N-1个数都是合数。这意味着你可以找到任意长的合数区间，夹在两个质数之间。

但那个“任意大”只是理论上的存在性。要具体找出某个大间隙出现在哪个质数旁边，是另一回事。迄今为止发现的最大质数间隙——1550——出现在一个已知的质数附近。这个数据是公开的，甚至可以在网上查到。这个人告诉她不要搜索，意思是他想测试的是她的计算能力，不是她的搜索能力。

但她没有搜索。

因为她从这封信的笔迹和措辞中感觉到了一种奇怪的东西。

顾辰微拿起了笔。

她先确定了方法。质数间隙1550意味着存在一个连续的合数区间，长度为1550。根据素数定理，在某个数x附近，质数的平均间隔大约是ln(x)。令ln(x) ≈ 1550，那么x大约在e^1550附近。这是一个天文数字，远远超出任何计算机的暴力搜索范围。但那个匿名寄件人说这道题是可解的，意味着它有一个精巧的路径，不需要暴力搜索。

她开始在白板上推导。

第一个思路：要找到长度为1550的合数区间，传统方法是构造阶乘。对于任意n，区间[n! 2, n! n]中的每个数都能被2到n之间的某个数整除。要得到长度为1550的区间，只需要取n=1551，那么从1551! 2到1551! 1551全是合数。但这不一定是最小的长度为1550的合数区间，而那个1550的质数间隙很可能发生在更小的数附近。问题问的是“迄今为止发现的最大质数间隙”，不是理论上的最小构造，而是实际被发现的那个具体位置。

这意味着答案可能是一个已经被计算出来的、已知的数字。但那个人不让她搜索，意思是希望她用数学工具自己推导出来——至少推导出足够接近的结果，然后再根据已有文献定位到具体的质数。

第二个思路：质数间隙的精确位置往往与质数计数函数的波动有关。黎曼ζ函数的非平凡零点会影响质数分布的局部密度。在某个零点附近，质数密度会偏离平均值，导致间隙异常扩大。1550这个数字——为什么要选1550？不是1000，不是2000，而是1550。这个数字本身可能是一个线索。

1550除以2是775。1550除以5是310。1550除以31是50。1550的质因数分解是2×5?×31。31是质数，而且是那个著名的梅森质数2^5-1。但这看起来没什么特别的。

也许1550不是随机选的。也许这个数字与某个已知的数学常数或特殊质数有关。

顾辰微把1550写在白板中央，然后向四周辐射。她写出了质数间隙的已知数列——OEIS中的A005250和A002386，她凭记忆写出了前几项：间隙1对应质数2，间隙2对应质数3，间隙4对应质数7，间隙6对应质数23，间隙8对应质数89，间隙14对应质数113，间隙18对应质数523，间隙20对应质数887，间隙22对应质数1129，间隙34对应质数1327，间隙36对应质数9551，间隙44对应质数15683，间隙52对应质数19609，间隙72对应质数31397，间隙86对应质数155921，间隙96对应质数360653，间隙112对应质数370261，间隙114对应质数492113，间隙118对应质数1349533，间隙132对应质数1357201，间隙148对应质数2010733，间隙154对应质数4652353，间隙180对应质数17051707，间隙210对应质数20831323，间隙220对应质数47326693，间隙222对应质数122164747，间隙234对应质数189695659，间隙248对应质数191912783，间隙250对应质数387096133，间隙282对应质数436273009，间隙288对应质数1294268491，间隙292对应质数1453168141，间隙320对应质数2300942549，间隙336对应质数3842610773，间隙354对应质数4302407359，间隙382对应质数10726904659，间隙384对应质数20678048297，间隙394对应质数22367084959，间隙456对应质数25056082087，间隙464对应质数42652618343，间隙468对应质数127976334671，间隙474对应质数182226896239，间隙486对应质数241160624143，间隙490对应质数297501075799，间隙500对应质数303371455241，间隙514对应质数304599508537，间隙516对应质数416608695821，间隙532对应质数461690510011，间隙534对应质数614487453523，间隙540对应质数738832927927，间隙582对应质数1346294310749，间隙588对应质数1408695493609，间隙602对应质数1968188556461，间隙652对应质数2614941710599，间隙674对应质数7177162611713，间隙716对应质数13829048559701，间隙766对应质数19581334192423，间隙778对应质数42842283925351，间隙804对应质数90874329411493，间隙806对应质数171231342420521，间隙906对应质数218209405436543，间隙916对应质数1189459969825483，间隙924对应质数1686994940955803，间隙1132对应质数1693182318746371，间隙1184对应质数43841547845541059，间隙1198对应质数55350776431903243，间隙1220对应质数80873624627234849，间隙1228对应质数203986478517455989，间隙1232对应质数218034721194214273，间隙1270对应质数305405826521087869，间隙1300对应质数352521223451364323，间隙1340对应质数401429925999153707，间隙1382对应质数418032645936712127，间隙1444对应质数804212830686677669，间隙1460对应质数1425172824437691413，间隙1498对应质数5733241593241191019，间隙1522对应质数6787988999659997797，间隙1532对应质数28453725448354101407，间隙1540对应质数41919272847440952433。

她停下来，盯着最后一行。间隙1540对应质数41919272847440952433。但那个人说的是1550，比1540大10。也就是说，这个1550的间隙比已知的最大间隙还要大，或者她记忆中的这个序列可能已经过时了。那个人的问题说的是“迄今为止发现的最大质数间隙”，如果她的记忆是准确的，那么最大应该是1540，不是1550。但1550出现在问题中，意味着要么这个记忆已经过时了——质数间隙的记录被刷新到了1550——要么这个人给出的数字是一个陷阱，一个需要被验证的数字。

她不确定是哪一个。但她意识到，继续依赖记忆是没有意义的。这道题的真正解法不在这里。

她重新读了一遍那封信。

“不要搜索。你只有一次机会。”

“一次机会”意味着什么？意味着如果她写错了答案，她不会收到下一封信。这意味着写信的人期待的是一个精确的数字——一个确切的整数。那个人想要知道她是否能够把这个数字算出来，或者从数学原理中推导出来。

但如果没有搜索，她怎么可能知道一个被记录在文献中的具体质数？除非...

除非答案不需要搜索。除非答案可以从数学本身推导出来，而1550这个数字不是随机的——它是某条数学公式的直接输出。

顾辰微站起来，走到窗边。苏黎世的夜景在她的脚下铺展开来，灯火的分布像某种分形，远处的湖面反射着零零散散的微光。

她把白板上的内容全部擦掉，只留下正中央的“1550”。

然后她写下了一个新的公式：π(x) ~ li(x)。

质数计数函数π(x)的对数积分近似。当x非常大时，质数的平均密度大约是1/ln(x)。但局部密度可以偏离平均值，这种偏离由黎曼ζ函数的零点主导。如果一个人想要构造一个特定的、长度精确为1550的质数间隙，他可能不是在随机寻找，而是通过某种特定的构造方式——比如从某个已知的数学结构出发，比如某种椭圆曲线，或者某种特殊形式的质数。

特殊形式的质数。比如梅森质数——2^p-1的形式。目前已知的最大质数大多是梅森质数，因为卢卡斯-莱默检验法让验证它们相对容易。但质数间隙通常不会和梅森质数直接相关，因为梅森质数之间相隔很远。

也许1550和某个著名的数学常数有关？π的前几位是3.14159... 不。e的前几位是2.71828... 不。也许它是某个数的平方减去某个数？39^2=1521，40^2=1600，1550在两者之间。39×40=1560，1550比它少10。

1550 = 2×5?×31。31是一个梅森质数的指数——2^5-1=31。这会不会是某种自指？1550的质因数分解中包含了31，而31本身是2^5-1，而2和5又是1550的质因数。这种嵌套结构让人想起一种特殊的数学对象：坎托尔集。在坎托尔集的三进制表示中，去掉所有包含1的数字，留下的数字的测度为零，但它的基数仍然是连续统。1550的三进制是什么？她心算了一下：3^6=729，3^7=2187，所以三进制是七位数。1550÷729=2余92，92÷243=0余92，92÷81=1余11，11÷27=0余11，11÷9=1余2，2÷3=0余2，2÷1=2。所以三进制是2010102。这个序列中出现了三个1。没有特别的意义。

三进制中出现了三个1。三个1，加上之前的那些数字，也许可以组合成某个坐标？或者某个索引值？

顾辰微突然停住了。

她看向白板上那些零散的数字，目光停留在1550和三进制表示“2010102”之间。然后她的视线移回到信上的那行小字——“已验算”三个字。她在想，写下这三个字的人，到底验算的是什么。

也许不是这个质数间隙本身。也许那个人在验算的是整个序列的规律。也许这张纸只是整个系统的一部分，1550不是一个结果，而是一个索引，指向某个更大的结构中特定位置的数字。

而“已验算”旁边为什么没有写下答案？是什么打断了那个人？

顾辰微没有注意到，办公室里冷白色的灯光开始以不易察觉的频率闪烁。每闪一次，她的白板上就多出一个本不该存在的数字。当她终于抬起头时，镜面般的白板上已经悄悄浮现出一行水印般的字迹，像是有人从背面用极细的笔写上去的：

第47个。你还有两次机会。

她盯着这行字看了几秒钟，然后伸手去擦。水渍没有消失，反而在手指触碰的瞬间渗入了白板的表面，像墨水落入水中，扩散成一个近似于圆形的、边缘模糊的图案。

这个图案的外缘，精确地显示着一个数字。

她认识这个数字。任何一个数论学家都认识。它不是质数间隙的记录，不是1550，不是任何与她正在计算的题目直接相关的东西。

它是一段频率。

299792458。

顾辰微的手指停在半空。这是真空中光速的数值，单位是米每秒。但这个数字在这里没有意义——她计算的是质数，不是物理常数。除非有人想要告诉她，她正在处理的问题不是一个纯数学问题，而是一个已经溢出到物理世界的问题。

她把手放下来，拿起了那封信。在顶灯的照射下，她第一次注意到纸张的纤维里有极细极细的银色线条，像是金属丝被压入了纸浆之中。这些线条在普通光线下几乎看不见，但当她把信纸侧过来时，它们组成了一个图案——不是文字，不是公式，而是一个图。

像是一张地图。

或者说，像是两条平行线之间，以某种固定的频率，扭曲缠绕的轨迹。

---

她拿起笔，在信封的背面写了一个数字。不是答案，而是一个问题：

你是谁？

然后她关掉白板灯，拿起大衣，走出了数学研究所的大楼。苏黎世的夜风很冷，湖面上的光点像某种离散的、不均匀分布的函数值，在无穷远的黑暗背景上闪烁。