第372章 彻底证明！（加更）（1 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
（ps：之前请假还欠一章好像一直还没补，上一章剧情卡著的话大大们应该会很难受，今天乾脆补上加更，而且3300字，很有诚意了吧。大大们知道怎么做吧。然后恢復礼物加更，具体看文末作者说）
11月9日，下午三点。
徐辰推开ihes那间办公室的门时，拉福格已经站在白板前了。
窗外的巴黎下著秋雨，光线昏沉。
办公室里，没有开弔灯，只有桌上的檯灯亮著。那圈昏黄的光晕落在白板上，像是在等待著什么东西被写下来。
两人都没有说话。
也不需要说话。
他们都知道，今天就是决战。
……
拉福格深吸了一口气，拿起了黑色的马克笔。
他將这一个月来，在无数个深夜里换来的一切——自守表示的谱分解、跡公式的精细展开、欧拉乘积的绝对收敛条件——毫无保留地铺陈在了白板的左半边。
黑色的字跡苍劲而厚重。
那是三十年的积累，一笔一划地落在了今天这块白板上。
徐辰拿起了蓝色的马克笔，將他的底层构造——测试卷积核Φ_n的局部分量、schra-loewner演化的软化投影、那个在的灵光一现中诞生的“对称摺叠算子“——写在了白板的右半边。
蓝色的字符尖锐而有力，带著毫不掩饰的锋芒。
一黑一蓝，两人从白板的两端，开始向中央那片空白逼近。
……
这个过程，令人窒息。
因为这两个模块，是在过去整整一个月的时间里，由两个人在完全分开的空间里、独立推导完成的。
虽然之前进行过一次接口调试，虽然那三个漏洞已经被一一修补，但那次调试只是局部的、基於边界条件的校验。
今天，他们要进行的，是全局的、底层的逻辑咬合。
如果在这最后的对接中，有某个极其隱蔽的、隱藏在数百行推导最深处的底层假设，悄悄地、以某种不可察觉的方式產生了错位——
比如，拉福格在跡公式的谱展开中使用的某个局部测度归一化，和徐辰在对称摺叠算子中使用的全局共軛约定，差了一个微小的共軛符號——
整个证明就会在最后这一步，轰然坍塌。
……
在数学史上，这种“倒在最后一毫米”的悲剧，简直数不胜数。
最著名的例子，莫过於当年安德鲁怀尔斯在证明费马大定理时的那次“世纪大翻车”。
1993年，怀尔斯在剑桥大学做了一连三天的报告，向全世界宣布他证明了费马大定理。整个数学界为之沸腾。然而，就在几个月后的同行评审阶段，审稿人发现，他在处理“科利瓦金-弗莱切欧拉系统”时，有一个微小的上界估计出现了逻辑断层。
就因为这一个微小的裂缝，整个长达两百页的证明瞬间崩塌！
怀尔斯被迫闭关了整整一年，经歷了无数次绝望的尝试，甚至一度想要放弃，最后才在学生理察泰勒的帮助下，十分惊险地补上了这个漏洞。
如果当年怀尔斯没能补上那个漏洞，那他之前七年的心血，虽然也能拆分出几篇关於“椭圆曲线”和“伽罗瓦表示”的顶级论文，甚至能在《数学年刊》上发个两三篇，拿到一些学术声望。
但那又怎样
在“费马大定理”这座终极圣杯麵前，那些零碎的成果，不过是失败者留下的几块垫脚石罢了。
他將永远失去那个在数学史上封神的机会。
……
而现在，徐辰和拉福格面临的局面，比怀尔斯更复杂。
怀尔斯的证明，是在同一套代数几何的语言框架內完成的。而他们两人试图缝合的，是整体调和分析与底层算术投影这两个语言体系截然不同的理论宇宙。
如果今天咬合失败——
那这一个月来两人的全部推导，虽然也能整理成若干篇关於“自守表示谱分解“和“测试卷积核局部构造“的顶级论文，发在《数学年刊》或《数学新进展》上，算是体面的成果。
但这对於志在用朗兰兹纲领彻底终结哥德巴赫猜想的两人来说，与彻底失败毫无区別。
……
唰……
唰……
办公室里，只有两支马克笔摩擦白板的沙沙声。
拉福格的手在微微颤抖。不是因为害怕，而是因为某种极度压抑的激动，无法被老去的身体完全容纳。
徐辰的眼神冷冽，他甚至已经感觉不到自己的心跳，大脑以一种接近超频的速度，在每一个符號落下之前，完成了亿万次的预验算。
两人的笔尖，在白板中央的无形交界线上，越来越近。
十厘米。
五厘米。
……
人们总喜欢神化这些巔峰时刻，赋予它们神諭般的色彩。
但在当下，参与其中的人往往感受不到半点荣耀，只有极度的紧张，以及对逻辑链条断裂的本能恐惧。
1799年，22岁的高斯在布伦瑞克的狭小房间里写下代数基本定理的初稿时，他正因为贫困和学业压力而焦虑得整夜失眠；1915年，爱因斯坦在柏林敲定广义相对论引力方程的最后一步，他正处於由於长期高强度思考导致的严重胃痉挛中，是忍著剧痛、趴在桌上完成的最后计算；1931年，哥德尔在维也纳咖啡馆的角落里写下不完备性定理时，周遭充斥著劣质菸草味和嘈杂的谈笑声，而他本人正陷入对逻辑確定性丧失的深刻抑鬱里。
真理从不爱华丽的舞台，它往往诞生於最狼狈、最疲惫、最安静的时刻。
……
终於，拉福格写下了整体跡公式左翼的最后一行黑色符號：
∑_πnpπ_p
徐辰將底层几何映射右翼的最后一行蓝色符號写完：
∫_{glgl}k_Φdx
两人，同时停笔。
……
↑返回顶部↑