第372章 彻底证明！（加更）
（ps：之前请假还欠一章好像一直还没补，上一章剧情卡著的话大大们应该会很难受，今天乾脆补上加更，而且3300字，很有诚意了吧。大大们知道怎么做吧。然后恢復礼物加更，具体看文末作者说）
11月9日，下午三点。
徐辰推开ihes那间办公室的门时，拉福格已经站在白板前了。
窗外的巴黎下著秋雨，光线昏沉。
办公室里，没有开弔灯，只有桌上的檯灯亮著。那圈昏黄的光晕落在白板上，像是在等待著什么东西被写下来。
两人都没有说话。
也不需要说话。
他们都知道，今天就是决战。
……
拉福格深吸了一口气，拿起了黑色的马克笔。
他將这一个月来，在无数个深夜里换来的一切——自守表示的谱分解、跡公式的精细展开、欧拉乘积的绝对收敛条件——毫无保留地铺陈在了白板的左半边。
黑色的字跡苍劲而厚重。
那是三十年的积累，一笔一划地落在了今天这块白板上。
徐辰拿起了蓝色的马克笔，將他的底层构造——测试卷积核Φ_n的局部分量、schramm-loewner演化的软化投影、那个在cern的灵光一现中诞生的“对称摺叠算子“——写在了白板的右半边。
蓝色的字符尖锐而有力，带著毫不掩饰的锋芒。
一黑一蓝，两人从白板的两端，开始向中央那片空白逼近。
……
这个过程，令人窒息。
因为这两个模块，是在过去整整一个月的时间里，由两个人在完全分开的空间里、独立推导完成的。
虽然之前进行过一次接口调试，虽然那三个漏洞已经被一一修补，但那次调试只是局部的、基於边界条件的校验。
今天，他们要进行的，是全局的、底层的逻辑咬合。
如果在这最后的对接中，有某个极其隱蔽的、隱藏在数百行推导最深处的底层假设，悄悄地、以某种不可察觉的方式產生了错位——
比如，拉福格在跡公式的谱展开中使用的某个局部测度归一化，和徐辰在对称摺叠算子中使用的全局共軛约定，差了一个微小的共軛符號——
整个证明就会在最后这一步，轰然坍塌。
……
在数学史上，这种“倒在最后一毫米”的悲剧，简直数不胜数。
最著名的例子，莫过於当年安德鲁·怀尔斯在证明费马大定理时的那次“世纪大翻车”。
1993年，怀尔斯在剑桥大学做了一连三天的报告，向全世界宣布他证明了费马大定理。整个数学界为之沸腾。然而，就在几个月后的同行评审阶段，审稿人发现，他在处理“科利瓦金-弗莱切欧拉系统”时，有一个微小的上界估计出现了逻辑断层。
就因为这一个微小的裂缝，整个长达两百页的证明瞬间崩塌！
怀尔斯被迫闭关了整整一年，经歷了无数次绝望的尝试，甚至一度想要放弃，最后才在学生理察·泰勒的帮助下，十分惊险地补上了这个漏洞。
如果当年怀尔斯没能补上那个漏洞，那他之前七年的心血，虽然也能拆分出几篇关於“椭圆曲线”和“伽罗瓦表示”的顶级论文，甚至能在《数学年刊》上发个两三篇，拿到一些学术声望。
但那又怎样？
在“费马大定理”这座终极圣杯麵前，那些零碎的成果，不过是失败者留下的几块垫脚石罢了。
他將永远失去那个在数学史上封神的机会。
……
而现在，徐辰和拉福格面临的局面，比怀尔斯更复杂。
怀尔斯的证明，是在同一套代数几何的语言框架內完成的。而他们两人试图缝合的，是整体调和分析与底层算术投影这两个语言体系截然不同的理论宇宙。
如果今天咬合失败——
那这一个月来两人的全部推导，虽然也能整理成若干篇关於“自守表示谱分解“和“测试卷积核局部构造“的顶级论文，发在《数学年刊》或《数学新进展》上，算是体面的成果。
但这对於志在用朗兰兹纲领彻底终结哥德巴赫猜想的两人来说，与彻底失败毫无区別。
……
唰……
唰……
办公室里，只有两支马克笔摩擦白板的沙沙声。
拉福格的手在微微颤抖。不是因为害怕，而是因为某种极度压抑的激动，无法被老去的身体完全容纳。
徐辰的眼神冷冽，他甚至已经感觉不到自己的心跳，大脑以一种接近超频的速度，在每一个符號落下之前，完成了亿万次的预验算。
两人的笔尖，在白板中央的无形交界线上，越来越近。
十厘米。
五厘米。
……
人们总喜欢神化这些巔峰时刻，赋予它们神諭般的色彩。
但在当下，参与其中的人往往感受不到半点荣耀，只有极度的紧张，以及对逻辑链条断裂的本能恐惧。
1799年，22岁的高斯在布伦瑞克的狭小房间里写下代数基本定理的初稿时，他正因为贫困和学业压力而焦虑得整夜失眠；1915年，爱因斯坦在柏林敲定广义相对论引力方程的最后一步，他正处於由於长期高强度思考导致的严重胃痉挛中，是忍著剧痛、趴在桌上完成的最后计算；1931年，哥德尔在维也纳咖啡馆的角落里写下不完备性定理时，周遭充斥著劣质菸草味和嘈杂的谈笑声，而他本人正陷入对逻辑確定性丧失的深刻抑鬱里。
真理从不爱华丽的舞台，它往往诞生於最狼狈、最疲惫、最安静的时刻。
……
终於，拉福格写下了整体跡公式左翼的最后一行黑色符號：
∑_π m(π)npπ_p(Φ{n，p})
徐辰將底层几何映射右翼的最后一行蓝色符號写完：
∫_{gl(2，?)gl(2，a)} k_Φ(x，x) dx
两人，同时停笔。
……
死寂。
他们退后了两步。
白板正中央，留著那道微小的空白，那是两套庞大理论体系最终咬合的锚点，也是那个决定一切的等號將要落下的地方。
无数个参数，无数个维度，无数个从不同方向推导出的隱含约束，此刻全部压缩在了这个不到两厘米宽的空白里。
十秒。
二十秒。
徐辰没有动，拉福格也没有动。
两人的目光都死死地盯著那道空白，大脑中正以极其高速的状態，在最后一次对所有对接条件进行著全局验算。
左边的局部非负性，传递至右边的精確计数……条件满足。
右边的绝对收敛性，传递至左边的欧拉乘积……条件满足。
两边在无穷远处的阿基米德分量，对称摺叠算子介入后的相位……完全相消。
无穷多个有限素数处的局部因子，通过限制张量积完成了拼接……无奇点，无发散。
……
然后。
拉福格的手重新举起了黑色的马克笔。
徐辰的手重新举起了蓝色的马克笔。
两支笔，在白板的正中央，以一种无声的力道，同时写下了那个等號。
黑色与蓝色，在等號的两端，完成了那次碰撞。
∫_{gl(2，?)gl(2，a)} k_Φ(x，x) dx =∑_π m(π)npπ_p(Φ{n，p})＞ 0
即：r(n)＞ 0。
……
两条从不同数学宇宙出发的宏大隧道，在这一刻，完美咬合。
没有一丝偏差。
没有一毫错位。
左边的严格大於零，通过那个等號，毫无阻碍地流入了右边。
这行公式，是整个证明的终极宣言。
它的左边，是跡公式的几何侧，精確地计数了偶数n被表示为两个素数之和的方法数r(n)；它的右边，是跡公式的谱侧，是所有自守表示对测试核Φ_n贡献的总和。
由於Φ_n被构造成一个严格正定的算子，其谱侧的总贡献严格大於零。
所以，r(n)也严格大於零。
这意味著，对於任意大於等於4的偶数 n，將其表示为两个素数之和的方法数，永远不会是零！
至此，那座横亘在人类数学史上长达两个半世纪的极道天堑，被彻底跨越。
哥德巴赫猜想，成立！
……
公元1742年，普鲁士数学家克里斯蒂安·哥德巴赫，在写给欧拉的一封信中，用潦草的笔跡隨手写下了一行猜测。
他不会想到，这个看似平平无奇的念头，竟会化作一道横亘在人类智慧面前长达两个半世纪的深渊，吸引著一代又一代最顶尖的大脑，前赴后继地投入其中。
欧拉，这位数学之神，面对这个猜想，也只能无奈地承认：“我无法证明它，但我坚信它是对的。”
高斯，这位被誉为“数学王子”的绝代天才，在自己的日记中也曾多次尝试，最终也只能望而却步。
哈代与李特尔伍德，用他们发明的“圆法”，第一次为这个问题带来了分析的曙光，却倒在了误差项的混沌反扑之下。
维诺格拉多夫，用他精妙的三角和估计，惊险地证明了“弱哥德巴赫猜想”，却始终无法触及那最后的“强猜想”王冠。
陈景润，用他那堪称“人力算力极限”的筛法，在十分简陋的条件下，硬生生地啃下了“1+2”这块硬骨头，將人类的认知推向了前所未有的高度，却也止步於此。
从解析数论到代数几何，从筛法到圆法，从计算机的暴力穷举到朗兰兹纲领的宏大构想……
几代人，几百年。
无数的数学家，用他们的智慧、青春甚至生命，为这座通天塔添砖加瓦，却始终无法看到它的顶端。
而今天。
在这间位於巴黎南郊的安静的办公室里。
这条跨越了284年的漫长远征，终於抵达了终点。
……
两人都没有动。
也没有说话。
窗外，雨已经停了。一缕微弱的秋日阳光，在厚重的云层中找到了一道裂缝，斜斜地落在白板上，落在那行黑色与蓝色共同拼成的最终等式上。
拉福格缓缓地放下了笔。
他取下老花镜，像往常擦拭它那样，用那块绒布轻轻地、仔细地擦拭著镜片。
那个动作十分普通且日常，仿佛刚刚发生的一切，不过是一个寻常的下午。
过了很久，他才抬起头，转向身旁的徐辰。
他的眼眶微微泛红，但眼神格外平静。
那是一种只有当一个人在某件事上耗尽了一生，然后终於在最后的时刻看到了它完成的瞬间，才会有的平静。
他开口了。
声音很轻。
像是在说给徐辰听，又像是在说给那些写满了这间办公室书架的、那些已经泛黄的文献听，更像是在说给1742年的那封信听。
“徐辰，我们……做到了。”
……