第404章 ICM報告會 十一 彩蛋2
大約十五分鐘後，徐辰的筆尖突然停頓了一下。
他盯著白板上剛寫下的一行公式，眉頭微微皺了一下。
「臥槽，草率了……」
「這個局部因子在p=2的退化情況……計算量比我想像的大啊。」
徐辰在心裡暗罵了一句。
他之前在火車上推演的時候，對於p=2這種特殊素數的處理，只是粗略地估了個上界，並沒有嚴格展開。
當時在火車上，他正看著窗外瑞士的風景，把那部分當成「細節「跳過了，以為等真正上台的時候隨手就能填進去。
「隨手「。
好，現在就是「隨手「的代價。
p=2之所以特殊，是因為它是唯一的偶素數。在絕大多數的數論計算中，p=2都是一個極為煩人的「釘子戶「。因為它不滿足大多數奇素數才成立的美好性質，總是需要被單獨拎出來做特殊處理。
數論界有一句著名的話：「2是最奇怪的素數，因為它是唯一的偶數素數。」
而在「徐氏譜變換「的框架下，p=2處的局部分量退化行為，涉及到一個棘手的二次擴張上的範數映射問題。這個問題在哥猜版本中已經被處理過了，但由於相位逆轉的引入，退化行為發生了微妙的變化，需要重新展開計算。
現在要當著一千多人的面現場手搓，這個坑必須填上。
「媽的，牛皮都吹出去了，現在下不來台了啊……」
徐辰在心裡瘋狂吐槽，表面上卻依然保持著那副雲淡風輕的從容表情。
「算了，開掛吧。」
他在意識里默默地對系統說了一句:「使用專注膠囊。」
視野里，那些原本糾纏在一起的計算路徑，瞬間變得透明而清晰。
好了。
看清楚了。
原來是這裡。
「好，繼續!」
他重新握緊馬克筆，筆尖再次開始了瘋狂的輸出!
……
台下的觀眾們，看著白板上那些如同天書般的符號，徹底放棄了「試圖跟上「的念頭。
他們只能呆呆地看著台上那個年輕人的背影。
幾乎是在同一時間，主廳里悄然響起了一陣微弱的、此起彼伏的竊竊私語。
「這……這是人腦的計算速度嗎？」
「他連草稿都不打的？直接在白板上一氣呵成？」
「天哪，他剛才那一步，直接跳過了至少三層中間推導……我連跳過的是什麼都看不出來……」
……
前排。
孔采維奇坐在椅子上，嘴巴微微張著。
作為徐辰的第一位導師，他自認為是最了解徐辰能力邊界的人之一。
他知道徐辰出成果的速度快。那篇在答辯上被徐辰半小時內解決的課題，至今讓他心有餘悸。
但那次，他可以用「那道題的難度雖然高，但體量不算特別大「來安慰自己。
而此時此刻，徐辰在白板上現場手搓的，是一套需要覆蓋所有有限素數的局部分量修正、需要重新驗證無窮遠處阿基米德分量的收斂性、需要處理一大堆棘手的內窺鏡修正項的完整證明！
這種體量和難度的計算，哪怕是給他孔采維奇本人來做，巔峰時期的他至少也得關在辦公室里閉關個一周。
而徐辰，現在要在一千兩百人面前，在不到一個小時的時間裡，當場完成它。
「這小子……是真正的怪物啊。」
孔采維奇在心中輕嘆了一聲。他突然想起了自己年輕時第一次讀格羅滕迪克手稿時的感受——那種不是「這個人比我強「，而是「這個人和我不是同一個物種「的深刻震撼。
而現在，坐在台下看著徐辰板書的他，體驗到了當年的感覺。
……
拉福格坐在孔采維奇旁邊，同樣一言不發。
他的手指正微微顫抖。
作為和徐辰並肩作戰了整整一個月的人，拉福格太清楚這套框架的每一個細節了。他知道從「哥猜版本「修改到「孿生素數版本「，理論上需要做哪些調整，也知道那些調整中的每一步，都暗藏著怎樣的邏輯陷阱。
但台上的那個年輕人，似乎連這些陷阱的存在都感知不到。
他的筆尖越過它們的時候，甚至沒有絲毫的減速。
拉福格想起了一個月前，自己在深夜的書房裡被一個極點卡住三天三夜的經歷。他不得不發郵件向徐辰求助，而徐辰十分鐘後就回復了三行公式，輕描淡寫地解決了問題。
當時他以為那只是一個特例。
現在他才意識到，那不是特例。
那就是徐辰的常態。
……
時間在極度凝縮的板書中飛速流逝。
十分鐘。
二十分鐘。
白板的空間已經不夠用了。工作人員緊急又推上來了第二塊白板。
徐辰頭也不回地接過旁人遞來的新馬克筆，繼續在新白板上瘋狂輸出。
……
三十分鐘後。
徐辰的筆尖在第二塊白板的右下角，寫下了最後一行公式。
他停了一下，極其快速地從第一塊白板掃到第二塊白板，用三秒鐘的時間完成了最後的全局校驗。
確認無誤。
徐辰在心裡長長地吐出了一口氣。
「還好，沒翻車。」
……
然後，他放下了馬克筆。
轉過身。
面對著台下那一千兩百張因為極度震撼而近乎呆滯的面孔。
他收起馬克筆，甩了甩髮酸的手腕。
隨後語氣輕描淡寫，就像是在課堂上做完了一道課後習題。
「所以，正如我剛才所說的——」
「'徐氏譜變換'在將加法約束替換為距離約束後，局部分量的辛幾何相位發生逆轉，但全局的譜正定性依然嚴格成立。」
「因此……」
徐辰的目光掃過前排那些大佬們的臉，最後停留在了梅納德那張已經石化的面孔上。
「也就是說——」
「孿生素數猜想，成立。」
……
他盯著白板上剛寫下的一行公式，眉頭微微皺了一下。
「臥槽，草率了……」
「這個局部因子在p=2的退化情況……計算量比我想像的大啊。」
徐辰在心裡暗罵了一句。
他之前在火車上推演的時候，對於p=2這種特殊素數的處理，只是粗略地估了個上界，並沒有嚴格展開。
當時在火車上，他正看著窗外瑞士的風景，把那部分當成「細節「跳過了，以為等真正上台的時候隨手就能填進去。
「隨手「。
好，現在就是「隨手「的代價。
p=2之所以特殊，是因為它是唯一的偶素數。在絕大多數的數論計算中，p=2都是一個極為煩人的「釘子戶「。因為它不滿足大多數奇素數才成立的美好性質，總是需要被單獨拎出來做特殊處理。
數論界有一句著名的話：「2是最奇怪的素數，因為它是唯一的偶數素數。」
而在「徐氏譜變換「的框架下，p=2處的局部分量退化行為，涉及到一個棘手的二次擴張上的範數映射問題。這個問題在哥猜版本中已經被處理過了，但由於相位逆轉的引入，退化行為發生了微妙的變化，需要重新展開計算。
現在要當著一千多人的面現場手搓，這個坑必須填上。
「媽的，牛皮都吹出去了，現在下不來台了啊……」
徐辰在心裡瘋狂吐槽，表面上卻依然保持著那副雲淡風輕的從容表情。
「算了，開掛吧。」
他在意識里默默地對系統說了一句:「使用專注膠囊。」
視野里，那些原本糾纏在一起的計算路徑，瞬間變得透明而清晰。
好了。
看清楚了。
原來是這裡。
「好，繼續!」
他重新握緊馬克筆，筆尖再次開始了瘋狂的輸出!
……
台下的觀眾們，看著白板上那些如同天書般的符號，徹底放棄了「試圖跟上「的念頭。
他們只能呆呆地看著台上那個年輕人的背影。
幾乎是在同一時間，主廳里悄然響起了一陣微弱的、此起彼伏的竊竊私語。
「這……這是人腦的計算速度嗎？」
「他連草稿都不打的？直接在白板上一氣呵成？」
「天哪，他剛才那一步，直接跳過了至少三層中間推導……我連跳過的是什麼都看不出來……」
……
前排。
孔采維奇坐在椅子上，嘴巴微微張著。
作為徐辰的第一位導師，他自認為是最了解徐辰能力邊界的人之一。
他知道徐辰出成果的速度快。那篇在答辯上被徐辰半小時內解決的課題，至今讓他心有餘悸。
但那次，他可以用「那道題的難度雖然高，但體量不算特別大「來安慰自己。
而此時此刻，徐辰在白板上現場手搓的，是一套需要覆蓋所有有限素數的局部分量修正、需要重新驗證無窮遠處阿基米德分量的收斂性、需要處理一大堆棘手的內窺鏡修正項的完整證明！
這種體量和難度的計算，哪怕是給他孔采維奇本人來做，巔峰時期的他至少也得關在辦公室里閉關個一周。
而徐辰，現在要在一千兩百人面前，在不到一個小時的時間裡，當場完成它。
「這小子……是真正的怪物啊。」
孔采維奇在心中輕嘆了一聲。他突然想起了自己年輕時第一次讀格羅滕迪克手稿時的感受——那種不是「這個人比我強「，而是「這個人和我不是同一個物種「的深刻震撼。
而現在，坐在台下看著徐辰板書的他，體驗到了當年的感覺。
……
拉福格坐在孔采維奇旁邊，同樣一言不發。
他的手指正微微顫抖。
作為和徐辰並肩作戰了整整一個月的人，拉福格太清楚這套框架的每一個細節了。他知道從「哥猜版本「修改到「孿生素數版本「，理論上需要做哪些調整，也知道那些調整中的每一步，都暗藏著怎樣的邏輯陷阱。
但台上的那個年輕人，似乎連這些陷阱的存在都感知不到。
他的筆尖越過它們的時候，甚至沒有絲毫的減速。
拉福格想起了一個月前，自己在深夜的書房裡被一個極點卡住三天三夜的經歷。他不得不發郵件向徐辰求助，而徐辰十分鐘後就回復了三行公式，輕描淡寫地解決了問題。
當時他以為那只是一個特例。
現在他才意識到，那不是特例。
那就是徐辰的常態。
……
時間在極度凝縮的板書中飛速流逝。
十分鐘。
二十分鐘。
白板的空間已經不夠用了。工作人員緊急又推上來了第二塊白板。
徐辰頭也不回地接過旁人遞來的新馬克筆，繼續在新白板上瘋狂輸出。
……
三十分鐘後。
徐辰的筆尖在第二塊白板的右下角，寫下了最後一行公式。
他停了一下，極其快速地從第一塊白板掃到第二塊白板，用三秒鐘的時間完成了最後的全局校驗。
確認無誤。
徐辰在心裡長長地吐出了一口氣。
「還好，沒翻車。」
……
然後，他放下了馬克筆。
轉過身。
面對著台下那一千兩百張因為極度震撼而近乎呆滯的面孔。
他收起馬克筆，甩了甩髮酸的手腕。
隨後語氣輕描淡寫，就像是在課堂上做完了一道課後習題。
「所以，正如我剛才所說的——」
「'徐氏譜變換'在將加法約束替換為距離約束後，局部分量的辛幾何相位發生逆轉，但全局的譜正定性依然嚴格成立。」
「因此……」
徐辰的目光掃過前排那些大佬們的臉，最後停留在了梅納德那張已經石化的面孔上。
「也就是說——」
「孿生素數猜想，成立。」
……