`Sum[n^(-2), {n, 1, Infinity}] // N` → `1.64493`

`Sum[n^(-3), {n, 1, Infinity}] // N` → `1.20206`

再算几何平均：`Sqrt[1.64493 * 1.20206] // N` → `1.40968`

乘上系数0.987……1.391，仍小于1.414？不对，这不够！他额头沁出冷汗，手指颤抖着重新检查引理4.8的指数——等等，原文是 \left(\sum c_{1,n}\right)^{\frac{1}{2}} \cdot \left(\sum c_{2,n}^2\right)^{\frac{1}{2}} ！他刚才算错了 c_{2,n}^2 ！

`Sum[n^(-3), {n, 1, Infinity}]`是对的！因为 (n^{-\frac{3}{2}})^2 = n^{-3} ！

他重算：`Sqrt[1.64493 * 1.20206]`还是1.40968……但论文里写的常数是0.987？1.40968 × 0.987 ≈ 1.391，确实小于√2≈1.414！而主弧下界推导中需要的阈值正是√2！

他忽然想起什么，猛地拉开抽屉，翻出一张泛黄的演算纸——那是伦纳德教授去年在讨论班上随手写的估算：主弧最小可能贡献为 \frac{X^2}{\log^2 X} \times \frac{\pi^2}{6} \times \prod_{p>2}(1-\frac{1}{(p-1)^2}) ……不，这太复杂。他需要更直接的验证。

手指在键盘上敲出一行命令：

`NIntegrate[Abs[NSum[If[PrimeQ[p], Exp[2 Pi I a p], 0], {p, 2, 1000}]]^3, {a, 0.01, 0.99}, Method -> "AdaptiveQuasiMonteCarlo"]`

等待三秒，结果跳出：`3.721e5`。此时 X = 1000 ， X^2 = 1e6 ，比值0.372——远低于0.99！但这是数值实验，不能作数……等等，论文附录D里有更精密的数值验证表！

他翻到附录，瞳孔骤然收缩。

表D.3标题：《不同X值下劣弧积分上界与实际值对比》。当 X = 10^6 时，理论估计值为 0.987 \times 10^{12} \times 1.40968 = 1.391 \times 10^{12} ，而实际数值积分结果为 1.382 \times 10^{12} ——误差仅0.65%！而维诺格拉多夫经典估计在此尺度下给出的是 2.1 \times 10^{12} ，超了52%！

埃尔席慢慢靠回椅背，后颈抵着冰凉的木头靠背。房间里安静得能听见自己血液奔流的声音。他望着天花板，忽然无声地笑了起来，笑得肩膀都在抖。笑声在空荡的宿舍里撞出微弱回音，又迅速被黑暗吞没。

他点开邮件客户端，新建一封收件人为空的草稿，光标在主题栏闪烁。手指悬在键盘上方，却迟迟敲不出一个字。该写什么？“我刚刚读完一篇可能解决弱哥德巴赫猜想的论文”？不，太轻飘。该告诉导师？可伦纳德教授此刻正在京都参加国际数论大会，时差七小时。

他目光扫过桌角——那里压着一张泛黄的便签纸，是导师去年留下的。字迹凌厉有力：“真正的突破从不喧哗。它只是轻轻推开一扇门，而门后是整片你从未想象过的大陆。”

埃尔席深吸一口气，关掉邮件窗口。他打开Arxiv网页，点开论文下方的“Comments”区域，在空白处敲下第一行：

> “Remarkable framework. The DC structure elegantly resolves the minor arc bottleneck that has persisted since Vinogradov. Numerical verification in Appendix D is convincing. — M. Silva, Princeton”

敲下回车。光标闪烁，像一颗不肯熄灭的星。

他没署名全名，只留下姓氏与机构。这是学术圈心照不宣的仪式——当你在预印本下留下第一条评论，你就成了这道光最初的见证者之一。

窗外，普林斯顿的夜色正悄然退潮。东方天际线渗出极淡的灰白，像宣纸上洇开的第一滴墨。埃尔席没开灯，任那微光漫过书桌，漫过摊开的论文，漫过他指关节上未干的墨迹。

他知道，此刻在地球另一端的中国，某个青年刚结束十二小时的沉睡，正咬着面包喝甜牛奶；而就在他合上电脑屏幕的同一秒，全球至少还有七双眼睛正通过不同网络节点，同步点开那份名为《基于双层控制列框架下的奇数哥德巴赫猜想的证明》的PDF。

其中一双属于波恩大学的解析数论泰斗；一双属于剑桥克莱尔学院的退休教授；还有一双，属于东京大学某间地下室实验室里，正调试量子计算机的年轻研究员——他刚收到邮件提醒，说有人上传了“可能颠覆圆法基础”的新论文。

没有人知道，此刻静静躺在Arxiv服务器里的这份文件，会在七十二小时内引发多少次深夜会议、多少通越洋电话、多少杯泼洒在演算纸上的浓咖啡。更没人知道，当第一份正式评审意见抵达韩川邮箱时，附件里将夹着三十七个问题——而其中最尖锐的那个，会来自一位匿名评审人，他在第29问末尾写道：

> “作者声称双层控制列框架具有‘工程学直觉’。但数学证明拒绝直觉。请明确写出引理4.8中常数C=0.987的构造性证明过程，而非仅依赖数值验证。否则，该上界是否真正小于1，仍属未决。”

韩川看到这个问题时，会笑着合上电脑，转身走向阳台。晨光正一寸寸爬上他宿舍楼对面的梧桐树梢，叶片背面泛起柔润的银边。他掏出手机，点开与钱老先生书灵的对话框，输入：

“钱老，有个评审人问C=0.987怎么严格证出来……您当年搞导弹控制系统的时候，是不是也常被总工这么问？”

屏幕幽光微闪，《工程控制论》封面上缓缓浮现出一行字：

> “闭环系统稳定性的证明，从来不在纸上，而在试车台上。你心里清楚答案——只是还没把它翻译成数学家听得懂的语言。”

韩川仰头望天。云层裂开一道缝隙，阳光如熔金倾泻而下，烫得他眯起眼。他忽然想起昨夜睡前最后翻的那页《代数几何原理》，格罗滕迪克在脚注里写：“真正的严密性，是让最挑剔的怀疑者也无法在逻辑链上找到哪怕一个可以插入楔子的缝隙。”

他转身回屋，打开LaTeX文档，光标在引理4.8证明末尾闪烁。手指悬停片刻，终于落下：

“……因此存在绝对常数 C_0 < 1 ，使得……”

不，这样不行。

他删掉整行，重新输入：

“令 \Phi(t) = \int_0^t \frac{ds}{\log s} 为对数积分函数，定义辅助函数 \Psi(x) = x \cdot \exp\left(-\sqrt{\log x}\right) 。考虑序列 \mathcal{C}_1 = \{n^{-2} \Psi(n)\} ， \mathcal{C}_2 = \{n^{-\frac{3}{2}} \Psi(n)^{\frac{1}{2}}\} 。易见……”

窗外，阳光已彻底漫过窗台，将整张书桌染成暖金色。那叠打印稿静静躺在《工程控制论》与《代数几何原理》之间，纸页边缘在光线下近乎透明，仿佛随时会升腾而起，化作无数个携带严格证明的光点，飞向所有等待被照亮的角落。

广告位置下