第372章 徹底證明！（加更）
（ps：之前請假還欠一章好像一直還沒補，上一章劇情卡著的話大大們應該會很難受，今天乾脆補上加更，而且3300字，很有誠意了吧。大大們知道怎麼做吧。然後恢復禮物加更，具體看文末作者說）
11月9日，下午三點。
徐辰推開IHES那間辦公室的門時，拉福格已經站在白板前了。
窗外的巴黎下著秋雨，光線昏沉。
辦公室里，沒有開弔燈，只有桌上的檯燈亮著。那圈昏黃的光暈落在白板上，像是在等待著什麼東西被寫下來。
兩人都沒有說話。
也不需要說話。
他們都知道，今天就是決戰。
……
拉福格深吸了一口氣，拿起了黑色的馬克筆。
他將這一個月來，在無數個深夜裡換來的一切——自守表示的譜分解、跡公式的精細展開、歐拉乘積的絕對收斂條件——毫無保留地鋪陳在了白板的左半邊。
黑色的字跡蒼勁而厚重。
那是三十年的積累，一筆一划地落在了今天這塊白板上。
徐辰拿起了藍色的馬克筆，將他的底層構造——測試卷積核Φ_N的局部分量、Schramm-Loewner演化的軟化投影、那個在CERN的靈光一現中誕生的「對稱摺疊算子「——寫在了白板的右半邊。
藍色的字符尖銳而有力，帶著毫不掩飾的鋒芒。
一黑一藍，兩人從白板的兩端，開始向中央那片空白逼近。
……
這個過程，令人窒息。
因為這兩個模塊，是在過去整整一個月的時間裡，由兩個人在完全分開的空間裡、獨立推導完成的。
雖然之前進行過一次接口調試，雖然那三個漏洞已經被一一修補，但那次調試只是局部的、基於邊界條件的校驗。
今天，他們要進行的，是全局的、底層的邏輯咬合。
如果在這最後的對接中，有某個極其隱蔽的、隱藏在數百行推導最深處的底層假設，悄悄地、以某種不可察覺的方式產生了錯位——
比如，拉福格在跡公式的譜展開中使用的某個局部測度歸一化，和徐辰在對稱摺疊算子中使用的全局共軛約定，差了一個微小的共軛符號——
整個證明就會在最後這一步，轟然坍塌。
……
在數學史上，這種「倒在最後一毫米」的悲劇，簡直數不勝數。
最著名的例子，莫過於當年安德魯·懷爾斯在證明費馬大定理時的那次「世紀大翻車」。
1993年，懷爾斯在劍橋大學做了一連三天的報告，向全世界宣布他證明了費馬大定理。整個數學界為之沸騰。然而，就在幾個月後的同行評審階段，審稿人發現，他在處理「科利瓦金-弗萊切歐拉系統」時，有一個微小的上界估計出現了邏輯斷層。
就因為這一個微小的裂縫，整個長達兩百頁的證明瞬間崩塌！
懷爾斯被迫閉關了整整一年，經歷了無數次絕望的嘗試，甚至一度想要放棄，最後才在學生理察·泰勒的幫助下，十分驚險地補上了這個漏洞。
如果當年懷爾斯沒能補上那個漏洞，那他之前七年的心血，雖然也能拆分出幾篇關於「橢圓曲線」和「伽羅瓦表示」的頂級論文，甚至能在《數學年刊》上發個兩三篇，拿到一些學術聲望。
但那又怎樣？
在「費馬大定理」這座終極聖杯麵前，那些零碎的成果，不過是失敗者留下的幾塊墊腳石罷了。
他將永遠失去那個在數學史上封神的機會。
……
而現在，徐辰和拉福格面臨的局面，比懷爾斯更複雜。
懷爾斯的證明，是在同一套代數幾何的語言框架內完成的。而他們兩人試圖縫合的，是整體調和分析與底層算術投影這兩個語言體系截然不同的理論宇宙。
如果今天咬合失敗——
那這一個月來兩人的全部推導，雖然也能整理成若干篇關於「自守表示譜分解「和「測試卷積核局部構造「的頂級論文，發在《數學年刊》或《數學新進展》上，算是體面的成果。
但這對於志在用朗蘭茲綱領徹底終結哥德巴赫猜想的兩人來說，與徹底失敗毫無區別。
……
唰……
唰……
辦公室里，只有兩支馬克筆摩擦白板的沙沙聲。
拉福格的手在微微顫抖。不是因為害怕，而是因為某種極度壓抑的激動，無法被老去的身體完全容納。
徐辰的眼神冷冽，他甚至已經感覺不到自己的心跳，大腦以一種接近超頻的速度，在每一個符號落下之前，完成了億萬次的預驗算。
兩人的筆尖，在白板中央的無形交界線上，越來越近。
十厘米。
五厘米。
……
人們總喜歡神化這些巔峰時刻，賦予它們神諭般的色彩。
但在當下，參與其中的人往往感受不到半點榮耀，只有極度的緊張，以及對邏輯鏈條斷裂的本能恐懼。
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年的那封信聽。
「徐辰，我們……做到了。」
……
11月9日，下午三點。
徐辰推開IHES那間辦公室的門時，拉福格已經站在白板前了。
窗外的巴黎下著秋雨，光線昏沉。
辦公室里，沒有開弔燈，只有桌上的檯燈亮著。那圈昏黃的光暈落在白板上，像是在等待著什麼東西被寫下來。
兩人都沒有說話。
也不需要說話。
他們都知道，今天就是決戰。
……
拉福格深吸了一口氣，拿起了黑色的馬克筆。
他將這一個月來，在無數個深夜裡換來的一切——自守表示的譜分解、跡公式的精細展開、歐拉乘積的絕對收斂條件——毫無保留地鋪陳在了白板的左半邊。
黑色的字跡蒼勁而厚重。
那是三十年的積累，一筆一划地落在了今天這塊白板上。
徐辰拿起了藍色的馬克筆，將他的底層構造——測試卷積核Φ_N的局部分量、Schramm-Loewner演化的軟化投影、那個在CERN的靈光一現中誕生的「對稱摺疊算子「——寫在了白板的右半邊。
藍色的字符尖銳而有力，帶著毫不掩飾的鋒芒。
一黑一藍，兩人從白板的兩端，開始向中央那片空白逼近。
……
這個過程，令人窒息。
因為這兩個模塊，是在過去整整一個月的時間裡，由兩個人在完全分開的空間裡、獨立推導完成的。
雖然之前進行過一次接口調試，雖然那三個漏洞已經被一一修補，但那次調試只是局部的、基於邊界條件的校驗。
今天，他們要進行的，是全局的、底層的邏輯咬合。
如果在這最後的對接中，有某個極其隱蔽的、隱藏在數百行推導最深處的底層假設，悄悄地、以某種不可察覺的方式產生了錯位——
比如，拉福格在跡公式的譜展開中使用的某個局部測度歸一化，和徐辰在對稱摺疊算子中使用的全局共軛約定，差了一個微小的共軛符號——
整個證明就會在最後這一步，轟然坍塌。
……
在數學史上，這種「倒在最後一毫米」的悲劇，簡直數不勝數。
最著名的例子，莫過於當年安德魯·懷爾斯在證明費馬大定理時的那次「世紀大翻車」。
1993年，懷爾斯在劍橋大學做了一連三天的報告，向全世界宣布他證明了費馬大定理。整個數學界為之沸騰。然而，就在幾個月後的同行評審階段，審稿人發現，他在處理「科利瓦金-弗萊切歐拉系統」時，有一個微小的上界估計出現了邏輯斷層。
就因為這一個微小的裂縫，整個長達兩百頁的證明瞬間崩塌！
懷爾斯被迫閉關了整整一年，經歷了無數次絕望的嘗試，甚至一度想要放棄，最後才在學生理察·泰勒的幫助下，十分驚險地補上了這個漏洞。
如果當年懷爾斯沒能補上那個漏洞，那他之前七年的心血，雖然也能拆分出幾篇關於「橢圓曲線」和「伽羅瓦表示」的頂級論文，甚至能在《數學年刊》上發個兩三篇，拿到一些學術聲望。
但那又怎樣？
在「費馬大定理」這座終極聖杯麵前，那些零碎的成果，不過是失敗者留下的幾塊墊腳石罷了。
他將永遠失去那個在數學史上封神的機會。
……
而現在，徐辰和拉福格面臨的局面，比懷爾斯更複雜。
懷爾斯的證明，是在同一套代數幾何的語言框架內完成的。而他們兩人試圖縫合的，是整體調和分析與底層算術投影這兩個語言體系截然不同的理論宇宙。
如果今天咬合失敗——
那這一個月來兩人的全部推導，雖然也能整理成若干篇關於「自守表示譜分解「和「測試卷積核局部構造「的頂級論文，發在《數學年刊》或《數學新進展》上，算是體面的成果。
但這對於志在用朗蘭茲綱領徹底終結哥德巴赫猜想的兩人來說，與徹底失敗毫無區別。
……
唰……
唰……
辦公室里，只有兩支馬克筆摩擦白板的沙沙聲。
拉福格的手在微微顫抖。不是因為害怕，而是因為某種極度壓抑的激動，無法被老去的身體完全容納。
徐辰的眼神冷冽，他甚至已經感覺不到自己的心跳，大腦以一種接近超頻的速度，在每一個符號落下之前，完成了億萬次的預驗算。
兩人的筆尖，在白板中央的無形交界線上，越來越近。
十厘米。
五厘米。
……
人們總喜歡神化這些巔峰時刻，賦予它們神諭般的色彩。
但在當下，參與其中的人往往感受不到半點榮耀，只有極度的緊張，以及對邏輯鏈條斷裂的本能恐懼。
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年的那封信聽。
「徐辰，我們……做到了。」
……