“不过你们的华国人比较例外，你们的团队通常都只接纳自己国家的学者，很少会有外来学者进入你们的研究团队。”
听到这话，韩川笑了下。
这话说的倒也没毛病。
真要说，最团结的是国人，但...
曼努埃尔·席尔瓦的手指悬在鼠标左键上方，迟迟没有点下“下载PDF”的按钮。屏幕幽蓝的光映在他瞳孔里，像两小片未被驯服的冰湖。他下意识摸向床头柜上那杯早已凉透的咖啡，指尖触到杯壁时才发觉自己正微微发抖。
不是因为冷。
是因为他忽然意识到——自己正站在数学史某条隐秘岔路口的入口，而门缝里漏出来的光，刺得人睁不开眼。
他闭了闭眼，再睁开时迅速切回Arxiv首页，在搜索栏输入“Han Chuan”+“Vinogradov”+“minor arc”，回车。三秒钟后，页面弹出六篇结果。最上面那篇，正是半年前轰动解析数论圈的《一种重构维诺格拉多夫圆法中八角和估计的误差控制方法》，发表于《Journal of the American Mathematical Society》第36卷第4期，引用量已破127——对一篇纯理论工具型论文而言，这几乎是爆炸级的数据。
他点开这篇旧文的参考文献页，逐行扫过。在第18条引用处顿住：*H. Chen, “On the uniform convergence of exponential sums over short intervals”, Acta Arith. 192 (2020), 301–326.*
——那是韩川本科毕业论文的扩展版，发表时年仅21岁。
埃尔席猛地坐直身体，脊椎骨节发出轻微咔响。他调出自己电脑里存着的导师伦纳德教授手写讲义扫描件，翻到第七讲《圆法的现代困境》。泛黄纸页边缘有导师用红笔批注的一段话：“……若能建立某种双尺度衰减机制，使主弧贡献可控、劣弧振荡可压，则哥德巴赫之‘三素数定理’瓶颈或可突破。惜乎现有框架缺乏内嵌稳定性结构——除非有人能造出数学意义上的‘串级滤波器’。”
他盯着“串级滤波器”四个字，喉结上下滚动了一下。
窗外，普林斯顿初冬的夜风撞上玻璃，发出细碎声响。远处传来救护车由远及近又远去的鸣笛，像一段被拉长的、不协和的音阶。
埃尔席终于点下下载键。
PDF加载完成。他跳过摘要，直接翻到第37页——那里是全文第一个定义框：
**定义3.12（双层控制列）**
设$ \mathcal{C}_1 = \{c_{1,n}\}_{n\in\mathbb{N}} $与$ \mathcal{C}_2 = \{c_{2,n}\}_{n\in\mathbb{N}} $为两个正项单调递减序列，满足：
(i) $ \sum_{n=1}^\infty c_{1,n} < \infty $，且$ \lim_{n\to\infty} n \cdot c_{1,n} = 0 $；
(ii) $ \sum_{n=1}^\infty c_{2,n} = \infty $，但$ \sum_{n=1}^\infty c_{2,n}^2 < \infty $；
(iii) 对任意$ \varepsilon > 0 $，存在$ N_\varepsilon $，使得当$ n > N_\varepsilon $时，$ c_{2,n} < \varepsilon \cdot c_{1,n} $。
称$ (\mathcal{C}_1,\mathcal{C}_2) $构成一个双层控制列，记作$ \mathbf{DC} $。
埃尔席的呼吸停滞了半秒。
这不是什么玄学比喻。这是真真切切的、可计算、可验证、可嵌入任何Fourier分析框架的数学对象！它把工程学里“快慢回路”的思想翻译成了严格的序列收敛性条件——而第三条(iii)正是整个结构的精魂：外层慢变序列始终被内层快变序列压制，如同舵面微调始终包裹在主翼大角度偏转的包络线之内。
他手指发颤地往下拖动页面，停在第52页引理4.8：
**引理4.8（劣弧能量压缩定理）**
设$ S(\alpha) = \sum_{p\leq X} e^{2\pi i \alpha p} $为素数指数和，$ \mathfrak{m} $为标准劣弧集合。则对任意$ \mathbf{DC} = (\mathcal{C}_1,\mathcal{C}_2) $，存在常数$ C > 0 $，使得
$$
\int_{\mathfrak{m}} |S(\alpha)|^3 d\alpha \leq C \cdot X^2 \cdot \left( \sum_{n=1}^\infty c_{1,n} \right)^{\frac{1}{2}} \cdot \left( \sum_{n=1}^\infty c_{2,n}^2 \right)^{\frac{1}{2}}.
$$
这个不等式右边……没有$ \log $因子！没有$ \log\log $！甚至没有$ \log^A $！
埃尔席的太阳穴突突直跳。他抓起手边的草稿纸，飞速写下维诺格拉多夫原始估计：$ \int_{\mathfrak{m}} |S(\alpha)|^3 d\alpha \ll X^2 (\log X)^{-A} $。A是某个正数，但永远卡在$ \frac{1}{3} $以下——这正是三素数定理无法升级为弱哥猜的致命软肋。
而眼前这个新估计……右边是$ X^2 $乘以两个收敛级数的几何平均！只要选一组满足条件的$ \mathcal{C}_1 $、$ \mathcal{C}_2 $，比如$ c_{1,n}=n^{-2} $、$ c_{2,n}=n^{-\frac{3}{2}} $，那么整个上界就坍缩成$ O(X^2) $——干净利落，不带任何对数污染。
他猛地从椅子上弹起来，冲到书架前抽出一本蒙尘的《Additive Number Theory: The Classical Bases》。翻到第217页，手指划过哈代-李特尔伍德圆法的标准推导流程，最终停在那个决定命运的积分分割点：主弧需贡献至少$ \frac{1}{2}X^2 $量级，劣弧必须压到$ o(X^2) $才能保证总和为正。
现在，劣弧被压到了$ O(X^2) $——但前面那个常数$ C $呢？他疯狂翻回论文第63页，找到定理5.1的证明末尾：
> “取$ \mathcal{C}_1 = \{n^{-2}\} $，$ \mathcal{C}_2 = \{n^{-\frac{3}{2}}\} $，经数值验证，对应常数$ C = 0.987 < 1 $。故$ \int_{\mathfrak{m}} |S(\alpha)|^3 d\alpha < 0.99 X^2 $，而主弧贡献$ > 1.01 X^2 $，二者之差严格大于零。”
埃尔席盯着“0.987 < 1”这行小字，仿佛被闪电劈中天灵盖。
他踉跄着扑回电脑前，打开Mathematica新建文档，输入：
`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}}\} $。易见……”
窗外，阳光已彻底漫过窗台，将整张书桌染成暖金色。那叠打印稿静静躺在《工程控制论》与《代数几何原理》之间，纸页边缘在光线下近乎透明，仿佛随时会升腾而起，化作无数个携带严格证明的光点，飞向所有等待被照亮的角落。