第136章 比金獎更大的事
頒獎結束後的紫金山莊,主會場外的人群密度在經歷了極度短暫的疏散與流動之後,在酒店的各個公共區域重新聚集起來。
茶歇區里,有人手裡端著紙杯,與旁邊素不相識的同行交換名片,試圖拓寬自己的學術人脈網絡。
有人低頭在手機上快速划動著屏幕,與導師或同門討論著下午各個分會場密集的議程安排,盤算著該去聽哪位大牛的報告。
但更多的,是三五成群聚在一起,壓低了聲音,交換著各自剛才在會場裡聽到的關於那個震撼全場的金獎的各種版本。
「之前完全沒有消息。」
「我也沒想到,金獎會給一個高中生。」
「什麼高中生,那是獨立研究者。」
……
這種竊竊私語在會場的每一個角落蔓延。
江臨卻沒有在茶歇區做任何停留。
剛走到主會場外圍相對開闊的區域,會務組的唐悅已經眼尖地發現了他。
她穿過人群,快步走到江臨面前。
「江老師,請這邊走,媒體見面會被安排在二樓的小會議廳。這是組委會統一安排的流程,十五分鐘的集體採訪,之後若獲獎人願意,會務組會再協調後續單獨採訪。」
「好,那就麻煩你帶一下路了。」江臨點點頭。
他一邊跟著唐悅往側邊的電梯走,一邊將獎章和紅色的證書裝進組委會發的帆布資料袋裡。
媒體見面室的空間並不大,前排密密麻麻地架滿了各家媒體的攝像機和補光燈。
後排則坐滿了來自數學領域專業期刊、各大高校校刊以及國內幾家頭部科技類媒體的資深記者。
每一個人的臉上都寫滿了興奮,手裡緊緊捏著錄音筆和採訪提綱。
長桌後依次擺放著獲獎者的名牌。
丁劍與江臨坐在中間,兩邊分別是陳杲、繆爽等幾位同樣成就斐然的銀獎得主。
主持人簡短地做了個開場白,定下了這場採訪的基調。
隨後,為了顯示對資深學者的尊重,也是為了稍微壓一壓現場過於狂熱的氣氛,他先把第一個提問的機會給到了丁劍。
問題很中規中矩,從獲獎後的個人感想,聊到了國內概率論與數學物理領域未來的發展趨勢。
丁劍不愧是久經沙場的頂尖學者,答得從容不迫、得體大方,既有數學家的嚴謹與深度,又不失面對大眾媒體時的風度。
但所有人都知道,今天這場媒體見面會的真正焦點是誰。
話題很快,不可避免地落到了江臨身上。
第一個站起來提問的,是某家官方媒體的資深記者。
問題很常規,也是大眾最想聽到的版本。
「江臨老師您好,首先恭喜您成為ICCM數學獎有史以來最年輕的金獎得主,這絕對是一個創造歷史的時刻。請問此刻站上這個領獎台,手握金牌,您內心最大的感受是什麼?有沒有什麼特別想對同齡人說的話?」
全場的目光,伴隨著攝像機鏡頭的移動,唰地一下全部聚焦到了江臨身上。
江臨微微抬了抬眼皮,看著鏡頭:「感謝評審委員會的認可,獎項是對過去一段時間所做工作的肯定,但它本身不是我們做研究的目的。數學是沒有盡頭的,單磚問題解決了,後續還有很多更複雜的衍生問題需要去處理,繼續安心做研究就好。」
說到這裡,他微微停頓了一下。
就在提問記者以為他已經回答完畢,準備面帶微笑接話的時候,江臨再次開了口。
「至於對同齡人想說的話,不要把我當成參照物,也不要把這塊金牌當成某種勵志的濾鏡。去尋找一個你們真正願意為之熬夜,願意承受反覆失敗,並且不奢求短期回報的領域。每個人都有自己的坐標系,不需要強行去解別人的方程。」
提問的記者愣了一下,隨即憑藉著職業本能迅速追問:「那您能談談,作為一名獨立研究者,在沒有頂尖高校平台支持沒有名師團隊指導的情況下,您是怎麼做出這麼重大的學術突破的?我們都很好奇,在這個過程中,您遇到過的最困難的事情是什麼?」
這個問題很常見,也非常符合傳播規律。
然而,江臨只是略一思索,然後用一種近乎白描的手法答道:「困難一直都有,卡殼是理論研究的常態。這沒什麼特別的。遇到不通的地方,就換個思路,慢慢往下推就行了。」
現場出現了一陣短暫的沉默。
這回答,根本沒法寫進那篇名為《寒門天才的逆襲之路》的通稿里去。
後排有人不甘心,還想繼續在這個少年天才的人設上挖點猛料。
一個科技媒體的記者舉起手,剛開口問了一句:「江臨老師,大家都非常好奇,您在高中階段是如何平衡繁重的高考學業和如此艱深的前沿數學研究的?您平時……」
經驗豐富的主持人眼看話題要偏向教育經驗分享,笑著接過話頭,把提問的方向轉向了下一位銀獎得主。
「好的,感謝江臨老師的分享。接下來我們把時間留給繆爽老師,關於幾何分析領域的……」
十五分鐘的集體採訪,就在這種提問者熱血沸騰而回答者冷靜克制的氛圍中,飛快地結束了。
江臨剛站起身準備離開,就被兩名眼疾手快的專業媒體記者攔住了去路。
「江老師,江老師請留步。」其中一名記者手裡拿著一份列印出來的文獻資料,「我們是《數學前沿》雜誌的,能不能占用您兩分鐘時間,請您談談關於PFR猜想的問題……」
江臨停下腳步,抬眼看向這兩位顯然是做過功課的專業記者。
「不好意思,兩位。關於那個問題,目前還不方便透露更多細節。我這邊還有一些私人的事情需要處理,先失陪了。」
說完,他微微頷首致意,徑直走出了媒體室的大門。
身後,傳來兩名記者壓低了聲音的感慨。
「這性子也太淡了吧,拿了這麼大的獎,跟沒事人一樣。」
另一位年紀稍大的記者搖了搖頭,把錄音筆收回包里:「這種人,心思不在曝光上。你問他人生故事,他只會覺得你耽誤他回去改證明。」
……
從媒體見面室出來,看了一眼手機,時間已經接近十二點半。
上午的議程基本結束,密集的人流從各個大大小小的會議廳湧出。
參會者們順著沿途的藍白色指示牌,三三兩兩地朝著金陵咖啡廳和自助餐廳的方向走去。
酒店的自助餐廳設在主樓的一層。
巨大的落地窗外,連著一片精心設計過的庭院水景。
假山流水,錦鯉游弋,景色宜人。
為了照顧來自五湖四海的學者,取餐區被細心地分成了中西兩個大區。
中式餐檯上,擺滿了鹽水鴨、清炒茭白、蟹粉獅子頭、大煮乾絲這類地道的淮揚風味美食,熱氣騰騰。
西式區則有各種全麥麵包、蔬菜沙拉、冷切肉拼盤,以及兩台正嗡嗡作響的進口現磨咖啡機。
角落裡還特意設了一個專門的廣式湯品台與時令水果區。
江臨拿了一個白瓷餐盤走到中式區。
他並不挑食,動作利索地夾了幾樣葷素搭配的菜,又讓廚師盛了兩大碗壓得實實的白米飯,最後拿了一瓶常溫的礦泉水。
端著滿滿當當的餐盤轉身,江臨在熙熙攘攘的餐廳里掃視了一圈,尋找空位。
「江臨,這邊。」
不遠處,顧南舟正坐在一個靠窗的四人座里,朝他招手。
他對面的位置上,林照野正低頭慢條斯理地喝著一碗排骨湯。
江臨走了過去,在林照野旁邊拉開椅子坐下。
「這胃口不錯啊,」顧南舟看著江臨盤子裡那堆成小山的碳水,笑著打趣道,「我看你這架勢,上午對付那些記者,比在黑板上推導公式還費體力?」
「推公式費腦子,應付採訪是既費腦子又耗體力。」江臨拿起筷子,開始大口扒飯,「組委會這邊的菜做得挺好,剛好補一補消耗。」
林照野放下湯碗,抽了張紙巾擦嘴,鏡片後的眼睛裡帶著明顯的笑意:「吃大碗飯,做大學問,這不是恰到好處嘛。」
「哈哈哈。」
……
下午兩點差十分。
江臨吃過午飯,在房間短暫休息了二十分鐘後,再次順著藍白色指示牌走回了紫金會議中心的主會場。
比起上午開幕式盛典般的莊重與肅穆,下午的論壇會場明顯多了一些跨領域自由交流的鬆弛感。
這是本屆ICCM的核心主論壇——「基礎科學與國際合作」。
作為開幕式當天的固定且極其重要的環節,這場論壇並不局限於純粹的數學賽道。
組委會眼界極寬,特意邀請了理論物理、人工智慧、複雜系統以及國內頂尖工業界的重磅學者與從業者。
這是整場大會跨學科視野最寬碰撞最激烈的一場活動。
論壇採取線上線下同步直播的方式,台下依然坐了數百人,除了參會學者,還多了許多慕名而來的企業界代表。
江臨依然坐在上午嘉賓席那個靠前的位置上。
他剛一落座,身旁一位胸前掛著中科院某研究所牌子的中年研究員就敏銳地察覺到了他。
研究員微微側身,臉上帶著和善的笑意,主動寒暄道:「江臨,您也對這種跨領域的議題感興趣?」
「過來聽聽不同方向的思路。」 江臨禮貌地淡淡回應。
那人也是個人精,瞭然地點點頭:「也是,也是。現在科學發展到了這個階段,很多單學科的瓶頸都在交叉地帶,現在的理論工具和 AI 算法、統計物理貼得也越來越近了。」
兩點整,論壇準時開始。
擔任主持人的是東南大學的一位副校長。
開場白簡明扼要,直指核心。
「基礎科學,是所有人類技術突破的最底層源頭。而國際合作,則是所有前沿學科發展的必經之路。本屆大會之所以首次將基礎科學與國際合作設立為開幕當天的核心論壇主題,就是希望能夠打破壁壘,打通學科之間的邊界,推動我們華人學術界在更高的維度上實現整體前行。」
第一位被請上台做主旨發言的,是南方科技大學校長,物理學界的泰斗薛其坤院士。
他穿著筆挺的深色西裝,頭髮梳得一絲不苟,站在講台前,語速沉穩而富有感染力。
薛院士從量子反常霍爾效應的實驗突破講起,深入淺出地聊到了基礎數學工具如拓撲學對物理模型的底層支撐作用。
隨後,話題一轉,他坦誠地聊到了跨國科研合作中經歷的種種經驗、磕絆與不可言說的困境。
「各位,沒有紮實嚴謹的數學工具在後面撐著,我們物理學家提出的很多絕妙的物理猜想,永遠都只能停留在紙面上的漂亮公式,永遠落不了地。」
薛院士說到這裡,目光掃過前排的數學家們,半開玩笑地嘆了口氣。
「說實話,我們做實驗物理的,有時候真是最羨慕你們做數學的。我們為了一個數據,要搭幾千萬的台子,要等液氦降溫,要防震防磁。你們呢,一支筆,一張草稿紙,只要邏輯對,就能在腦子裡推演整個宇宙的規律。」
台下爆發出一陣會心的輕笑聲,氣氛瞬間輕鬆了不少。
江臨坐在前排,聽得專注。
關於幾何分析、偏微分方程與量子物理的交叉邊界,他此前在文獻里只進行過零散的接觸,並沒有深入研究過。
但此刻,聽一位站在國際最前沿的一線實驗物理學家,用如此直白的話語講述真實應用場景下的痛點,反倒像是一陣風,吹散了他腦海里某些固有的迷霧,讓他對高維構造的普適性以及數學在真實世界中的投影,多了一層更立體的全新理解。
第二位上台發言的,是歐洲科學院院士周志華教授。
他是國內人工智慧領域的絕對領軍人物之一。
周院士的話題更加貼近當下的科技產業熱點。
直接從機器學習的理論瓶頸切入,直指當前AI發展最核心的短板。
「現在很多深度學習模型,尤其是大模型,在工程應用上的效果好得驚人。但是,各位同仁,我們要清醒地認識到,這些模型的數學解釋性極差。」
「我們就像是一群蒙著眼睛的孩子在搭極其複雜的積木,把它堆得很高,很壯觀,但我們根本不知道它底層的力學原理是什麼。一旦底部抽走一塊積木,整個大廈隨時可能崩塌。」
他揮了一下手,加重了語氣:「所以,未來人工智慧如果想要實現真正的革命性突破,不能只靠堆算力堆數據。最終,它還是必須要回到基礎數學上來,回到統計學習理論、優化理論的最深處的根上去尋找答案。」
聽到這裡,江臨的眸光微微一動。
他腦海中浮現出完成閉合的那套關於 PFR 猜想的證明框架。
深度學習大模型的本質是什麼?
某種意義上,是在高維空間中,對海量的看似無序的數據進行特徵提取與降維壓縮。
在數學上,可以被粗略抽象為等價於一種高維離散結構的近似與映射。
AI算法之所以是不透明的黑盒的原因之一,是這些數據在經過層層網絡壓縮後,其內部的信息熵是如何演化的,又為什麼沒有在降維的過程中丟失核心的特徵支撐。
而江臨剛剛在 PFR 證明中構建的核心武器,第三層損失回收機制與有限域上的熵控制函數,解決的恰恰就是高維結構在壓縮過程中的局部誤差攤還問題。
這原本只是為了解決純粹的加性組合學難題。
但這套用來約束殘餘譜、控制有限域熵形式坍縮的數學工具,如果能經過一層適當的離散化和模型化,或許能遷移出一套分析框架到機器學習的高維張量網絡中,為那個龐大的黑盒提供一條理論指導。
……
這場高質量的論壇整整持續了兩個半小時。
直到下午四點半左右,才在雷鳴般的掌聲中落下帷幕。
散場時,會場內的人流開始緩緩涌動。
不少心有不甘的參會者、年輕學者以及企業代表,紛紛離座,像潮水一樣圍向主席台前,希望能抓住最後的機會,和剛才發言的幾位嘉賓交換個微信,或是多請教兩句。
江臨最怕這種無意義的社交應酬,趁著人群還未完全擁堵,順著會場邊緣的側道快步往外走。
眼看就要走出主會場那扇厚重的大門了。
「江臨,等一下。」
一個渾厚的聲音從身後傳來。
江臨停下腳步,轉過身。
剛才在台上做過主旨發言的周志華教授,正撥開圍著他的人群,快步朝這邊走過來。
他步子邁得很大,臉上帶著那種長輩看到優秀晚輩時掩飾不住的欣賞笑意。
「周老師。」江臨禮貌地打招呼。
「早就聽過你的名字了,今天總算見到活人了。」周志華走到近前,上下打量了江臨一番,直奔主題,「你在江氏磚構造里用到的那一套數學方法,我們做AI理論的幾個博士生昨天還在組會上仔細研讀過。你的那個思路,太漂亮了。」
說到這裡,他順勢拋出橄欖枝。
「江臨,有沒有興趣花點時間,嘗試著做一點機器學習底層數學基礎理論的問題?如果你願意把有限狀態壓縮的思路,試著遷移到學習理論里,可能會有一些很有意思的交叉點。」
「謝謝周老師的認可和邀請。」 江臨的回答依然是那種滴水不漏的客套,「後續如果有合適的機會,或者遇到交叉領域的問題,一定向您請教交流。」
「好,一言為定。」 周志華知道這種級別的天才都有自己的主意,也沒有強求。
……
「江臨。」
周志華剛轉身離開,另一個聲音從會場右側的休息區柱子後面傳來。
江臨轉過頭。
韓硯山正站在兩排空蕩蕩的座椅之間。
他身上著一件洗得有些發白的舊格子襯衫,袖子被隨意地擼到了手肘以上。
才過去短短兩個月,韓硯山頭上的白髮似乎比在江大報告廳時又多了一些。
但他那雙眼睛,此刻卻比任何時候都要亮。
很顯然,他在這裡等了很久。
等完了整整兩個半小時的論壇,等完了散場時洶湧的人潮退去,等完了那些湧向江臨的祝賀、合影和名片交換全部結束。
「韓教授。」江臨看著他。
韓硯山沒有像其他人那樣上來先恭喜他拿了金獎,也沒有任何寒暄。
手伸進有些褪色的褲子口袋,掏出一張被摺疊過多次,邊緣已經有些起毛的A4紙。
他把紙遞到江臨面前。
江臨垂眸掃了一眼。
那是一張ICM報告視頻最後十分鐘的截圖列印稿。
圖片旁邊空白的地方,密密麻麻地寫滿了韓硯山做的筆記。
有的公式旁邊畫了重重的紅圈,有的地方打了巨大的問號,而在有限域橋接那個詞旁邊,韓硯山用紅色的水筆,重重地標了三個字:「非比喻。」
韓硯山深吸了一口氣,定定地看著面前這個十八歲的少年,問出了那個縈繞在他心頭五十天的問題。
「如果方便的話,關於有限域模型下的PFR猜想,你能不能談談現在究竟走到了哪一步?」
江臨倒是能理解韓硯山此時的心情。
他在這個方向上死磕了整整十二年。
他做過Freiman型結構定理的高維推廣,長期在近似群和小和集的泥潭裡摸爬滾打。
毫不誇張地說,放眼整個國內數學界,韓硯山是極少數幾個,能把PFR/Marton這條極其陡峭的技術路線,從頭到尾不帶任何磕絆地推演一遍的人。
對他這種人說主證明閉合,就好比告訴一個在珠峰大本營熬了十年的登山者:「嘿,那條最難的北坡路線,已經有人登頂了。」
登山者聽到這個消息,絕對不會先開香檳慶祝。
他會立刻衝上來,紅著眼睛質問你。
你的路線圖是什麼?
你在哪個海拔建的突擊營地?
你用了什麼裝備?
你等待的天氣窗口是幾號?
你的氧氣儲備是怎麼規劃的?
江臨略一思索,問道:「韓教授,您六月份從江大回去以後,有沒有繼續推演那個類比?」
韓硯山明顯愣了一下,沒料到江臨會反問。
但還是直接回答道:「推了,我推了整整五十天。」
語氣里難免帶上了些許自嘲和頹敗。
「推到最後,我發現,你當時說的那四個字,說不清,每一個字都是對的。從局部的結構強迫,跨越到全局的群近似,中間那道理論上的鴻溝,根本就不是靠直覺能跳過去的。」
「我後來推過去了。」
沒有任何修飾,沒有任何語氣的起伏的七個字,落在韓硯山耳朵里,卻無異於在他腦子裡引爆了一顆核彈。
韓硯山整個人僵住,連呼吸似乎都停頓了。
喉結艱難地上下滾了一下,他緊緊盯著江臨,像是在竭力確認,自己剛才聽到的話,是否真的是字面上的那個意思。
「關鍵引理證出來了?」韓硯山的聲音沙啞得厲害。
「接上了。」江臨答。
「覆蓋數的界是多少?」
「多項式級別,沒有掉回絕望的指數級。」
江臨條理清晰地拋出核心技術細節。
「核心在於第三層的損失回收機制,我設計了一個局部的替代構造,把原本在推導過程中會指數化膨脹的截斷項收住了。這個替代層級,和江氏磚里的邊界壓縮框架,在底層是共享同一個數學結構的。只是,在這裡,玩的不再是幾何鋪砌,而是有限域上的傅立葉支集收縮。」
韓硯山打量了江臨兩秒,忽然問道:「你收的是大譜,還是能量增量之後殘留下來的殘餘譜?」
這句話問得簡直一陣見血。
如果江臨只是泛泛而談,或者只是借用了幾個聽起來漂亮的詞,在這個問題面前立刻就會露餡。
因為在有限域模型下,真正難的並不是譜本身,而是那些在每一輪局部結構剝離之後,仍然沿著邊界條件不斷外泄的殘餘譜。
它們每泄一次,覆蓋數就膨脹一層,最後把所有多項式希望重新拖回指數地獄。
江臨卻不假思索就答說:「先剝殘餘譜,再回收能量損失。真正收住的不是譜,而是譜外泄造成的覆蓋數膨脹。」
韓硯山的瞳孔微微一縮。
江臨繼續侃侃而談:「第三層替代構造的作用,不是強行證明殘餘譜消失,而是在每一次局部截斷之後,把它重新投回一個可控的低維模型里。殘餘譜還在,但它不再自由擴散。只要它不自由擴散,覆蓋數就不會指數爆炸。」
韓硯山盯著江臨一動不動,像是要從他臉上看出這幾句話究竟是不是某種精心包裝過的幻覺。
片刻後,他忽然從隨身攜帶的公文包里取出紙筆。
「等一下,你先別往下說。」
他的聲音低得來,帶著近乎粗暴的急切。
江臨點點頭。
韓硯山並沒有沒有從定義開始推。
真正做過這個方向的人,根本不需要從什麼是弱倍增、什麼是大譜、什麼是有限域模型開始寫起。
那些東西早已經在他過去十二年的失敗里被反覆拆開、壓碎、重新拼合,變成了一種近乎本能的肌肉記憶。
他直接寫到了最危險的那一步。
設 (Asubsetmathbb F_2^n),滿足弱倍增條件。
歸一化指標,局部模型,傅立葉大譜。
譜剝離,能量增量,覆蓋數遞推。
一行又一行符號迅速鋪開。
起初,他寫得很快。
因為前面的路徑沒有懸念。
把(A)壓進有限域模型後,先取歸一化指示函數,再根據能量分布找出第一層大譜。
通過大譜張成的低余維子空間,對(A)做第一次結構化切片。
若切片上密度增量足夠,就進入下一輪。
若不足,就轉入近似子空間模型的覆蓋估計。
這些都是標準工具。
真正的問題從來不在第一層。
第一層的損失還能忍。
第二層也還能勉強維持在可接受範圍之內。
可到了第三層,所有漂亮的結構都會開始變形。
韓硯山寫到第三次譜剝離時,筆尖明顯慢了下來。
他在紙面上畫出一個極窄的括號,把一組殘餘頻率圈了出來。
它們處在一個最麻煩的位置,既不是主譜,也不是可以直接丟掉的噪聲。
每一個殘餘項單獨看都很小,小到不足以支撐新的結構定理。
但它們又沒有小到可以被誤差項完全吞掉。
一旦繼續遞推,這些殘餘譜會被迫進入下一輪局部模型,重新參與覆蓋估計。
而只要它們重新參與覆蓋估計,就必須重新支付一次譜維數損失。
韓硯山盯著那條遞推式,臉色一點點沉下去。
「我這五十天,一直卡在這一項。」
他用筆尖重重點了點 (d_j)。
「第三層之後,殘餘譜只要重新進入下一輪局部模型,就必須重新支付一次譜維數損失。這裡不是常數誤差,也不是可以塞進 (O(1)) 里的尾項。」
他的聲音壓低了些。
「它會直接改寫覆蓋數的增長階。」
江臨看了一眼那張紙,伸出手指,在韓硯山寫下的那條遞推式旁邊輕輕點了一下。
「你這裡多乘了一次。」
韓硯山眉頭猛地一皺。
江臨平靜道:「殘餘譜不應該作為下一輪自由譜重新進入遞推。」
韓硯山沒有說話。
江臨繼續道:「你把第三層之後的殘餘頻率看成新的譜對象,所以每一輪都要重新支付一次 Chang 型維數損失。我的處理不是繼續剝譜,而是給第二層剝離後留下的殘餘譜簇保留索引,把它們放進一個固定的低維替代模型里。」
韓硯山的瞳孔微微收縮。
這句話落下的一瞬間,他已經聽出了問題的關鍵。
並非繼續剝離,而是固定索引。
不是讓殘餘譜在下一輪里重新獲得自由度,而是把它們鎖定在前一層已經支付過代價的譜簇結構中。
江臨的手指沿著那條遞推式向後移動了半寸。
「第三層替代構造的作用,不是證明殘餘譜消失。它只做一件事:讓殘餘譜不再重新生成新的覆蓋方向。」
「能具體說說嗎?」韓硯山急急追問。
江臨道:「每一次局部截斷之後,殘餘項不進入新的覆蓋遞推,而是被投回上一層譜簇對應的低維模型里。它造成的誤差,由上一層能量增量沒有吃滿的缺口支付。」
會場邊緣的人聲仍然很雜。
有人拖動椅子,有人收拾資料,有人三三兩兩從主會場往外走。
可那些聲音在這一瞬間像是突然被隔到了很遠的地方。
韓硯山低下頭,盯著那條遞推式。
上一層能量缺口支付,殘餘譜簇固定索引。
不重新生成覆蓋方向。
下一刻,他重新落筆,沒有繼續沿著原來的遞推往下寫,而是在旁邊另起一行,把剛才那條乘法型損失拆開。
原本進入 (M_{j+1}) 的那一項,被他強行從覆蓋遞推里剝了出來。
然後在旁邊寫下一個新的局部誤差項。
mathcal E_j^{bad}
接著又在它下面寫:mathcal E_j^{bad}leq Delta E_j
(Delta E_j)。
能量增量的剩餘缺口。
如果殘餘譜造成的損失,不再作為新的覆蓋方向進入下一輪遞推,而是被上一層沒有完全消耗掉的能量缺口吸收,那麼原本最致命的逐層乘法損失,就會被切斷。
覆蓋數不再每一層都重新乘上一項。
它變成了局部攤還。
不是:M_{j+1}leq M_jcdot K^{C d_j}
而是:M_{j+1}leq M_jcdot K^{C d_0}+O(mathcal E_j^{bad})
更準確地說,真正增長的不是每一輪重新生成的譜維數,而是第一、第二層已經固定下來的譜簇複雜度。
壞項還在,殘餘譜還在,誤差也還在。
但它們都被攤還進了已經支付過代價的結構層里,不再擁有獨立製造覆蓋方向的資格。
韓硯山開始重新整理剛才那條失敗路徑。
第一層大譜,支付一次維數損失。
第二層局部化,固定譜簇索引。
第三層不再做自由譜剝離,而是做替代模型投影。
殘餘譜項進入能量缺口。
覆蓋遞推閉合。
他越寫越快。
原本密密麻麻的失敗推導旁邊,逐漸出現了一條新的損失流向圖。
當然,沒有邊界條件,沒有閾值選擇,沒有極端退化情形,沒有每一次局部化之後的誤差控制,沒有最終能否把所有常數壓進多項式界的精細估計。
它還不是完整證明。
遠遠不是。
但它已經不是一個空泛的想法。
因為那條最要命的遞推,形狀變了。
韓硯山盯著紙面,終於明白過來江臨所謂的第三層損失回收是什麼意思。
不是把第三層損失憑空抹掉。
也不是用一個更強的結構假設強行壓住所有殘餘項。
而是重新規定殘餘譜項的帳目歸屬。
過去所有失敗路線里,殘餘譜都會被當成下一輪新生成的自由譜,於是覆蓋數每推進一層,就要重複支付一次譜維數損失。
江臨沒有這麼做。
他把殘餘譜簇固定在上一層結構里,用能量增量的剩餘缺口支付它們,把原本不可控的乘法損失,改寫成了可攤還的局部誤差。
這根本就不是技巧上的微調,完全屬於遞推框架的重寫。
韓硯山慢慢地,把鼻樑上的眼鏡摘了下來。
鏡片後面那雙眼睛已經紅得厲害。
「關鍵不在譜集本身,殘餘譜項不能再被當成新一輪自由變量送進覆蓋遞推。」
他喃喃自語時,繼續看著那條新寫出來的損失流向,像是在一遍一遍確認自己並沒有因為疲憊而產生幻覺。
「而是把殘餘譜從覆蓋遞推里摘出來,改成能量缺口攤還。」
說完這句話,韓硯山猛地抬起頭。
流露出一個在同一條失敗路徑上走了十二年的人,突然發現自己一直以為無法閉合的遞推,竟然可以通過改變損失歸屬方式重新閉合時,才會出現的那種近乎失控的神情。
「江臨,如果這一步能做嚴,覆蓋數就不會掉回指數級。」
韓硯山的聲音沙啞得厲害。
江臨點頭。
韓硯山終於徹底失態。
「媽的。」
聲音很輕,並無任何粗魯的意思。
只有一種被十二年失敗反覆碾壓之後,突然看見遞推式重新閉合的巨大荒謬感。
「這不是一個局部引理能解釋的東西,如果殘餘譜的帳目歸屬真的能這麼改,那麼後面的覆蓋估計、熵控制函數,甚至Marton那邊的入口條件,全部都要重新寫。」
他抬起頭,看向江臨。
「所以,你補的不是一個引理,而是在改寫整條損失遞推。」
「只是改寫遞推還不夠。」
江臨看了一眼那張紙上已經擁擠到近乎凌亂的符號,搖搖頭。
「真正麻煩的是,Marton那邊不能沿常見的有限域轉譯路徑硬推。那條路為了保證熵結構不坍縮,通常要額外塞進很強的非退化條件,強到幾乎無法承接弱倍增對象。」
韓硯山猛地抬頭。
「所以你繞開了非退化假設?」
「不完全是繞開。」江臨道,「更準確地說,是不把它作為入口條件。」
韓硯山的呼吸明顯亂了一拍。
江臨繼續道:「我直接從弱倍增結構出發,構造一個熵控制函數。不是先假定對象足夠非退化,再去做覆蓋,而是先用第三層回收機制把覆蓋遞推壓住,再讓非退化性在有限域模型里作為結果退出來。」
「如果這樣做成立,Marton接橋部分就不再是PFR後面額外懸掛的一段證明,而是和弱倍增結構本身長在一起。」
韓硯山這一次,他沒有立刻追問。
因為那條被改寫後的遞推式,已經不只是在處理PFR的覆蓋數問題,而是在同時改變Marton接橋部分的入口條件。
剛才那條遞推一旦閉合,改變的就不只是PFR本身。
它會改變後續整個橋接路徑的入口條件。
傳統路線最痛苦的地方就在於,Marton熵形式需要足夠乾淨足夠規整,足夠非退化的對象。
可弱倍增對象偏偏不是這樣的東西。
它粗糙,歪斜,帶著大量局部殘餘結構。
你越要求它乾淨,它越接不進來。
但如果江臨的第三層損失回收成立,那麼弱倍增對象不需要一開始就滿足那組苛刻條件。
它可以先在覆蓋遞推里被壓住,再在熵控制函數中逐步顯露出可用的近似結構。
也就是說,非退化性從前提變成了結果。
韓硯山的筆重新落到紙上,沿著剛才那條損失流向,往後畫了三道箭頭。
PFR。
Marton熵形式。
Freiman型結構壓縮。
然後停在第三個詞旁邊,遲遲沒有移動。
如果這條鏈真的成立,PFR就不是孤立結果。
Marton覆蓋就不是旁支問題。
Freiman型結構定理的高維壓縮,也不再只是靠舊工具硬推的延伸。
這裡會出現一套全新的技術語言。
一套以殘餘譜攤還、熵控制函數和有限域模型壓縮為核心的技術語言。
韓硯山重新戴上眼鏡,鄭重問道:「這件事,有幾個人看過原稿?」
「林照野老師知道我已經閉合了這個事實。」江臨答道。
韓硯山沉默了一下。
林照野不是這個方向的。
在現代數學這種恐怖的精度要求下,隔行,就是隔了幾個宇宙。
「你剛才說,你那個第三層損失回收的構造,連你自己都需要復盤三個整天才能重新定位。」韓硯山看著江臨。
「是的。」
「那你知不知道放眼整個國內數學界,有多少人,能在三個整天裡,看懂你這個構造?」
江臨搖搖頭。
他對數學界的人並沒有多少了解。
「目前國內在這個細分領域,能跟你在這個高精度層面上進行實質性對話的人,我說的不是那種泛泛而談的討論,也不是那種理解個大意的點頭,而是真真正正一行一行地看完你的證明稿,找出所有隱藏在角落裡的邊界條件,確認你的每一步推導沒有出現任何邏輯跳躍的人,不會超過五個。」
韓硯山豎起了五根手指,語氣裡帶著一股當仁不讓的傲氣。
「能立刻坐下來和你逐行對證明的人,更少,我算一個。」
……
當林照野終於在空曠的主會場外圍找到他們兩個的時候,韓硯山的眼鏡又被摘下來了。
他正坐在一張桌子旁,用手指壓著那張已經快被寫滿的 A4 紙,另一隻手握著簽字筆,在紙張邊緣繼續補一條別人看不懂的損失流向。
江臨則安靜地站在旁邊,時不時指點一句。
「你們倆原來在這兒。」
林照野快步走近,鬆了一口氣。
「我剛才在裡面找了半圈都沒看見人。」
然後他就看到了桌面上韓硯山的推導。
「韓教授,看來你也知道了啊。」林照野笑著,試探了一句,「那麼,韓教授,你準備怎麼做?」
韓硯山低頭看了一眼紙面,說:「江臨說,他還需要時間把技術備忘錄整理出來。那麼到時候,主幹結構的審查就需要兩個截然不同方向的同行。」
他的腦子轉得飛快。
「第一個,需要做離散組合和加性結構的人,能夠把有限域上的傅立葉支集收縮部分,進行整體和細節的交叉校驗。這部分,我來接。」
「另一個,必須能從熵和資訊理論的最底層邏輯出發,去檢查他關於 Marton 接橋部分的那套構造。這需要極其深厚的跨界功底。」
「你心裡有人選了?」林照野問。
韓硯山的手指在那張 A4 紙上點了一下一個名字。
「趙宇飛。」
「MIT 數學系的那位最年輕的副教授?」林照野微微一驚。
「對。」
韓硯山語速極快。
「他個人主頁上研究方向的第三行,就赫然寫著加性組合學。我仔細讀過他關於極值組合學和圖正則性引理的所有核心論文。他很擅長使用概率方法,他的數學工具箱——圖極限、正則性引理、概率放縮——和江臨這次解決 PFR 的底層框架,在方法論上高度兼容。」
「Marton 接橋部分的非退化構造極其反直覺。需要一個人既能從離散組合的角度理解那些變態的約束條件,又能從熵和資訊理論的宏觀層面驗證整個近似結構的穩定性。」
「趙宇飛不是傳統資訊理論出身,但他對高維離散結構的概率化處理極強,恰好能看出這套熵形式是不是只是在符號上成立,還是確實承載了組合結構。」
「目前來看,他是全世界最合適的人選之一。」
韓硯山停頓了一下。
「可惜,我與他並無私交,或許可以請丘先生幫忙引薦。」
林照野皺眉想了想:「但他現在人不在國內。」
「不在國內沒關係,我這就給他發一封郵件。」韓硯山是個典型的行動派,說著就要轉身。
「其實要說國內,丁劍教授是做概率論和統計物理出身的。」林照野卻忽然開口。
韓硯山腳步一頓。
林照野繼續:「要說對熵形式的數學直覺,目前國內沒人比他更強。如果他看了之後,願意從統計物理的角度,幫江臨把把關,就不需要等趙宇飛橫跨太平洋的時差回復了。」
「行,那就先找丁教授。」韓硯山的話語中透著壓抑不住的近乎荒唐的興奮。
茶歇區里,有人手裡端著紙杯,與旁邊素不相識的同行交換名片,試圖拓寬自己的學術人脈網絡。
有人低頭在手機上快速划動著屏幕,與導師或同門討論著下午各個分會場密集的議程安排,盤算著該去聽哪位大牛的報告。
但更多的,是三五成群聚在一起,壓低了聲音,交換著各自剛才在會場裡聽到的關於那個震撼全場的金獎的各種版本。
「之前完全沒有消息。」
「我也沒想到,金獎會給一個高中生。」
「什麼高中生,那是獨立研究者。」
……
這種竊竊私語在會場的每一個角落蔓延。
江臨卻沒有在茶歇區做任何停留。
剛走到主會場外圍相對開闊的區域,會務組的唐悅已經眼尖地發現了他。
她穿過人群,快步走到江臨面前。
「江老師,請這邊走,媒體見面會被安排在二樓的小會議廳。這是組委會統一安排的流程,十五分鐘的集體採訪,之後若獲獎人願意,會務組會再協調後續單獨採訪。」
「好,那就麻煩你帶一下路了。」江臨點點頭。
他一邊跟著唐悅往側邊的電梯走,一邊將獎章和紅色的證書裝進組委會發的帆布資料袋裡。
媒體見面室的空間並不大,前排密密麻麻地架滿了各家媒體的攝像機和補光燈。
後排則坐滿了來自數學領域專業期刊、各大高校校刊以及國內幾家頭部科技類媒體的資深記者。
每一個人的臉上都寫滿了興奮,手裡緊緊捏著錄音筆和採訪提綱。
長桌後依次擺放著獲獎者的名牌。
丁劍與江臨坐在中間,兩邊分別是陳杲、繆爽等幾位同樣成就斐然的銀獎得主。
主持人簡短地做了個開場白,定下了這場採訪的基調。
隨後,為了顯示對資深學者的尊重,也是為了稍微壓一壓現場過於狂熱的氣氛,他先把第一個提問的機會給到了丁劍。
問題很中規中矩,從獲獎後的個人感想,聊到了國內概率論與數學物理領域未來的發展趨勢。
丁劍不愧是久經沙場的頂尖學者,答得從容不迫、得體大方,既有數學家的嚴謹與深度,又不失面對大眾媒體時的風度。
但所有人都知道,今天這場媒體見面會的真正焦點是誰。
話題很快,不可避免地落到了江臨身上。
第一個站起來提問的,是某家官方媒體的資深記者。
問題很常規,也是大眾最想聽到的版本。
「江臨老師您好,首先恭喜您成為ICCM數學獎有史以來最年輕的金獎得主,這絕對是一個創造歷史的時刻。請問此刻站上這個領獎台,手握金牌,您內心最大的感受是什麼?有沒有什麼特別想對同齡人說的話?」
全場的目光,伴隨著攝像機鏡頭的移動,唰地一下全部聚焦到了江臨身上。
江臨微微抬了抬眼皮,看著鏡頭:「感謝評審委員會的認可,獎項是對過去一段時間所做工作的肯定,但它本身不是我們做研究的目的。數學是沒有盡頭的,單磚問題解決了,後續還有很多更複雜的衍生問題需要去處理,繼續安心做研究就好。」
說到這裡,他微微停頓了一下。
就在提問記者以為他已經回答完畢,準備面帶微笑接話的時候,江臨再次開了口。
「至於對同齡人想說的話,不要把我當成參照物,也不要把這塊金牌當成某種勵志的濾鏡。去尋找一個你們真正願意為之熬夜,願意承受反覆失敗,並且不奢求短期回報的領域。每個人都有自己的坐標系,不需要強行去解別人的方程。」
提問的記者愣了一下,隨即憑藉著職業本能迅速追問:「那您能談談,作為一名獨立研究者,在沒有頂尖高校平台支持沒有名師團隊指導的情況下,您是怎麼做出這麼重大的學術突破的?我們都很好奇,在這個過程中,您遇到過的最困難的事情是什麼?」
這個問題很常見,也非常符合傳播規律。
然而,江臨只是略一思索,然後用一種近乎白描的手法答道:「困難一直都有,卡殼是理論研究的常態。這沒什麼特別的。遇到不通的地方,就換個思路,慢慢往下推就行了。」
現場出現了一陣短暫的沉默。
這回答,根本沒法寫進那篇名為《寒門天才的逆襲之路》的通稿里去。
後排有人不甘心,還想繼續在這個少年天才的人設上挖點猛料。
一個科技媒體的記者舉起手,剛開口問了一句:「江臨老師,大家都非常好奇,您在高中階段是如何平衡繁重的高考學業和如此艱深的前沿數學研究的?您平時……」
經驗豐富的主持人眼看話題要偏向教育經驗分享,笑著接過話頭,把提問的方向轉向了下一位銀獎得主。
「好的,感謝江臨老師的分享。接下來我們把時間留給繆爽老師,關於幾何分析領域的……」
十五分鐘的集體採訪,就在這種提問者熱血沸騰而回答者冷靜克制的氛圍中,飛快地結束了。
江臨剛站起身準備離開,就被兩名眼疾手快的專業媒體記者攔住了去路。
「江老師,江老師請留步。」其中一名記者手裡拿著一份列印出來的文獻資料,「我們是《數學前沿》雜誌的,能不能占用您兩分鐘時間,請您談談關於PFR猜想的問題……」
江臨停下腳步,抬眼看向這兩位顯然是做過功課的專業記者。
「不好意思,兩位。關於那個問題,目前還不方便透露更多細節。我這邊還有一些私人的事情需要處理,先失陪了。」
說完,他微微頷首致意,徑直走出了媒體室的大門。
身後,傳來兩名記者壓低了聲音的感慨。
「這性子也太淡了吧,拿了這麼大的獎,跟沒事人一樣。」
另一位年紀稍大的記者搖了搖頭,把錄音筆收回包里:「這種人,心思不在曝光上。你問他人生故事,他只會覺得你耽誤他回去改證明。」
……
從媒體見面室出來,看了一眼手機,時間已經接近十二點半。
上午的議程基本結束,密集的人流從各個大大小小的會議廳湧出。
參會者們順著沿途的藍白色指示牌,三三兩兩地朝著金陵咖啡廳和自助餐廳的方向走去。
酒店的自助餐廳設在主樓的一層。
巨大的落地窗外,連著一片精心設計過的庭院水景。
假山流水,錦鯉游弋,景色宜人。
為了照顧來自五湖四海的學者,取餐區被細心地分成了中西兩個大區。
中式餐檯上,擺滿了鹽水鴨、清炒茭白、蟹粉獅子頭、大煮乾絲這類地道的淮揚風味美食,熱氣騰騰。
西式區則有各種全麥麵包、蔬菜沙拉、冷切肉拼盤,以及兩台正嗡嗡作響的進口現磨咖啡機。
角落裡還特意設了一個專門的廣式湯品台與時令水果區。
江臨拿了一個白瓷餐盤走到中式區。
他並不挑食,動作利索地夾了幾樣葷素搭配的菜,又讓廚師盛了兩大碗壓得實實的白米飯,最後拿了一瓶常溫的礦泉水。
端著滿滿當當的餐盤轉身,江臨在熙熙攘攘的餐廳里掃視了一圈,尋找空位。
「江臨,這邊。」
不遠處,顧南舟正坐在一個靠窗的四人座里,朝他招手。
他對面的位置上,林照野正低頭慢條斯理地喝著一碗排骨湯。
江臨走了過去,在林照野旁邊拉開椅子坐下。
「這胃口不錯啊,」顧南舟看著江臨盤子裡那堆成小山的碳水,笑著打趣道,「我看你這架勢,上午對付那些記者,比在黑板上推導公式還費體力?」
「推公式費腦子,應付採訪是既費腦子又耗體力。」江臨拿起筷子,開始大口扒飯,「組委會這邊的菜做得挺好,剛好補一補消耗。」
林照野放下湯碗,抽了張紙巾擦嘴,鏡片後的眼睛裡帶著明顯的笑意:「吃大碗飯,做大學問,這不是恰到好處嘛。」
「哈哈哈。」
……
下午兩點差十分。
江臨吃過午飯,在房間短暫休息了二十分鐘後,再次順著藍白色指示牌走回了紫金會議中心的主會場。
比起上午開幕式盛典般的莊重與肅穆,下午的論壇會場明顯多了一些跨領域自由交流的鬆弛感。
這是本屆ICCM的核心主論壇——「基礎科學與國際合作」。
作為開幕式當天的固定且極其重要的環節,這場論壇並不局限於純粹的數學賽道。
組委會眼界極寬,特意邀請了理論物理、人工智慧、複雜系統以及國內頂尖工業界的重磅學者與從業者。
這是整場大會跨學科視野最寬碰撞最激烈的一場活動。
論壇採取線上線下同步直播的方式,台下依然坐了數百人,除了參會學者,還多了許多慕名而來的企業界代表。
江臨依然坐在上午嘉賓席那個靠前的位置上。
他剛一落座,身旁一位胸前掛著中科院某研究所牌子的中年研究員就敏銳地察覺到了他。
研究員微微側身,臉上帶著和善的笑意,主動寒暄道:「江臨,您也對這種跨領域的議題感興趣?」
「過來聽聽不同方向的思路。」 江臨禮貌地淡淡回應。
那人也是個人精,瞭然地點點頭:「也是,也是。現在科學發展到了這個階段,很多單學科的瓶頸都在交叉地帶,現在的理論工具和 AI 算法、統計物理貼得也越來越近了。」
兩點整,論壇準時開始。
擔任主持人的是東南大學的一位副校長。
開場白簡明扼要,直指核心。
「基礎科學,是所有人類技術突破的最底層源頭。而國際合作,則是所有前沿學科發展的必經之路。本屆大會之所以首次將基礎科學與國際合作設立為開幕當天的核心論壇主題,就是希望能夠打破壁壘,打通學科之間的邊界,推動我們華人學術界在更高的維度上實現整體前行。」
第一位被請上台做主旨發言的,是南方科技大學校長,物理學界的泰斗薛其坤院士。
他穿著筆挺的深色西裝,頭髮梳得一絲不苟,站在講台前,語速沉穩而富有感染力。
薛院士從量子反常霍爾效應的實驗突破講起,深入淺出地聊到了基礎數學工具如拓撲學對物理模型的底層支撐作用。
隨後,話題一轉,他坦誠地聊到了跨國科研合作中經歷的種種經驗、磕絆與不可言說的困境。
「各位,沒有紮實嚴謹的數學工具在後面撐著,我們物理學家提出的很多絕妙的物理猜想,永遠都只能停留在紙面上的漂亮公式,永遠落不了地。」
薛院士說到這裡,目光掃過前排的數學家們,半開玩笑地嘆了口氣。
「說實話,我們做實驗物理的,有時候真是最羨慕你們做數學的。我們為了一個數據,要搭幾千萬的台子,要等液氦降溫,要防震防磁。你們呢,一支筆,一張草稿紙,只要邏輯對,就能在腦子裡推演整個宇宙的規律。」
台下爆發出一陣會心的輕笑聲,氣氛瞬間輕鬆了不少。
江臨坐在前排,聽得專注。
關於幾何分析、偏微分方程與量子物理的交叉邊界,他此前在文獻里只進行過零散的接觸,並沒有深入研究過。
但此刻,聽一位站在國際最前沿的一線實驗物理學家,用如此直白的話語講述真實應用場景下的痛點,反倒像是一陣風,吹散了他腦海里某些固有的迷霧,讓他對高維構造的普適性以及數學在真實世界中的投影,多了一層更立體的全新理解。
第二位上台發言的,是歐洲科學院院士周志華教授。
他是國內人工智慧領域的絕對領軍人物之一。
周院士的話題更加貼近當下的科技產業熱點。
直接從機器學習的理論瓶頸切入,直指當前AI發展最核心的短板。
「現在很多深度學習模型,尤其是大模型,在工程應用上的效果好得驚人。但是,各位同仁,我們要清醒地認識到,這些模型的數學解釋性極差。」
「我們就像是一群蒙著眼睛的孩子在搭極其複雜的積木,把它堆得很高,很壯觀,但我們根本不知道它底層的力學原理是什麼。一旦底部抽走一塊積木,整個大廈隨時可能崩塌。」
他揮了一下手,加重了語氣:「所以,未來人工智慧如果想要實現真正的革命性突破,不能只靠堆算力堆數據。最終,它還是必須要回到基礎數學上來,回到統計學習理論、優化理論的最深處的根上去尋找答案。」
聽到這裡,江臨的眸光微微一動。
他腦海中浮現出完成閉合的那套關於 PFR 猜想的證明框架。
深度學習大模型的本質是什麼?
某種意義上,是在高維空間中,對海量的看似無序的數據進行特徵提取與降維壓縮。
在數學上,可以被粗略抽象為等價於一種高維離散結構的近似與映射。
AI算法之所以是不透明的黑盒的原因之一,是這些數據在經過層層網絡壓縮後,其內部的信息熵是如何演化的,又為什麼沒有在降維的過程中丟失核心的特徵支撐。
而江臨剛剛在 PFR 證明中構建的核心武器,第三層損失回收機制與有限域上的熵控制函數,解決的恰恰就是高維結構在壓縮過程中的局部誤差攤還問題。
這原本只是為了解決純粹的加性組合學難題。
但這套用來約束殘餘譜、控制有限域熵形式坍縮的數學工具,如果能經過一層適當的離散化和模型化,或許能遷移出一套分析框架到機器學習的高維張量網絡中,為那個龐大的黑盒提供一條理論指導。
……
這場高質量的論壇整整持續了兩個半小時。
直到下午四點半左右,才在雷鳴般的掌聲中落下帷幕。
散場時,會場內的人流開始緩緩涌動。
不少心有不甘的參會者、年輕學者以及企業代表,紛紛離座,像潮水一樣圍向主席台前,希望能抓住最後的機會,和剛才發言的幾位嘉賓交換個微信,或是多請教兩句。
江臨最怕這種無意義的社交應酬,趁著人群還未完全擁堵,順著會場邊緣的側道快步往外走。
眼看就要走出主會場那扇厚重的大門了。
「江臨,等一下。」
一個渾厚的聲音從身後傳來。
江臨停下腳步,轉過身。
剛才在台上做過主旨發言的周志華教授,正撥開圍著他的人群,快步朝這邊走過來。
他步子邁得很大,臉上帶著那種長輩看到優秀晚輩時掩飾不住的欣賞笑意。
「周老師。」江臨禮貌地打招呼。
「早就聽過你的名字了,今天總算見到活人了。」周志華走到近前,上下打量了江臨一番,直奔主題,「你在江氏磚構造里用到的那一套數學方法,我們做AI理論的幾個博士生昨天還在組會上仔細研讀過。你的那個思路,太漂亮了。」
說到這裡,他順勢拋出橄欖枝。
「江臨,有沒有興趣花點時間,嘗試著做一點機器學習底層數學基礎理論的問題?如果你願意把有限狀態壓縮的思路,試著遷移到學習理論里,可能會有一些很有意思的交叉點。」
「謝謝周老師的認可和邀請。」 江臨的回答依然是那種滴水不漏的客套,「後續如果有合適的機會,或者遇到交叉領域的問題,一定向您請教交流。」
「好,一言為定。」 周志華知道這種級別的天才都有自己的主意,也沒有強求。
……
「江臨。」
周志華剛轉身離開,另一個聲音從會場右側的休息區柱子後面傳來。
江臨轉過頭。
韓硯山正站在兩排空蕩蕩的座椅之間。
他身上著一件洗得有些發白的舊格子襯衫,袖子被隨意地擼到了手肘以上。
才過去短短兩個月,韓硯山頭上的白髮似乎比在江大報告廳時又多了一些。
但他那雙眼睛,此刻卻比任何時候都要亮。
很顯然,他在這裡等了很久。
等完了整整兩個半小時的論壇,等完了散場時洶湧的人潮退去,等完了那些湧向江臨的祝賀、合影和名片交換全部結束。
「韓教授。」江臨看著他。
韓硯山沒有像其他人那樣上來先恭喜他拿了金獎,也沒有任何寒暄。
手伸進有些褪色的褲子口袋,掏出一張被摺疊過多次,邊緣已經有些起毛的A4紙。
他把紙遞到江臨面前。
江臨垂眸掃了一眼。
那是一張ICM報告視頻最後十分鐘的截圖列印稿。
圖片旁邊空白的地方,密密麻麻地寫滿了韓硯山做的筆記。
有的公式旁邊畫了重重的紅圈,有的地方打了巨大的問號,而在有限域橋接那個詞旁邊,韓硯山用紅色的水筆,重重地標了三個字:「非比喻。」
韓硯山深吸了一口氣,定定地看著面前這個十八歲的少年,問出了那個縈繞在他心頭五十天的問題。
「如果方便的話,關於有限域模型下的PFR猜想,你能不能談談現在究竟走到了哪一步?」
江臨倒是能理解韓硯山此時的心情。
他在這個方向上死磕了整整十二年。
他做過Freiman型結構定理的高維推廣,長期在近似群和小和集的泥潭裡摸爬滾打。
毫不誇張地說,放眼整個國內數學界,韓硯山是極少數幾個,能把PFR/Marton這條極其陡峭的技術路線,從頭到尾不帶任何磕絆地推演一遍的人。
對他這種人說主證明閉合,就好比告訴一個在珠峰大本營熬了十年的登山者:「嘿,那條最難的北坡路線,已經有人登頂了。」
登山者聽到這個消息,絕對不會先開香檳慶祝。
他會立刻衝上來,紅著眼睛質問你。
你的路線圖是什麼?
你在哪個海拔建的突擊營地?
你用了什麼裝備?
你等待的天氣窗口是幾號?
你的氧氣儲備是怎麼規劃的?
江臨略一思索,問道:「韓教授,您六月份從江大回去以後,有沒有繼續推演那個類比?」
韓硯山明顯愣了一下,沒料到江臨會反問。
但還是直接回答道:「推了,我推了整整五十天。」
語氣里難免帶上了些許自嘲和頹敗。
「推到最後,我發現,你當時說的那四個字,說不清,每一個字都是對的。從局部的結構強迫,跨越到全局的群近似,中間那道理論上的鴻溝,根本就不是靠直覺能跳過去的。」
「我後來推過去了。」
沒有任何修飾,沒有任何語氣的起伏的七個字,落在韓硯山耳朵里,卻無異於在他腦子裡引爆了一顆核彈。
韓硯山整個人僵住,連呼吸似乎都停頓了。
喉結艱難地上下滾了一下,他緊緊盯著江臨,像是在竭力確認,自己剛才聽到的話,是否真的是字面上的那個意思。
「關鍵引理證出來了?」韓硯山的聲音沙啞得厲害。
「接上了。」江臨答。
「覆蓋數的界是多少?」
「多項式級別,沒有掉回絕望的指數級。」
江臨條理清晰地拋出核心技術細節。
「核心在於第三層的損失回收機制,我設計了一個局部的替代構造,把原本在推導過程中會指數化膨脹的截斷項收住了。這個替代層級,和江氏磚里的邊界壓縮框架,在底層是共享同一個數學結構的。只是,在這裡,玩的不再是幾何鋪砌,而是有限域上的傅立葉支集收縮。」
韓硯山打量了江臨兩秒,忽然問道:「你收的是大譜,還是能量增量之後殘留下來的殘餘譜?」
這句話問得簡直一陣見血。
如果江臨只是泛泛而談,或者只是借用了幾個聽起來漂亮的詞,在這個問題面前立刻就會露餡。
因為在有限域模型下,真正難的並不是譜本身,而是那些在每一輪局部結構剝離之後,仍然沿著邊界條件不斷外泄的殘餘譜。
它們每泄一次,覆蓋數就膨脹一層,最後把所有多項式希望重新拖回指數地獄。
江臨卻不假思索就答說:「先剝殘餘譜,再回收能量損失。真正收住的不是譜,而是譜外泄造成的覆蓋數膨脹。」
韓硯山的瞳孔微微一縮。
江臨繼續侃侃而談:「第三層替代構造的作用,不是強行證明殘餘譜消失,而是在每一次局部截斷之後,把它重新投回一個可控的低維模型里。殘餘譜還在,但它不再自由擴散。只要它不自由擴散,覆蓋數就不會指數爆炸。」
韓硯山盯著江臨一動不動,像是要從他臉上看出這幾句話究竟是不是某種精心包裝過的幻覺。
片刻後,他忽然從隨身攜帶的公文包里取出紙筆。
「等一下,你先別往下說。」
他的聲音低得來,帶著近乎粗暴的急切。
江臨點點頭。
韓硯山並沒有沒有從定義開始推。
真正做過這個方向的人,根本不需要從什麼是弱倍增、什麼是大譜、什麼是有限域模型開始寫起。
那些東西早已經在他過去十二年的失敗里被反覆拆開、壓碎、重新拼合,變成了一種近乎本能的肌肉記憶。
他直接寫到了最危險的那一步。
設 (Asubsetmathbb F_2^n),滿足弱倍增條件。
歸一化指標,局部模型,傅立葉大譜。
譜剝離,能量增量,覆蓋數遞推。
一行又一行符號迅速鋪開。
起初,他寫得很快。
因為前面的路徑沒有懸念。
把(A)壓進有限域模型後,先取歸一化指示函數,再根據能量分布找出第一層大譜。
通過大譜張成的低余維子空間,對(A)做第一次結構化切片。
若切片上密度增量足夠,就進入下一輪。
若不足,就轉入近似子空間模型的覆蓋估計。
這些都是標準工具。
真正的問題從來不在第一層。
第一層的損失還能忍。
第二層也還能勉強維持在可接受範圍之內。
可到了第三層,所有漂亮的結構都會開始變形。
韓硯山寫到第三次譜剝離時,筆尖明顯慢了下來。
他在紙面上畫出一個極窄的括號,把一組殘餘頻率圈了出來。
它們處在一個最麻煩的位置,既不是主譜,也不是可以直接丟掉的噪聲。
每一個殘餘項單獨看都很小,小到不足以支撐新的結構定理。
但它們又沒有小到可以被誤差項完全吞掉。
一旦繼續遞推,這些殘餘譜會被迫進入下一輪局部模型,重新參與覆蓋估計。
而只要它們重新參與覆蓋估計,就必須重新支付一次譜維數損失。
韓硯山盯著那條遞推式,臉色一點點沉下去。
「我這五十天,一直卡在這一項。」
他用筆尖重重點了點 (d_j)。
「第三層之後,殘餘譜只要重新進入下一輪局部模型,就必須重新支付一次譜維數損失。這裡不是常數誤差,也不是可以塞進 (O(1)) 里的尾項。」
他的聲音壓低了些。
「它會直接改寫覆蓋數的增長階。」
江臨看了一眼那張紙,伸出手指,在韓硯山寫下的那條遞推式旁邊輕輕點了一下。
「你這裡多乘了一次。」
韓硯山眉頭猛地一皺。
江臨平靜道:「殘餘譜不應該作為下一輪自由譜重新進入遞推。」
韓硯山沒有說話。
江臨繼續道:「你把第三層之後的殘餘頻率看成新的譜對象,所以每一輪都要重新支付一次 Chang 型維數損失。我的處理不是繼續剝譜,而是給第二層剝離後留下的殘餘譜簇保留索引,把它們放進一個固定的低維替代模型里。」
韓硯山的瞳孔微微收縮。
這句話落下的一瞬間,他已經聽出了問題的關鍵。
並非繼續剝離,而是固定索引。
不是讓殘餘譜在下一輪里重新獲得自由度,而是把它們鎖定在前一層已經支付過代價的譜簇結構中。
江臨的手指沿著那條遞推式向後移動了半寸。
「第三層替代構造的作用,不是證明殘餘譜消失。它只做一件事:讓殘餘譜不再重新生成新的覆蓋方向。」
「能具體說說嗎?」韓硯山急急追問。
江臨道:「每一次局部截斷之後,殘餘項不進入新的覆蓋遞推,而是被投回上一層譜簇對應的低維模型里。它造成的誤差,由上一層能量增量沒有吃滿的缺口支付。」
會場邊緣的人聲仍然很雜。
有人拖動椅子,有人收拾資料,有人三三兩兩從主會場往外走。
可那些聲音在這一瞬間像是突然被隔到了很遠的地方。
韓硯山低下頭,盯著那條遞推式。
上一層能量缺口支付,殘餘譜簇固定索引。
不重新生成覆蓋方向。
下一刻,他重新落筆,沒有繼續沿著原來的遞推往下寫,而是在旁邊另起一行,把剛才那條乘法型損失拆開。
原本進入 (M_{j+1}) 的那一項,被他強行從覆蓋遞推里剝了出來。
然後在旁邊寫下一個新的局部誤差項。
mathcal E_j^{bad}
接著又在它下面寫:mathcal E_j^{bad}leq Delta E_j
(Delta E_j)。
能量增量的剩餘缺口。
如果殘餘譜造成的損失,不再作為新的覆蓋方向進入下一輪遞推,而是被上一層沒有完全消耗掉的能量缺口吸收,那麼原本最致命的逐層乘法損失,就會被切斷。
覆蓋數不再每一層都重新乘上一項。
它變成了局部攤還。
不是:M_{j+1}leq M_jcdot K^{C d_j}
而是:M_{j+1}leq M_jcdot K^{C d_0}+O(mathcal E_j^{bad})
更準確地說,真正增長的不是每一輪重新生成的譜維數,而是第一、第二層已經固定下來的譜簇複雜度。
壞項還在,殘餘譜還在,誤差也還在。
但它們都被攤還進了已經支付過代價的結構層里,不再擁有獨立製造覆蓋方向的資格。
韓硯山開始重新整理剛才那條失敗路徑。
第一層大譜,支付一次維數損失。
第二層局部化,固定譜簇索引。
第三層不再做自由譜剝離,而是做替代模型投影。
殘餘譜項進入能量缺口。
覆蓋遞推閉合。
他越寫越快。
原本密密麻麻的失敗推導旁邊,逐漸出現了一條新的損失流向圖。
當然,沒有邊界條件,沒有閾值選擇,沒有極端退化情形,沒有每一次局部化之後的誤差控制,沒有最終能否把所有常數壓進多項式界的精細估計。
它還不是完整證明。
遠遠不是。
但它已經不是一個空泛的想法。
因為那條最要命的遞推,形狀變了。
韓硯山盯著紙面,終於明白過來江臨所謂的第三層損失回收是什麼意思。
不是把第三層損失憑空抹掉。
也不是用一個更強的結構假設強行壓住所有殘餘項。
而是重新規定殘餘譜項的帳目歸屬。
過去所有失敗路線里,殘餘譜都會被當成下一輪新生成的自由譜,於是覆蓋數每推進一層,就要重複支付一次譜維數損失。
江臨沒有這麼做。
他把殘餘譜簇固定在上一層結構里,用能量增量的剩餘缺口支付它們,把原本不可控的乘法損失,改寫成了可攤還的局部誤差。
這根本就不是技巧上的微調,完全屬於遞推框架的重寫。
韓硯山慢慢地,把鼻樑上的眼鏡摘了下來。
鏡片後面那雙眼睛已經紅得厲害。
「關鍵不在譜集本身,殘餘譜項不能再被當成新一輪自由變量送進覆蓋遞推。」
他喃喃自語時,繼續看著那條新寫出來的損失流向,像是在一遍一遍確認自己並沒有因為疲憊而產生幻覺。
「而是把殘餘譜從覆蓋遞推里摘出來,改成能量缺口攤還。」
說完這句話,韓硯山猛地抬起頭。
流露出一個在同一條失敗路徑上走了十二年的人,突然發現自己一直以為無法閉合的遞推,竟然可以通過改變損失歸屬方式重新閉合時,才會出現的那種近乎失控的神情。
「江臨,如果這一步能做嚴,覆蓋數就不會掉回指數級。」
韓硯山的聲音沙啞得厲害。
江臨點頭。
韓硯山終於徹底失態。
「媽的。」
聲音很輕,並無任何粗魯的意思。
只有一種被十二年失敗反覆碾壓之後,突然看見遞推式重新閉合的巨大荒謬感。
「這不是一個局部引理能解釋的東西,如果殘餘譜的帳目歸屬真的能這麼改,那麼後面的覆蓋估計、熵控制函數,甚至Marton那邊的入口條件,全部都要重新寫。」
他抬起頭,看向江臨。
「所以,你補的不是一個引理,而是在改寫整條損失遞推。」
「只是改寫遞推還不夠。」
江臨看了一眼那張紙上已經擁擠到近乎凌亂的符號,搖搖頭。
「真正麻煩的是,Marton那邊不能沿常見的有限域轉譯路徑硬推。那條路為了保證熵結構不坍縮,通常要額外塞進很強的非退化條件,強到幾乎無法承接弱倍增對象。」
韓硯山猛地抬頭。
「所以你繞開了非退化假設?」
「不完全是繞開。」江臨道,「更準確地說,是不把它作為入口條件。」
韓硯山的呼吸明顯亂了一拍。
江臨繼續道:「我直接從弱倍增結構出發,構造一個熵控制函數。不是先假定對象足夠非退化,再去做覆蓋,而是先用第三層回收機制把覆蓋遞推壓住,再讓非退化性在有限域模型里作為結果退出來。」
「如果這樣做成立,Marton接橋部分就不再是PFR後面額外懸掛的一段證明,而是和弱倍增結構本身長在一起。」
韓硯山這一次,他沒有立刻追問。
因為那條被改寫後的遞推式,已經不只是在處理PFR的覆蓋數問題,而是在同時改變Marton接橋部分的入口條件。
剛才那條遞推一旦閉合,改變的就不只是PFR本身。
它會改變後續整個橋接路徑的入口條件。
傳統路線最痛苦的地方就在於,Marton熵形式需要足夠乾淨足夠規整,足夠非退化的對象。
可弱倍增對象偏偏不是這樣的東西。
它粗糙,歪斜,帶著大量局部殘餘結構。
你越要求它乾淨,它越接不進來。
但如果江臨的第三層損失回收成立,那麼弱倍增對象不需要一開始就滿足那組苛刻條件。
它可以先在覆蓋遞推里被壓住,再在熵控制函數中逐步顯露出可用的近似結構。
也就是說,非退化性從前提變成了結果。
韓硯山的筆重新落到紙上,沿著剛才那條損失流向,往後畫了三道箭頭。
PFR。
Marton熵形式。
Freiman型結構壓縮。
然後停在第三個詞旁邊,遲遲沒有移動。
如果這條鏈真的成立,PFR就不是孤立結果。
Marton覆蓋就不是旁支問題。
Freiman型結構定理的高維壓縮,也不再只是靠舊工具硬推的延伸。
這裡會出現一套全新的技術語言。
一套以殘餘譜攤還、熵控制函數和有限域模型壓縮為核心的技術語言。
韓硯山重新戴上眼鏡,鄭重問道:「這件事,有幾個人看過原稿?」
「林照野老師知道我已經閉合了這個事實。」江臨答道。
韓硯山沉默了一下。
林照野不是這個方向的。
在現代數學這種恐怖的精度要求下,隔行,就是隔了幾個宇宙。
「你剛才說,你那個第三層損失回收的構造,連你自己都需要復盤三個整天才能重新定位。」韓硯山看著江臨。
「是的。」
「那你知不知道放眼整個國內數學界,有多少人,能在三個整天裡,看懂你這個構造?」
江臨搖搖頭。
他對數學界的人並沒有多少了解。
「目前國內在這個細分領域,能跟你在這個高精度層面上進行實質性對話的人,我說的不是那種泛泛而談的討論,也不是那種理解個大意的點頭,而是真真正正一行一行地看完你的證明稿,找出所有隱藏在角落裡的邊界條件,確認你的每一步推導沒有出現任何邏輯跳躍的人,不會超過五個。」
韓硯山豎起了五根手指,語氣裡帶著一股當仁不讓的傲氣。
「能立刻坐下來和你逐行對證明的人,更少,我算一個。」
……
當林照野終於在空曠的主會場外圍找到他們兩個的時候,韓硯山的眼鏡又被摘下來了。
他正坐在一張桌子旁,用手指壓著那張已經快被寫滿的 A4 紙,另一隻手握著簽字筆,在紙張邊緣繼續補一條別人看不懂的損失流向。
江臨則安靜地站在旁邊,時不時指點一句。
「你們倆原來在這兒。」
林照野快步走近,鬆了一口氣。
「我剛才在裡面找了半圈都沒看見人。」
然後他就看到了桌面上韓硯山的推導。
「韓教授,看來你也知道了啊。」林照野笑著,試探了一句,「那麼,韓教授,你準備怎麼做?」
韓硯山低頭看了一眼紙面,說:「江臨說,他還需要時間把技術備忘錄整理出來。那麼到時候,主幹結構的審查就需要兩個截然不同方向的同行。」
他的腦子轉得飛快。
「第一個,需要做離散組合和加性結構的人,能夠把有限域上的傅立葉支集收縮部分,進行整體和細節的交叉校驗。這部分,我來接。」
「另一個,必須能從熵和資訊理論的最底層邏輯出發,去檢查他關於 Marton 接橋部分的那套構造。這需要極其深厚的跨界功底。」
「你心裡有人選了?」林照野問。
韓硯山的手指在那張 A4 紙上點了一下一個名字。
「趙宇飛。」
「MIT 數學系的那位最年輕的副教授?」林照野微微一驚。
「對。」
韓硯山語速極快。
「他個人主頁上研究方向的第三行,就赫然寫著加性組合學。我仔細讀過他關於極值組合學和圖正則性引理的所有核心論文。他很擅長使用概率方法,他的數學工具箱——圖極限、正則性引理、概率放縮——和江臨這次解決 PFR 的底層框架,在方法論上高度兼容。」
「Marton 接橋部分的非退化構造極其反直覺。需要一個人既能從離散組合的角度理解那些變態的約束條件,又能從熵和資訊理論的宏觀層面驗證整個近似結構的穩定性。」
「趙宇飛不是傳統資訊理論出身,但他對高維離散結構的概率化處理極強,恰好能看出這套熵形式是不是只是在符號上成立,還是確實承載了組合結構。」
「目前來看,他是全世界最合適的人選之一。」
韓硯山停頓了一下。
「可惜,我與他並無私交,或許可以請丘先生幫忙引薦。」
林照野皺眉想了想:「但他現在人不在國內。」
「不在國內沒關係,我這就給他發一封郵件。」韓硯山是個典型的行動派,說著就要轉身。
「其實要說國內,丁劍教授是做概率論和統計物理出身的。」林照野卻忽然開口。
韓硯山腳步一頓。
林照野繼續:「要說對熵形式的數學直覺,目前國內沒人比他更強。如果他看了之後,願意從統計物理的角度,幫江臨把把關,就不需要等趙宇飛橫跨太平洋的時差回復了。」
「行,那就先找丁教授。」韓硯山的話語中透著壓抑不住的近乎荒唐的興奮。