90书院(90shuyuan.com)更新快,无弹窗!
谕般的色彩。
但在当下,参与其中的人往往感受不到半点荣耀,只有极度的紧张,以及对逻辑链条断裂的本能恐惧。
1799年,22岁的高斯在布伦瑞克的狭小房间里写下代数基本定理的初稿时,他正因为贫困和学业压力而焦虑得整夜失眠;1915年,爱因斯坦在柏林敲定广义相对论引力方程的最后一步,他正处于由于长期高强度思考导致的严重胃痉挛中,是忍着剧痛丶趴在桌上完成的最后计算;1931年,哥德尔在维也纳咖啡馆的角落里写下不完备性定理时,周遭充斥着劣质菸草味和嘈杂的谈笑声,而他本人正陷入对逻辑确定性丧失的深刻抑郁里。
真理从不爱华丽的舞台,它往往诞生于最狼狈丶最疲惫丶最安静的时刻。
……
终于,拉福格写下了整体迹公式左翼的最后一行黑色符号:
∑_πm(π)∏pπ_p(Φ{N,p})
徐辰将底层几何映射右翼的最后一行蓝色符号写完:
∫_{GL(2,?)GL(2,A)}K_Φ(x,x)dx
两人,同时停笔。
……
死寂。
他们退后了两步。
白板正中央,留着那道微小的空白,那是两套庞大理论体系最终咬合的锚点,也是那个决定一切的等号将要落下的地方。
无数个参数,无数个维度,无数个从不同方向推导出的隐含约束,此刻全部压缩在了这个不到两厘米宽的空白里。
十秒。
二十秒。
徐辰没有动,拉福格也没有动。
两人的目光都死死地盯着那道空白,大脑中正以极其高速的状态,在最后一次对所有对接条件进行着全局验算。
左边的局部非负性,传递至右边的精确计数……条件满足。
右边的绝对收敛性,传递至左边的欧拉乘积……条件满足。
两边在无穷远处的阿基米德分量,对称摺叠算子介入后的相位……完全相消。
无穷多个有限素数处的局部因子,通过限制张量积完成了拼接……无奇点,无发散。
……
然后。
拉福格的手重新举起了黑色的马克笔。
徐辰的手重新举起了蓝色的马克笔。
两支笔,在白板的正中央,以一种无声的力道,同时写下了那个等号。
黑色与蓝色,在等号的两端,完成了那次碰撞。
∫_{GL(2,?)GL(2,A)}K_Φ(x,x)dx=∑_πm(π)∏pπ_p(Φ{N,p})>0
即:r(N)>0。
……
两条从不同数学宇宙出发的宏大隧道,在这一刻,完美咬合。
没有一丝偏差。
没有一毫错位。
左边的严格大于零,通过那个等号,毫无阻碍地流入了右边。
这行公式,是整个证明的终极宣言。
它的左边,是迹公式的几何侧,精确地计数了偶数N被表示为两个素数之和的方法数r(N);它的右边,是迹公式的谱侧,是所有自守表示对测试核Φ_N贡献的总和。
由于Φ_N被构造成一个严格正定的算子,其谱侧的总贡献严格大于零。
所以,r(N)也严格大于零。
这意味着,对于任意大于等于4的偶数N,将其表示为两个素数之和的方法数,永远不会是零!
至此,那座横亘在人类数学史上长达两个半世纪的极道天堑,被彻底跨越。
哥德巴赫猜想,成立!
……
公元1742年,普鲁士数学家克里斯蒂安·哥德巴赫,在写给欧拉的一封信中,用潦草的笔迹随手写下了一行猜测。
他不会想到,这个看似平平无奇的念头,竟会化作一道横亘在人类智慧面前长达两个半世纪的深渊,吸引着一代又一代最顶尖的大脑,前赴后继地投入其中。
欧拉,这位数学之神,面对这个猜想,也只能无奈地承认:「我无法证明它,但我坚信它是对的。」
高斯,这位被誉为「数学王子」的绝代天才,在自己的日记中也曾多次尝试,最终也只能望而却步。
哈代与李特尔伍德,用他们发明的「圆法」,第一次为这个问题带来了分析的曙光,却倒在了误差项的混沌反扑之下。
维诺格拉多夫,用他精妙的三角和估计,惊险地证明了「弱哥德巴赫猜想」,却始终无法触及那最后的「强猜想」王冠。
陈景润,用他那堪称「人力算力极限」的筛法,在十分简陋的条件下,硬生生地啃下了「1+2」这块硬骨头,将人类的认知推向了前所未有的高度,却也止步于此。
从解析数论到代数几何,从筛法到圆法,从计算机的暴力穷举到朗兰兹纲领的宏大构想……
几代人,几百年。
无数的数学家,用他们的智慧丶青春甚至生命,为这座通天塔添砖加瓦,却始终无法看到它的顶端。
而今天。
在这间位于巴黎南郊的安静的办公室里。
这条跨越了284年的漫长远征,终于抵达了终点。
……
两人都没有动。
也没有说话。
窗外,雨已经停了。一缕微弱的秋日阳光,在厚重的云层中找到了一道裂缝,斜斜地落在白板上,落在那行黑色与蓝色共同拼成的最终等式上。
拉福格缓缓地放下了笔。
他取下老花镜,像往常擦拭它那样,用那块绒布轻轻地丶仔细地擦拭着镜片。
那个动作十分普通且日常,仿佛刚刚发生的一切,不过是一个寻常的下午。
过了很久,他才抬起头,转向身旁的徐辰。
他的眼眶微微泛红,但眼神格外平静。
那是一种只有当一个人在某件事上耗尽了一生,然后终于在最后的时刻看到了它完成的瞬间,才会有的平静。
他开口了。
声音很轻。
像是在说给徐辰听,又像是在说给那些写满了这间办公室书架的丶那些已经泛黄的文献听,更像是在说给1742年的那封信听。
「徐辰,我们……做到了。」
……