第156章 世界重新校準坐標
八月二十四日,晚上十一點十七分。
紫荊公寓17號樓402室。
江臨登錄預印本伺服器。
先打開本地校驗工具,光標在終端窗口裡快速閃爍。
【PFR_Marton_v1.0_public.pdf】
文件是完成公開發布封裝後的PFR/Marton v1.0-public。
主證明鏈路仍沿用受控流通包的哈希錨定版本,新增部分只是公開版的導航、C-2說明、形式化驗證導引和版本索引。
哈希指紋與公開只讀鏡像記錄完全一致。
江臨看了一眼屏幕右上角的時間,數字無聲地跳動了一下,變成了十一點十八分。
他握住滑鼠,把文件拖入上傳窗口。
標題欄自動填入論文名。
【Polynomial Freiman-Ruzsa in Finite Field Models and an Entropic Bridge to Marton’s Form(有限域模型中的多項式Freiman-Ruzsa與通向Marton形式的熵橋)】
作者欄只有一個名字。
Jiang Lin。
沒有導師。
沒有課題組。
沒有聯合通訊作者。
在這片由加性組合學、資訊理論和概率論交織的深水區里,他是一個獨行者。
單位欄里,江臨稍一思索,敲擊鍵盤,填下兩行。
Yau Mathematical Sciences Center,Tsinghua University.
Qiuzhen College,Tsinghua University.
從今天開始,這份PFR/Marton v1.0公開版將由清華數學科學中心承接討論、歸檔反饋、組織消化。
而江臨本人,也確實已經是清華求真書院2022級本科生。
摘要框裡,是他已經反覆刪改過的那段英文。
有限域模型。
Polynomial Freiman-Ruzsa主證明閉合。
Marton熵形式接橋。
退化情形索引。
非均勻密度殼層下的重複支付隔離。
他沒有把它吹得更大,去聲稱解決了所有阿貝爾群下的情況。
也沒有把它藏得更小,去掩蓋它在有限域內跨越擬多項式屏障的驚人事實。
確認無誤後,江臨點擊提交。
進度條走到盡頭。
頁面刷新。
預印本編號生成。
公開連結出現。
江臨複製連結,打開郵箱客戶端,將連結發給清華數學科學中心的歸檔郵箱,同時同步給韓硯山、丁劍、林照野、顧南舟,以及此前已經進入受控審閱鏈的幾位海外學者。
郵件正文只有三行,像是一份系統執行日誌。
【PFR/Marton v1.0 public version uploaded.】
【The file hash matches the controlled circulation package.】
【No further changes after release.】
發完之後,他關掉瀏覽器,調出終端,保存系統日誌。
本地Git最後一次提交記錄停在【release-public-v1.0】。
窗外,清華校園仍在夜色里沉睡。
遠處的樹影在微風中輕輕搖晃,偶爾有幾聲夏末的蟲鳴傳來。
大多數新生還在為第二天的軍訓補覺,他們的世界裡,最大的煩惱或許只是明天太陽會不會太毒,教官會不會太嚴。
但從這一刻開始,一份編號剛剛生成的預印本,已經化作一道無聲的驚雷,劈入了整個數學共同體的公共視野。
午夜十二點二十九分。
清華數學科學中心,三樓的一間博士生辦公室里,燈還亮著。
博士生李舟正對著電腦屏幕上密密麻麻的張量公式薅頭髮。
他的畢業論文進展緩慢,此刻正處於一種極度焦慮和注意力渙散的邊緣狀態。
為了逃避眼前的公式,他習慣性地打開了預印本網站的最新提交頁面,漫無目的地刷新了一下。
最近幾天,江臨PFR/Marton手稿在小範圍討論群里的流轉,已經足夠刺激他們這些處於學術底層攀爬者的神經。
中心裡到處是竊竊私語,許多人都知道,那個傳說中的正式公開版遲早會出現。
但真正看到頁面刷出來,看到那個占據了列表頂端的長標題時,李舟還是愣了一下。
標題太長。
作者太短。
他下意識點開PDF連結。
網絡稍微卡頓了半秒,隨後,第一頁加載出來。
標題、作者、摘要,以及接下來密密麻麻、邏輯森嚴展開的目錄。李舟的目光掃過摘要中的Entropic Bridge,心跳猛地漏了一拍。
他手忙腳亂地把連結複製,轉進導師組的微信大群里。
消息發出後,群里的已讀人數在短短十秒內從1跳到了15。
但沒有人回復。
一分鐘,兩分鐘。
空氣仿佛凝固了。
平時任何重要預印本出現,群里總會有人先發幾句玩笑、貼個背景介紹、提出幾點初步質疑,或者至少發個先碼後看的表情包活躍氣氛。
這一次,完全沒有。
所有的閒聊、所有的客套都被巨大的學術質量壓制了。
屏幕背後的那十幾個人,包括幾位正教授,都在同一時間點開了PDF,陷入了那種面對龐大且未知的證明結構時,本能的屏息凝神之中。
凌晨一點四十六分。
海外學術郵件列表里,第一封轉發出現。
轉發人是牛津大學的湯姆·桑德斯(Tom Sanders),加性組合學領域的核心人物之一。
郵件的標題很短。
【Jiang's PFR/Marton preprint】
正文也短得令人髮指,卻字字千鈞:
【The public version is now available. The finite-field PFR route crosses the old quasi-polynomial barrier in the stated model. The accounting is unusually explicit; this is not a sketch.】
「不是草圖(not a sketch)。」
這句話猶如一記重錘,很快被人截圖發回國內的學術圈。
在數學界,sketch往往意味著一種思路、一個框架,雖然有價值,但距離真正無懈可擊的證明還有十萬八千里,隨時可能因為一個微小的技術漏洞而全盤崩潰。
而桑德斯用上了unusually explicit(異常明確)來形容文中的帳目計算,這是極高的評價。
凌晨兩點零三分。
陶哲軒在自己的WordPress博客評論區回復了一個網友關於近期PFR傳聞的相關提問。
【In the stated finite-field setting, the main PFR chain appears closed. The remaining task for the community is no longer to locate an obvious missing step, but to digest the mechanism.】
這條回復被截圖轉發到各大論壇時,最先被眾人圈出來的是兩個詞。
closed。
digest。
主鏈路已經閉合。
接下來不是去找證明里有沒有顯然的缺口,而是去消化這套機制。
這句話的潛台詞是:江臨的這座大廈已經建成,現在輪到我們這些同行去理解它的承重牆是怎麼設計的了。
凌晨兩點二十七分。
蒂莫西·高爾斯(Timothy Gowers,菲爾茲獎得主)在個人博客里更新了一條短文。
短文標題是:【A machine with closed accounts】(一台帳目閉合的機器)
高爾斯的文筆向來帶有英式學者特有的生動與犀利。
他寫道——
「在閱讀這份手稿的前二十頁時,我試圖尋找傳統加性組合學裡的那些小把戲,但我失敗了。這既不是一個一頁紙技巧,也不是某個漂亮引理突然擊穿整座城牆的浪漫故事,它更像一台複雜的重工業機器。令人驚訝的不是機器足夠複雜,而是帳目足夠清楚。每一個自由度的消耗,每一次熵的支付,都在非均勻密度殼層下被記錄得明明白白,沒有任何顯然可得的含糊其辭。」
這句話一傳回國內,水木社區數學版直接炸了。
很多人不懂PFR。
不懂Marton熵形式。
更不懂有限域模型下的H(X+Y)究竟是怎麼通過非對稱分布來控制結構爆炸的。
但他們至少知道,高爾斯不是會輕易為一台看上去很複雜的機器背書的人。
能讓高爾斯用重工業機器來形容的證明,其內部邏輯的咬合力必然已經達到了某種恐怖的精度。
凌晨兩點四十一分。
本·格林(Ben Green)轉發預印本連結。
他只寫了一句,卻讓無數正在研究該方向的博士生感到絕望又興奮。
【The entry point to PFR in finite field models will need to be rewritten.】
(有限域模型下PFR的入口,需要被重寫了。)
凌晨三點零六分。
弗雷迪·曼納斯(Freddie Manners)在同一郵件線程下補充——
【The shell-account separation is not cosmetic; it is part of why the proof can be read.】
(殼層-帳目的分離並非表面功夫;正是這種架構,讓整個證明具備了可讀性。)
凌晨三點三十三分。
夏查爾·洛維特(Shachar Lovett)從理論計算機科學一側轉發連結,將這場風暴從純數學引向了計算機科學。
【Several equivalence chains around PFR and inverse theorems should be rechecked against Jiang's formulation.】
這些聲音,在短短几個小時內,像一張龐大而緻密的網絡,覆蓋了全球。
每一個真正處在關鍵節點上的人,都從自己最熟悉的方向伸出手,摸了一下那條新出現的證明鏈。
然後,他們陸續給出了同一個方向的判斷。
在聲明範圍內,主鏈路已經閉合。
凌晨三點五十二分。
科普博主沈硯秋轉發了陶哲軒那條回復。
上一場引發全網爭議的直播,他剛剛對著幾萬觀眾的鏡頭說過,自己拿到了完整手稿,也認真讀過,但沒有資格審。
他還頂著漫天的彈幕謾罵說,判斷權不在他手裡,也不在任何網友手裡。
現在,判斷權沒有以一份紅頭文件或者官方聲明的方式落下。
它是從加州、從劍橋、從牛津,從幾個不同方向同時壓下來的。
湯姆·桑德斯。
陶哲軒。
高爾斯。
本·格林。
弗雷迪·曼納斯。
夏查爾·洛維特。
再加上國內早已參與閉門報告的韓硯山和丁劍。
它不是一份正式鑑定書。
但在數學共同體裡,幾個關鍵方向的人分別說出相近判斷,本身的份量就已經足夠重。
沈硯秋坐在電腦前,看著屏幕上不斷跳動的海外反饋,手指在鍵盤上懸停了很久。
他沒有再開直播去蹭這波驚天流量,也沒有寫長文去分析這篇論文到底有多偉大。
他只發了兩句話。
【昨晚我說,判斷權不在我手裡。】
【現在,真正有資格的人已經開始給出答案。】
這條動態發出去不到一分鐘,評論區開始瘋狂刷新。
沈硯秋卻沒有再回復任何一條評論。
在真正的大山面前,保持靜默,就是最好的註腳。
凌晨四點二十。
水木數學版首頁已經被PFR/Marton完完全全刷屏了。
整個版面的十幾個熱帖,清一色全是關於江臨的討論。
最熱的一帖,熱度已經標紅,標題是——
【江臨PFR/Marton公開版上線,陶、Gowers、Sanders等已發聲】
前幾樓的回覆極其短促,帶著一種熬夜見證歷史的狂熱。
一樓:「預印本連結在這裡,不說了,我去洗把臉接著啃。」
二樓:「兄弟們,不是之前小群里流傳的草稿版,正式公開版,排版漂亮得像藝術品。」
三樓:「陶的回覆看到了嗎?main chain appears closed。這等於直接蓋章了啊!」
四樓:「Gowers那句帳目閉合太狠了,直接把很多想找茬的人的嘴給堵上了。」
五樓:「Ben Green說入口要重寫,這意味著以後的教材和綜述,這一章都要改寫了。」
六樓:「所以現在不是討論對不對了?」
七樓:「樓上的,早都不是普通網友能討論對不對的時候了。沒看那幾個大佬的用詞嗎?digest(消化)。人家現在是在學習這個證明機制。」
八樓:「韓硯山他們前幾天的閉門會,現在看,應該已經給過國內判斷了。難怪中心那邊這幾天安靜得可怕,原來是在憋大招。」
九樓:「江氏磚之後,他又拿了一個大成果。這速度,不是人啊。」
十樓:「不一樣,江氏磚是一塊磚,這次是一座橋。」
「江氏磚是一塊磚,這次是一座橋。」
這句話很快被頂到了最高贊,甚至被許多人設為了簽名檔。
因為它足夠簡潔,也足夠準確。
江氏磚的爽點,在於一個極端具體的構造,簡單粗暴地直接砸穿了非周期平鋪問題里一扇封閉多年的門。
它令人驚艷,但它是一個孤立的突擊點。
而PFR/Marton不同。
它的一端是小倍增與結構壓縮。
一端是熵形式和自由度支付。
中間跨過的,是加性組合學、概率、資訊理論和理論計算機科學共同關注的一片深水區。
它連接了兩塊原本只能隔海相望的大陸,在此之後,無數的研究者可以通過這座熵形式接橋,在這兩個領域之間自由往來,甚至開發出新的理論礦脈。
早晨六點。
紫荊公寓17號樓402室。
江臨的手機鬧鐘準時響起。
沒有任何拖泥帶水,他按掉鬧鐘,直接從床上坐了起來。
窗外天色剛剛亮起,灰藍色的晨光透過窗簾的縫隙漏進來。
在他視野的右上角,一組只有他自己能看到的倒計時仍在無聲地跳動。
江臨看了一眼手機郵箱提示。
未讀郵件已經超過一百封。
有數學中心的自動歸檔確認信。
有韓硯山的簡短回覆:【公開版已讀,很好。】
有丁劍發來的關於文章結構在後續討論班上如何拆解的建議。
還有幾十封來自全球各地、名字曾在教科書上出現過的海外學者的郵件。
江臨放下手機,走進衛生間洗漱,換上軍訓服。
迷彩上衣帶著一點曬乾後的硬挺感,嗯,很乾淨。
比較難受的是那雙膠鞋,仍然有點磨腳。
他在床邊坐下,把昨天晚上仔細剪好的減震鞋墊重新塞進鞋底,然後確認腳後跟已經貼好防磨膠布。
然後拿起桌上的軍訓帽,扣在頭上,推門而出。
七點十分。
求真221班在紫荊操場集合。
空氣中還沒有完全散去清晨的涼意,但隊伍里的氣氛明顯比往常要躁動得多。
許多人昨晚睡前就刷到了沈硯秋的直播切片,早上醒來打開手機,又發現PFR/Marton正式預印本已經上線的新聞鋪天蓋地。
海外幾個如雷貫耳的名字陸續發聲,清華校內各大群里更是轉發得熱火朝天。
很多人都在用眼角的餘光偷偷打量著站在隊伍後排的江臨。
一場訓練下來,教官下令解散休息。
趙承宇蹭到江臨旁邊坐下,迷彩領口解開兩顆,額角還掛著汗,眼鏡片後面壓著熬夜的紅血絲。
他先擰開礦泉水灌了大半瓶,才偏頭開口,語氣里裹著點荒誕的笑意:「你凌晨掛的那版,昨晚我本來想看摘要,後來發現我連摘要後面的入口都沒摸到。」
「術業有專攻。」
江臨應了一句,擰上杯蓋。
「你這是我們這2字求真屆的參照系重置了。」
趙承宇自嘲似的扯了扯嘴角。
「我們這周還在抽代里摳群同構,你直接把 PFR 的入口給揚了。本·格林那句入口要重寫,今早被學長們轉瘋了。」
江臨抬眼看向不遠處吹哨的教官:「先集合。」
趙承宇看著對方一臉波瀾不驚的樣子,最後只低低嘖了一聲,撐著膝蓋起身。
往隊列走了兩步,又回頭補了句,聲音很輕,是同屆學生才懂的感慨:「真離譜啊,同屆的。」
教官走到方陣正前方,猛地吹響了哨子。
「集合!」
隊伍在一瞬間迅速安靜下來,所有的躁動都被壓抑在了迷彩服下。
點名開始。
「趙承宇。」
「到。」
「陳啟明。」
「到。」
「江臨。」
「到。」
……
同一時間。
清華數學科學中心官網後台的訪問量曲線,開始出現異常陡峭的爬升。
上午八點四十分,數學中心發布了今天的第一條學術動態。
【江臨關於有限域模型PFR與Marton熵形式接橋的預印本公開】
正文部分完全是很高級別的學術通報標準。
【江臨提交的PFR/Marton v1.0預印本已於今日凌晨公開。該手稿此前已在數學科學中心閉門技術報告中完成主鏈路說明。經相關方向多位學者獨立核驗,在手稿明確聲明的有限域模型範圍內,Polynomial Freiman-Ruzsa主證明鏈路成立;Marton熵形式接橋部分邏輯自洽。數學科學中心將於近期組織系列專題討論,供相關方向研究者系統消化該手稿結構。】
九點三十分。
清華大學主頁同步發布新聞。
【江臨在有限域模型PFR方向取得重要突破】
新聞的排版同樣嚴謹。
第一段客觀陳述科研成果。
第二段列舉預印本發布情況、海外相關方向頂級學者的初步反饋,以及數學科學中心後續將組織的系統消化討論班。
然後是第三段。
【江臨為清華大學求真書院2022級本科生,曾獲得第九屆世界華人數學家大會數學金獎,並因非周期平鋪問題中的江氏磚構造受到國際關注。目前,清華大學丘成桐數學科學中心為其提供學術承接與研究支持。】
上午十點二十。
清華大學行政樓內,一場內部的臨時協調會提前召開。
會議室里的氣氛略顯嚴肅,坐著的有數學中心的幾位核心負責人、求真書院的主管教務老師,還有學校層面的幾位行政領導。
會議的議題,不是如何統一對外的宣傳口徑。
也不是要不要給江臨增加什麼特殊安排。
這一點早在錄取階段,在江臨憑藉江氏磚震撼學界時就已經討論並落實過了。
數學中心二樓那間寬敞的獨立辦公室,紫荊17號樓單獨配置的單人公寓,二十四小時暢通無阻的門禁系統,以及直接對接教授的單獨學術接口……
這些,本來就是為了一個非標準,甚至可以說是極其稀有的天才學生準備的制度緩衝區。
可現在,這個緩衝區顯然不夠用了。
PFR/Marton預印本公開後的這幾個小時內發生的一切,讓在座的所有人意識到,江臨需要的已經遠遠不是所謂的特殊學生待遇。
而是一個能夠承接一個成熟,且具有巨大影響力的獨立研究者的制度殼層。
數學中心的一位副主任推了推眼鏡,把話說得很直接。
「辦公室的硬體不是問題。」
「他已經有全中心最好的辦公室之一。」
「問題是,那間辦公室現在只是一個安靜的房間。他一個人坐在裡面,是應付不了接下來的局面的。」
「所以,我們要考慮的不是再給他添置一張辦公桌或者幾台高配置電腦,而是必須把那間房間升級成一個五臟俱全的研究單元。」
會議室里安靜了一下。
教務老師手中的筆停頓在半空。
副主任說得很具體,每一項都切中要害。
「手稿的版本管理和後續修訂。」
「龐大的國際通信歸檔與回復溝通。」
「接下來要開展的系列討論班的反饋整理與技術備忘。」
「也許還會涉及到與計算機系合作的定理形式化驗證接口。」
「絡繹不絕的國內外訪問學者接待。」
「以及每天都在呈指數級增長的媒體、商業和行政邀約的過濾。」
「這些事情,如果學校沒有建立專門的支撐團隊,最後這些瑣碎的、消耗精力的爛攤子都會回到江臨本人身上,我們不能讓一個能推導PFR的人去回那些商務郵件。」
求真書院那邊的老師翻著面前厚厚的學籍筆記,低聲提醒了一句:「但從規章制度上講,他的學籍仍然在書院,他還是個大一新生。」
「學籍當然在書院,這是客觀事實。」數學中心負責人接過了話頭,語氣堅定,「但在科研系統和行政管理里,我們不能再單純只把他登記成一個本科生。大家心知肚明,他現在的學術水平,根本不適合掛在任何一個教授的導師名下,他也不可能是某個課題組裡的學生成員。」
負責人環視了一圈會議室。
「他應該單獨建檔。」
「我的建議是:以江臨個人為核心,建立一個獨立的研究單元,配置專門的學術秘書和行政助理。」
這句話落下,會議室里幾位校級領導都抬了抬頭。
研究單元。
這不是普通本科培養方案里會出現的詞,它更接近數學中心為獨立PI配置的支撐結構。
這也意味著,清華大學在行政建制上,不再只是給一個天才學生提供一個安靜的環境。
而是白紙黑字地承認,這個年僅十八歲的學生本身,就已經具備了成為一個前沿研究組織核心的資格與當量。
片刻的沉默後,宣傳部的一位負責人提醒道:「如果這麼破格,那後續的宣傳口徑呢,外界可能會有過度解讀。」
「我們就是按照成果,提供我們擁有的學術承接環境。」
數學中心負責人搖了搖頭。
「這不是破格,應該叫匹配。」
紫荊公寓17號樓402室。
江臨登錄預印本伺服器。
先打開本地校驗工具,光標在終端窗口裡快速閃爍。
【PFR_Marton_v1.0_public.pdf】
文件是完成公開發布封裝後的PFR/Marton v1.0-public。
主證明鏈路仍沿用受控流通包的哈希錨定版本,新增部分只是公開版的導航、C-2說明、形式化驗證導引和版本索引。
哈希指紋與公開只讀鏡像記錄完全一致。
江臨看了一眼屏幕右上角的時間,數字無聲地跳動了一下,變成了十一點十八分。
他握住滑鼠,把文件拖入上傳窗口。
標題欄自動填入論文名。
【Polynomial Freiman-Ruzsa in Finite Field Models and an Entropic Bridge to Marton’s Form(有限域模型中的多項式Freiman-Ruzsa與通向Marton形式的熵橋)】
作者欄只有一個名字。
Jiang Lin。
沒有導師。
沒有課題組。
沒有聯合通訊作者。
在這片由加性組合學、資訊理論和概率論交織的深水區里,他是一個獨行者。
單位欄里,江臨稍一思索,敲擊鍵盤,填下兩行。
Yau Mathematical Sciences Center,Tsinghua University.
Qiuzhen College,Tsinghua University.
從今天開始,這份PFR/Marton v1.0公開版將由清華數學科學中心承接討論、歸檔反饋、組織消化。
而江臨本人,也確實已經是清華求真書院2022級本科生。
摘要框裡,是他已經反覆刪改過的那段英文。
有限域模型。
Polynomial Freiman-Ruzsa主證明閉合。
Marton熵形式接橋。
退化情形索引。
非均勻密度殼層下的重複支付隔離。
他沒有把它吹得更大,去聲稱解決了所有阿貝爾群下的情況。
也沒有把它藏得更小,去掩蓋它在有限域內跨越擬多項式屏障的驚人事實。
確認無誤後,江臨點擊提交。
進度條走到盡頭。
頁面刷新。
預印本編號生成。
公開連結出現。
江臨複製連結,打開郵箱客戶端,將連結發給清華數學科學中心的歸檔郵箱,同時同步給韓硯山、丁劍、林照野、顧南舟,以及此前已經進入受控審閱鏈的幾位海外學者。
郵件正文只有三行,像是一份系統執行日誌。
【PFR/Marton v1.0 public version uploaded.】
【The file hash matches the controlled circulation package.】
【No further changes after release.】
發完之後,他關掉瀏覽器,調出終端,保存系統日誌。
本地Git最後一次提交記錄停在【release-public-v1.0】。
窗外,清華校園仍在夜色里沉睡。
遠處的樹影在微風中輕輕搖晃,偶爾有幾聲夏末的蟲鳴傳來。
大多數新生還在為第二天的軍訓補覺,他們的世界裡,最大的煩惱或許只是明天太陽會不會太毒,教官會不會太嚴。
但從這一刻開始,一份編號剛剛生成的預印本,已經化作一道無聲的驚雷,劈入了整個數學共同體的公共視野。
午夜十二點二十九分。
清華數學科學中心,三樓的一間博士生辦公室里,燈還亮著。
博士生李舟正對著電腦屏幕上密密麻麻的張量公式薅頭髮。
他的畢業論文進展緩慢,此刻正處於一種極度焦慮和注意力渙散的邊緣狀態。
為了逃避眼前的公式,他習慣性地打開了預印本網站的最新提交頁面,漫無目的地刷新了一下。
最近幾天,江臨PFR/Marton手稿在小範圍討論群里的流轉,已經足夠刺激他們這些處於學術底層攀爬者的神經。
中心裡到處是竊竊私語,許多人都知道,那個傳說中的正式公開版遲早會出現。
但真正看到頁面刷出來,看到那個占據了列表頂端的長標題時,李舟還是愣了一下。
標題太長。
作者太短。
他下意識點開PDF連結。
網絡稍微卡頓了半秒,隨後,第一頁加載出來。
標題、作者、摘要,以及接下來密密麻麻、邏輯森嚴展開的目錄。李舟的目光掃過摘要中的Entropic Bridge,心跳猛地漏了一拍。
他手忙腳亂地把連結複製,轉進導師組的微信大群里。
消息發出後,群里的已讀人數在短短十秒內從1跳到了15。
但沒有人回復。
一分鐘,兩分鐘。
空氣仿佛凝固了。
平時任何重要預印本出現,群里總會有人先發幾句玩笑、貼個背景介紹、提出幾點初步質疑,或者至少發個先碼後看的表情包活躍氣氛。
這一次,完全沒有。
所有的閒聊、所有的客套都被巨大的學術質量壓制了。
屏幕背後的那十幾個人,包括幾位正教授,都在同一時間點開了PDF,陷入了那種面對龐大且未知的證明結構時,本能的屏息凝神之中。
凌晨一點四十六分。
海外學術郵件列表里,第一封轉發出現。
轉發人是牛津大學的湯姆·桑德斯(Tom Sanders),加性組合學領域的核心人物之一。
郵件的標題很短。
【Jiang's PFR/Marton preprint】
正文也短得令人髮指,卻字字千鈞:
【The public version is now available. The finite-field PFR route crosses the old quasi-polynomial barrier in the stated model. The accounting is unusually explicit; this is not a sketch.】
「不是草圖(not a sketch)。」
這句話猶如一記重錘,很快被人截圖發回國內的學術圈。
在數學界,sketch往往意味著一種思路、一個框架,雖然有價值,但距離真正無懈可擊的證明還有十萬八千里,隨時可能因為一個微小的技術漏洞而全盤崩潰。
而桑德斯用上了unusually explicit(異常明確)來形容文中的帳目計算,這是極高的評價。
凌晨兩點零三分。
陶哲軒在自己的WordPress博客評論區回復了一個網友關於近期PFR傳聞的相關提問。
【In the stated finite-field setting, the main PFR chain appears closed. The remaining task for the community is no longer to locate an obvious missing step, but to digest the mechanism.】
這條回復被截圖轉發到各大論壇時,最先被眾人圈出來的是兩個詞。
closed。
digest。
主鏈路已經閉合。
接下來不是去找證明里有沒有顯然的缺口,而是去消化這套機制。
這句話的潛台詞是:江臨的這座大廈已經建成,現在輪到我們這些同行去理解它的承重牆是怎麼設計的了。
凌晨兩點二十七分。
蒂莫西·高爾斯(Timothy Gowers,菲爾茲獎得主)在個人博客里更新了一條短文。
短文標題是:【A machine with closed accounts】(一台帳目閉合的機器)
高爾斯的文筆向來帶有英式學者特有的生動與犀利。
他寫道——
「在閱讀這份手稿的前二十頁時,我試圖尋找傳統加性組合學裡的那些小把戲,但我失敗了。這既不是一個一頁紙技巧,也不是某個漂亮引理突然擊穿整座城牆的浪漫故事,它更像一台複雜的重工業機器。令人驚訝的不是機器足夠複雜,而是帳目足夠清楚。每一個自由度的消耗,每一次熵的支付,都在非均勻密度殼層下被記錄得明明白白,沒有任何顯然可得的含糊其辭。」
這句話一傳回國內,水木社區數學版直接炸了。
很多人不懂PFR。
不懂Marton熵形式。
更不懂有限域模型下的H(X+Y)究竟是怎麼通過非對稱分布來控制結構爆炸的。
但他們至少知道,高爾斯不是會輕易為一台看上去很複雜的機器背書的人。
能讓高爾斯用重工業機器來形容的證明,其內部邏輯的咬合力必然已經達到了某種恐怖的精度。
凌晨兩點四十一分。
本·格林(Ben Green)轉發預印本連結。
他只寫了一句,卻讓無數正在研究該方向的博士生感到絕望又興奮。
【The entry point to PFR in finite field models will need to be rewritten.】
(有限域模型下PFR的入口,需要被重寫了。)
凌晨三點零六分。
弗雷迪·曼納斯(Freddie Manners)在同一郵件線程下補充——
【The shell-account separation is not cosmetic; it is part of why the proof can be read.】
(殼層-帳目的分離並非表面功夫;正是這種架構,讓整個證明具備了可讀性。)
凌晨三點三十三分。
夏查爾·洛維特(Shachar Lovett)從理論計算機科學一側轉發連結,將這場風暴從純數學引向了計算機科學。
【Several equivalence chains around PFR and inverse theorems should be rechecked against Jiang's formulation.】
這些聲音,在短短几個小時內,像一張龐大而緻密的網絡,覆蓋了全球。
每一個真正處在關鍵節點上的人,都從自己最熟悉的方向伸出手,摸了一下那條新出現的證明鏈。
然後,他們陸續給出了同一個方向的判斷。
在聲明範圍內,主鏈路已經閉合。
凌晨三點五十二分。
科普博主沈硯秋轉發了陶哲軒那條回復。
上一場引發全網爭議的直播,他剛剛對著幾萬觀眾的鏡頭說過,自己拿到了完整手稿,也認真讀過,但沒有資格審。
他還頂著漫天的彈幕謾罵說,判斷權不在他手裡,也不在任何網友手裡。
現在,判斷權沒有以一份紅頭文件或者官方聲明的方式落下。
它是從加州、從劍橋、從牛津,從幾個不同方向同時壓下來的。
湯姆·桑德斯。
陶哲軒。
高爾斯。
本·格林。
弗雷迪·曼納斯。
夏查爾·洛維特。
再加上國內早已參與閉門報告的韓硯山和丁劍。
它不是一份正式鑑定書。
但在數學共同體裡,幾個關鍵方向的人分別說出相近判斷,本身的份量就已經足夠重。
沈硯秋坐在電腦前,看著屏幕上不斷跳動的海外反饋,手指在鍵盤上懸停了很久。
他沒有再開直播去蹭這波驚天流量,也沒有寫長文去分析這篇論文到底有多偉大。
他只發了兩句話。
【昨晚我說,判斷權不在我手裡。】
【現在,真正有資格的人已經開始給出答案。】
這條動態發出去不到一分鐘,評論區開始瘋狂刷新。
沈硯秋卻沒有再回復任何一條評論。
在真正的大山面前,保持靜默,就是最好的註腳。
凌晨四點二十。
水木數學版首頁已經被PFR/Marton完完全全刷屏了。
整個版面的十幾個熱帖,清一色全是關於江臨的討論。
最熱的一帖,熱度已經標紅,標題是——
【江臨PFR/Marton公開版上線,陶、Gowers、Sanders等已發聲】
前幾樓的回覆極其短促,帶著一種熬夜見證歷史的狂熱。
一樓:「預印本連結在這裡,不說了,我去洗把臉接著啃。」
二樓:「兄弟們,不是之前小群里流傳的草稿版,正式公開版,排版漂亮得像藝術品。」
三樓:「陶的回覆看到了嗎?main chain appears closed。這等於直接蓋章了啊!」
四樓:「Gowers那句帳目閉合太狠了,直接把很多想找茬的人的嘴給堵上了。」
五樓:「Ben Green說入口要重寫,這意味著以後的教材和綜述,這一章都要改寫了。」
六樓:「所以現在不是討論對不對了?」
七樓:「樓上的,早都不是普通網友能討論對不對的時候了。沒看那幾個大佬的用詞嗎?digest(消化)。人家現在是在學習這個證明機制。」
八樓:「韓硯山他們前幾天的閉門會,現在看,應該已經給過國內判斷了。難怪中心那邊這幾天安靜得可怕,原來是在憋大招。」
九樓:「江氏磚之後,他又拿了一個大成果。這速度,不是人啊。」
十樓:「不一樣,江氏磚是一塊磚,這次是一座橋。」
「江氏磚是一塊磚,這次是一座橋。」
這句話很快被頂到了最高贊,甚至被許多人設為了簽名檔。
因為它足夠簡潔,也足夠準確。
江氏磚的爽點,在於一個極端具體的構造,簡單粗暴地直接砸穿了非周期平鋪問題里一扇封閉多年的門。
它令人驚艷,但它是一個孤立的突擊點。
而PFR/Marton不同。
它的一端是小倍增與結構壓縮。
一端是熵形式和自由度支付。
中間跨過的,是加性組合學、概率、資訊理論和理論計算機科學共同關注的一片深水區。
它連接了兩塊原本只能隔海相望的大陸,在此之後,無數的研究者可以通過這座熵形式接橋,在這兩個領域之間自由往來,甚至開發出新的理論礦脈。
早晨六點。
紫荊公寓17號樓402室。
江臨的手機鬧鐘準時響起。
沒有任何拖泥帶水,他按掉鬧鐘,直接從床上坐了起來。
窗外天色剛剛亮起,灰藍色的晨光透過窗簾的縫隙漏進來。
在他視野的右上角,一組只有他自己能看到的倒計時仍在無聲地跳動。
江臨看了一眼手機郵箱提示。
未讀郵件已經超過一百封。
有數學中心的自動歸檔確認信。
有韓硯山的簡短回覆:【公開版已讀,很好。】
有丁劍發來的關於文章結構在後續討論班上如何拆解的建議。
還有幾十封來自全球各地、名字曾在教科書上出現過的海外學者的郵件。
江臨放下手機,走進衛生間洗漱,換上軍訓服。
迷彩上衣帶著一點曬乾後的硬挺感,嗯,很乾淨。
比較難受的是那雙膠鞋,仍然有點磨腳。
他在床邊坐下,把昨天晚上仔細剪好的減震鞋墊重新塞進鞋底,然後確認腳後跟已經貼好防磨膠布。
然後拿起桌上的軍訓帽,扣在頭上,推門而出。
七點十分。
求真221班在紫荊操場集合。
空氣中還沒有完全散去清晨的涼意,但隊伍里的氣氛明顯比往常要躁動得多。
許多人昨晚睡前就刷到了沈硯秋的直播切片,早上醒來打開手機,又發現PFR/Marton正式預印本已經上線的新聞鋪天蓋地。
海外幾個如雷貫耳的名字陸續發聲,清華校內各大群里更是轉發得熱火朝天。
很多人都在用眼角的餘光偷偷打量著站在隊伍後排的江臨。
一場訓練下來,教官下令解散休息。
趙承宇蹭到江臨旁邊坐下,迷彩領口解開兩顆,額角還掛著汗,眼鏡片後面壓著熬夜的紅血絲。
他先擰開礦泉水灌了大半瓶,才偏頭開口,語氣里裹著點荒誕的笑意:「你凌晨掛的那版,昨晚我本來想看摘要,後來發現我連摘要後面的入口都沒摸到。」
「術業有專攻。」
江臨應了一句,擰上杯蓋。
「你這是我們這2字求真屆的參照系重置了。」
趙承宇自嘲似的扯了扯嘴角。
「我們這周還在抽代里摳群同構,你直接把 PFR 的入口給揚了。本·格林那句入口要重寫,今早被學長們轉瘋了。」
江臨抬眼看向不遠處吹哨的教官:「先集合。」
趙承宇看著對方一臉波瀾不驚的樣子,最後只低低嘖了一聲,撐著膝蓋起身。
往隊列走了兩步,又回頭補了句,聲音很輕,是同屆學生才懂的感慨:「真離譜啊,同屆的。」
教官走到方陣正前方,猛地吹響了哨子。
「集合!」
隊伍在一瞬間迅速安靜下來,所有的躁動都被壓抑在了迷彩服下。
點名開始。
「趙承宇。」
「到。」
「陳啟明。」
「到。」
「江臨。」
「到。」
……
同一時間。
清華數學科學中心官網後台的訪問量曲線,開始出現異常陡峭的爬升。
上午八點四十分,數學中心發布了今天的第一條學術動態。
【江臨關於有限域模型PFR與Marton熵形式接橋的預印本公開】
正文部分完全是很高級別的學術通報標準。
【江臨提交的PFR/Marton v1.0預印本已於今日凌晨公開。該手稿此前已在數學科學中心閉門技術報告中完成主鏈路說明。經相關方向多位學者獨立核驗,在手稿明確聲明的有限域模型範圍內,Polynomial Freiman-Ruzsa主證明鏈路成立;Marton熵形式接橋部分邏輯自洽。數學科學中心將於近期組織系列專題討論,供相關方向研究者系統消化該手稿結構。】
九點三十分。
清華大學主頁同步發布新聞。
【江臨在有限域模型PFR方向取得重要突破】
新聞的排版同樣嚴謹。
第一段客觀陳述科研成果。
第二段列舉預印本發布情況、海外相關方向頂級學者的初步反饋,以及數學科學中心後續將組織的系統消化討論班。
然後是第三段。
【江臨為清華大學求真書院2022級本科生,曾獲得第九屆世界華人數學家大會數學金獎,並因非周期平鋪問題中的江氏磚構造受到國際關注。目前,清華大學丘成桐數學科學中心為其提供學術承接與研究支持。】
上午十點二十。
清華大學行政樓內,一場內部的臨時協調會提前召開。
會議室里的氣氛略顯嚴肅,坐著的有數學中心的幾位核心負責人、求真書院的主管教務老師,還有學校層面的幾位行政領導。
會議的議題,不是如何統一對外的宣傳口徑。
也不是要不要給江臨增加什麼特殊安排。
這一點早在錄取階段,在江臨憑藉江氏磚震撼學界時就已經討論並落實過了。
數學中心二樓那間寬敞的獨立辦公室,紫荊17號樓單獨配置的單人公寓,二十四小時暢通無阻的門禁系統,以及直接對接教授的單獨學術接口……
這些,本來就是為了一個非標準,甚至可以說是極其稀有的天才學生準備的制度緩衝區。
可現在,這個緩衝區顯然不夠用了。
PFR/Marton預印本公開後的這幾個小時內發生的一切,讓在座的所有人意識到,江臨需要的已經遠遠不是所謂的特殊學生待遇。
而是一個能夠承接一個成熟,且具有巨大影響力的獨立研究者的制度殼層。
數學中心的一位副主任推了推眼鏡,把話說得很直接。
「辦公室的硬體不是問題。」
「他已經有全中心最好的辦公室之一。」
「問題是,那間辦公室現在只是一個安靜的房間。他一個人坐在裡面,是應付不了接下來的局面的。」
「所以,我們要考慮的不是再給他添置一張辦公桌或者幾台高配置電腦,而是必須把那間房間升級成一個五臟俱全的研究單元。」
會議室里安靜了一下。
教務老師手中的筆停頓在半空。
副主任說得很具體,每一項都切中要害。
「手稿的版本管理和後續修訂。」
「龐大的國際通信歸檔與回復溝通。」
「接下來要開展的系列討論班的反饋整理與技術備忘。」
「也許還會涉及到與計算機系合作的定理形式化驗證接口。」
「絡繹不絕的國內外訪問學者接待。」
「以及每天都在呈指數級增長的媒體、商業和行政邀約的過濾。」
「這些事情,如果學校沒有建立專門的支撐團隊,最後這些瑣碎的、消耗精力的爛攤子都會回到江臨本人身上,我們不能讓一個能推導PFR的人去回那些商務郵件。」
求真書院那邊的老師翻著面前厚厚的學籍筆記,低聲提醒了一句:「但從規章制度上講,他的學籍仍然在書院,他還是個大一新生。」
「學籍當然在書院,這是客觀事實。」數學中心負責人接過了話頭,語氣堅定,「但在科研系統和行政管理里,我們不能再單純只把他登記成一個本科生。大家心知肚明,他現在的學術水平,根本不適合掛在任何一個教授的導師名下,他也不可能是某個課題組裡的學生成員。」
負責人環視了一圈會議室。
「他應該單獨建檔。」
「我的建議是:以江臨個人為核心,建立一個獨立的研究單元,配置專門的學術秘書和行政助理。」
這句話落下,會議室里幾位校級領導都抬了抬頭。
研究單元。
這不是普通本科培養方案里會出現的詞,它更接近數學中心為獨立PI配置的支撐結構。
這也意味著,清華大學在行政建制上,不再只是給一個天才學生提供一個安靜的環境。
而是白紙黑字地承認,這個年僅十八歲的學生本身,就已經具備了成為一個前沿研究組織核心的資格與當量。
片刻的沉默後,宣傳部的一位負責人提醒道:「如果這麼破格,那後續的宣傳口徑呢,外界可能會有過度解讀。」
「我們就是按照成果,提供我們擁有的學術承接環境。」
數學中心負責人搖了搖頭。
「這不是破格,應該叫匹配。」