江臨從側邊走出來時，報告廳里有一瞬間的安靜。
這是一間擠滿了這個領域最聰明的人的房間，而走到白板前的，是個十八歲的少年。
他微微頷首致意，沒有多做寒暄，拿起黑色白板筆。
「今天不展開v1.0的全部技術細節，但主閉合鏈路，我會完整走一遍。」
他在左上角寫下一行字。
【small doubling ⇒ polynomial structural compression】
「直覺告訴我們，一個集合如果和自己相加後沒有膨脹太多，它一定被某種低維結構控制。問題的關鍵在於，這個控制的代價，能不能被壓縮到多項式級別。」
台下鴉雀無聲。
後排幾名博士生的筆尖懸在半空。
天天看小說體驗佳，𝘵𝘵𝘬.𝘵𝘸超讚
因為這句大白話，比任何嚴密繁複的定義都更快地壓住了全場的陣腳。
……
梁辰的指尖懸在手機屏幕上方。
他做的方向和加性組合學隔了一層，只能算半個相關人員。
今天能擠進報告廳，也是因為導師臨時在群里發了一句能去就去，不一定聽懂，但要知道大證明長什麼樣。
三分鐘前他秉著記錄的念頭，隨手開了個直播，標題寫著「PFR 校準會現場，湊個熱鬧」。
因為相關推送，倒是沒多久就進來了一些感興趣的觀眾。
起初彈幕大部分是喜聞樂見的插科打諢。
有人問有沒有新生帥哥，是不是開學動員會，有人刷 班群轉的，說今天有大新聞。
直到鏡頭掃過白板上那行標題，評論區硬生生卡了兩秒。
「等等，多項式結構壓縮？這不是那個PFR猜想嗎？」
「我沒看錯吧？主講人是那個十八歲的新生？」
「真十八歲啊？看著比我師弟還小，能hold住這場子？」
……
梁辰沒敢打字回應，只悄悄把鏡頭往前推了半寸。
因為接下來的十幾分鐘，少年片刻未停。
黑色公式向白板兩側鋪開，紅筆標出每一處損失入口，藍筆勾出見證路徑。
他像在把一根埋在牆體深處的承重梁，一寸一寸地抽出來，擺到所有人眼前。
第一塊白板很快寫滿。
台下很多人開始因為跟不上而放棄逐字記錄。
……
梁辰的筆早就停在了筆記本第三頁。
他的直播間，從開播時只有幾十個在線人數，悄無聲息爬到了七百二。
而評論區已經完成了從逐行跟讀到集體躺平的蛻變。
「第三行開始掉線，有人能解釋下紅筆標的損失入口是啥嗎？」
「別問，問就是我連損失在哪都看不見。」
「博一報到，上周剛背完small doubling的定義，現在感覺自己像個沒入門的。」
「人在現場，聽不懂，但大受震撼。」
有條彈幕刷，主播能不能提醒主講人慢一點，梁辰默默在公屏敲了一行字：「不敢，這已經是他壓著節奏講了。」
他抬頭望向白板，第三層重型見證的框架已經鋪出大半，江臨落筆的速度穩得像台精密儀器，連每兩行公式的間距都幾乎分毫不差。
……
【節點38·邊界可見性·第三層重型見證】
「Voss教授提出的高維邊界測試，不是反例。」江臨在白板中央落下紅筆，說，「主證明在這裡沒有斷，問題是承重結構在那裡，但檢修口不夠大。」
這句話一落，很多非本方向的旁聽者似懂非懂。
……
梁辰記錄的筆尖猛地一頓。
上周他剛在組會上精讀了Voss那篇邊界測試論文，導師的結論是，至少半年內沒人能把這個模型完全納入主帳目。
他下意識去看手機，直播間彈幕已經炸了，滾動速度快得看不清字，只有零星幾句跳出來：「Voss 的反例？他要當場拆？」
「這要是能圓上，我直接把課本吃了。」
……
江臨寫下一行，特意停頓。
【witness，not new compression】
「注意，這是見證，不是新的壓縮步驟。見證負責把殘餘譜的去向暴露出來，壓縮負責支付損失。兩者不能混用。」
前排的韓硯山慢慢坐直了身體。
因為江臨並非簡單去講孤立的節點。
他在把PFR主證明里最險的一根承重牆從牆體裡生生抽出來，把裡面的鋼筋直白地暴露在所有人眼前。
……
梁辰的直播間在這裡卡了足足三秒。
再刷新時，最頂的一條彈幕被贊到了最前面，ID是個認證的高校數論助理教授：「我收回半小時前說的噱頭，這一下，至少省了領域內三個月的彎路。」
……
第二塊白板，江臨擦掉輔助推導，寫下——
【Marton Bridge: entropy payment under probability-space switch】
「不要把它看成翻譯器。」江臨在兩個嵌套空間之間畫出連接，「它是支付系統。局部自由度在進入全局裝配時失去原始坐標，這個代價，必須被支付。」
丁劍抬起頭。
上午在江臨的辦公室里，他聽過這句試講，但此刻放在完整的鏈路里，分量截然不同。
它不再是一個孤立的概率技術解釋，而是通向全局閉合的必經之橋。
下午三點二十二分，江臨走到第三塊白板前，寫下最後一行標題。
【節點47·全局裝配】
江臨畫出一個巨大的全局帳目矩陣。
殘餘譜、見證路線、密度增量、熵控制儲備……
所有變量被塞進同一張表里。
「如果有一項找不到支付來源，證明就不會閉合。如果一項被重複支付，證明也不閉合。如果局部自由度丟失坐標而未被支付，證明依舊不會閉合。」
他在最底下寫下一個詞。
【closed】
報告廳里沒有人說話。
伴隨著清脆的落筆聲，他換回紅筆，在矩陣下方簽發了最終結論。
【finite-field PFR follows from the closed loss ledger】
（有限域PFR，由閉合損失帳目推出）
兩行字寫完，主梁全部鋪陳完畢，整座報告廳卻像被按住了。
江臨轉過身，面向台下。
「基準框架就是這些，現在可以提問了。」
話音落下，報告廳里一片靜默。
這不是冷場，也不是沒人有問題。
恰恰相反，是問題太多。
只不過台下眾人的大腦還在追趕白板上的風暴。
十幾秒後，遠程窗口裡的Voss舉起了手。
「第38號節點，你把第三層見證定義為可審查路徑，而不是新的壓縮步驟，這點我同意。」
他的聲音帶著一點德國口音，語速不快。
「但在K等於8的邊界模型下，如果第三層殘餘譜反覆逼近閾值，你如何保證這個見證不會在全局帳目里，重新消耗第二層的熵儲備？」
許多人下意識低頭看手裡的摘要。
這不僅是質詢，更是將剛才那條主鏈路直接推向高壓測試。
防不住，帳目體系瞬間崩塌。
江臨握在手裡的紅筆在指尖轉了一圈，沒有片刻遲疑，轉身在白板空白處畫下一道清晰的豎線，將儲備層與見證層生生劈開。
【witness≠payment】
「見證不等於支付。」他的聲音毫無起伏，卻擲地有聲，「第三層路線只提供審查可見性，沒有支付權。如果它去調用第二層，那是遞歸收費。在全局矩陣里，它的狀態只是checked（已檢查），絕不能是spent（已消耗）。」
粗糙的比喻，卻乾脆利落地堵住了所有可能的帳目歧義。
報告廳里有人低低笑了一下。
Voss盯著屏幕，手指在桌面上慢慢敲了幾下。
十幾秒後，他抬起頭，微微頷首。
「不錯，這條可見性路徑，經得起審查。」
前排幾位老教授不約而同地鬆了松肩膀。
最險的第一道關卡，守住了。
……
梁辰的直播間裡直接炸開了鍋。
「我靠，Voss說不錯？」
「這可是去年拋反例干廢三篇頂刊的那個Voss嗎，就這麼給過了？」
「我還以為要掰扯半小時，結果一句話就堵死了！」
「witness≠payment，這五個字怎麼感覺比十頁推導還管用。」
……
然而交鋒不留喘息。
陶哲軒隨即問起，形式化藍圖里這條wrapper該掛在主依賴鏈上還是節點外側。
清華一位青年教師問，加入wrapper和邊界審查結構後，形式化藍圖裡的47個宏節點是否還保持原來的主依賴拓撲。
北大的李教授盯著帳目矩陣，問邊界塌縮時頻域索引會不會和組合域閾值錯位。
接下來的半小時，江臨一個接一個地接住。
語速不快，卻幾乎沒有遲疑。
白板被擦了又寫，寫了又擦。
他始終在重複同一件事。
把看起來笨重的結構，一項項攤開給審查者看。
「v1.0不追求漂亮。」回答李教授時他說，「單索引更漂亮，但單索引會撒謊。」
有人低低咳了一聲。
前排幾位教授同時點了頭。
只有丁劍那一問，江臨答得格外慢。
「你說熵儲備在局部被支付，進了全局帳目就標成spent。」丁劍翻到摘要第六頁，「我想追問，你怎麼保證它在下一層壓縮里，不會被重新當成可用的自由度？」
這正是那座橋最危險的地方。
江臨轉身寫下——一次性熵儲備。
「它只能用一次，支付完成，進入spent。」他一字一頓，「不能是available，不能是reusable，更不能是ambiguous。如果它在下一層再被調用，那麼這座橋就不是橋，而是偷渡口。」
報告廳里響起一陣很輕的吸氣聲。
這個說法很鋒利，也很準確。
丁劍的眼神明顯亮了一下，接著追問退化情形。
江臨沒有迴避，在白板上寫出最小的狀態保持骨架，幾行，不長，卻足夠讓丁劍看清結構。
丁劍低頭寫了一行，抬起頭。
「spent這個詞可以。」
「它丑。」江臨說。
「丑得好。」
報告廳里再一次響起輕鬆的笑聲。
但很快，笑聲又被下午四點零七分的那一問壓了回去。
韓硯山終於拿起話筒。
前面所有問題里，他一直沒有出手。
直到整條主鏈被壓過一輪。
「我問最後一個組合側的問題。」
報告廳安靜下來。
「把K等於8換成K趨近邊界的那一列模型。」他看著白板上的全局帳目矩陣，緩緩說，「第三層見證不遞歸收費，spent項不復活，雙索引錯位進入退化歸檔——這三件事，如果同時發生，第47號節點是否仍然閉合？」
事實上，問完之後，韓硯山自己心裡也清楚。
這個問題如果今天答不上來，不丟人。
它把Voss的邊界、丁劍的spent、李教授的雙索引，全部疊在一起，壓在第47號的同一個全局矩陣上。
太重了。
任何一個做過完整大證明的人都知道，這種最壞組合壓測通常不是當場能答的。
往往要回去想一周，再補一封follow-up郵件。
但他今天又必須問。
韓硯山已經做好了準備，如果江臨今天答不上來，他韓硯山有把握在接下來的兩周內，陪著少年一起把這件事補出來。
……
韓硯山的話音落下，所有人都看向江臨的瞬間，梁辰瞥見直播間在線人數跳了一下，穩穩破了一萬。
公屏里不斷有新ID進來，ID前綴帶著各個高校數學系的標籤。
有人發 ，導師讓過來蹲的，說這題答完，領域格局要變。
……
江臨明白韓老師問的其實是這三件事一起發生時，張矩陣會不會破。
他當然知道這張矩陣不會破。
因為早在第九次廢土時間，他自己第一次寫出第47號節點的草稿時，他先做的就是這個壓測。
當時他把三件事同時打開，看那張矩陣會從哪一格先漏。
然後就看到漏在了第二行第三列——見證列借了支付列的資源，因為他當時沒把權限分開。
他改了一個月。
把三列的權限切開，見證、支付、歸檔，每一列只能做一件事，不能互借。
改完之後他又把壓測跑了一遍。
沒漏。
他又跑了第二遍。
還是沒漏。
不過他終究是按捺住，繼續跑，從不同的初始條件、不同的退化路徑、不同的邊界模型。
他記不清具體跑了多少遍，但他記得最後一次跑完的那天，石屋外下了一場很大的雨。
他在磨得水光油滑的石桌前坐到凌晨三點，看著那張矩陣，確認了一件事。
這張矩陣不會破，只要三列的權限不混用。
這件事他沒有寫進提綱。
不是不想寫，是寫不進去。
它不是一個新的引理，也不是一個新的命題，只是一種結構性的取捨，是一種我寧可讓這張矩陣丑，也不讓它互借的判斷。
這種判斷在論文裡寫不出來，在提綱里也寫不出來。
它只能在白板上，在被問到的那一刻，直接拿出來給人看。
於是，此時此刻，他轉身，擦掉第三塊白板的下半部分，寫下標題。
組合邊界壓測。
底下三行，列出三件事同時發生的最壞情形。
然後在右側畫出帳目矩陣的極小骨架。
只剩三列，見證列、支付列與歸檔列。
「最壞情形下，三件事一起來。」他說，「如果這三列互相借用資源，證明就不閉合。」
他用紅筆，在三列之間各畫了一道豎線。
「所以它們不能互借，見證列不能支付，支付列不能復活，歸檔列不能壓縮。」
三句話，三道線。
整個報告廳的注意力都被壓在那三道豎線上。
【witness：visible/no charge】
【spent：paid/no reuse】
【record：tracked/no compression】
最後一行——沒有隱藏的損失，留在帳目之外。
然後他放下了筆，轉身開口。
「所以，三件事同時發生時，第47號仍然閉合。前提是——三列的權限不混用。v1.0里所有看起來笨重的狀態標記、雙索引、退化索引，都是為了保證這一件事。」
報告廳里安靜了很久。
韓硯山盯著那三道豎線看了半晌，最後慢慢靠回椅背。
……
梁辰的直播間裡，彈幕先是突兀地空白了兩秒。
像全場的窒息感順著鏡頭傳了出去，隨即以鋪天蓋地的速度炸開，滾動的字幕快得連完整句子都看不清。
「三重最壞情形疊在一起當場接住，還只用了三列權限切割……這思路是怎麼想出來的？」
「上周組會我導剛說這個組合死局至少要磨半年，合著人站在白板前十秒鐘就給焊死了？」
「導師把我們全喊起來了，說這是近三十年加性組合最關鍵的半小時。」
一條帶著高校數論研究所認證的彈幕被瞬間頂到最頂端，穩穩懸在滾動的公屏上：「這三道豎線，夠整個加性組合領域消化三年。」
梁辰匆匆掃了眼直播間頂欄，就這片刻功夫，在線人數從一萬直衝兩萬二。
公屏里新ID還在潮水般湧進來，前綴從清北復交、中科大山大，一路延伸到北美、歐洲的華人數學系。
他指尖划過消息頁，三個置頂的學術群全是99+的紅點，群消息刷得飛快，翻來覆去都是同一句話。
「別問了，快進直播間，這是歷史性的時刻。」
……
四點二十九分，丘成桐抬了抬手，示意先到這裡。
這位數學界泰斗接過話筒，看了一眼那三塊寫滿的白板。
「今天這場會，比我預想的要好。」
「我看過很多年輕人的報告。有人聰明，有人努力，有人技巧很好。但今天最難得的，既不是聰明，也不是技巧，而是結構感。」
「江臨沒有把一份大證明藏在漂亮語言後面，也沒有繞開最危險的地方。第38號節點、Voss的邊界測試、Marton橋、第47號全局裝配——他把這些最重的梁，全部擺到了白板上。能不能被審查，能不能被追問，能不能被繼續拆，這才是一份真正的大工作該有的樣子。」
報告廳里沒有人說話。
前排幾位老教授坐得很直，遠程窗口裡的幾位海外學者也沒有切走畫面。
丘成桐的目光從白板移回江臨身上。
「一個十八歲的年輕人，能把這樣一份工作講到這個程度，很不容易。更不容易的是，他沒有把數學當成炫技。他把每一筆損失、每一次支付、每一個邊界退化，都放進了可以審查的帳目里。」
他頓了頓。
「這是數學家的做法，不是天才少年的做法。」
台下不少年輕學生愣了一下。
江臨站在白板旁，手裡還握著那支紅筆。
沒有激動，沒有炫耀，也沒有刻意謙虛，只是安靜地站著，像剛完成了一次工程驗收。
……
梁辰的直播間的彈幕慢了下來，插科打諢的評論全都消失了。
「丘先生這句話，分量太重了。」
「不是天才少年，是數學家，我的天。」
「十八歲，拿到這句評價，這輩子值了。」
有人刷，他怎麼一點都不激動啊，立刻有人接：「換你你激動得跳起來，人家可能只是覺得今天的驗收過了。」
梁辰望著台上神色平靜的少年，忽然清晰地意識到了那種差距。
大多數人做數學，是追著問題跑，盼著做出點成績證明自己。
而這個人，是在造房子。
他只關心房子結不結實、漏不漏水，至於別人夸不誇他房子造得漂亮，好像根本不在他的考慮範圍內。
……
「今晚回去，大家還會繼續讀這份v1.0，還會繼續問，還會繼續拆。」丘成桐最後看向全場，聲音沉了一些，「這是好事，因為從今天開始，PFR/Marton這件事，不再只是他一個人的手稿了，它已經擺到了整個領域面前。」
話音落下，先是靜了一秒。
隨後，掌聲響起。
不是禮節性的，也不是發布會式的熱鬧。
它從前排開始，迅速擴散到後排、過道、門口，連外側小屏前的人也跟著鼓起來。
梁辰也在鼓掌。
手機直播還開著，他想了想，發了一條彈幕。
【直播到這裡，雖然我從頭到尾一頭霧水，但大概知道了，大證明長什麼樣子。】
發送。
他抬起頭，報告廳里的人還沒散。
有人圍著白板拍照，有人低頭翻筆記，江臨站在白板旁，手裡還握著那支紅筆，正一一回應圍上來的學者。
……
江臨正要把筆記本放回包里，餘光忽然看見側後方一個很安靜的身影站了起來。
那人穿著簡單的T恤長褲，頭髮有些亂，手裡拿著會務組發的報告摘要。
整場幾乎沒說過話，來的時候也沒引起什麼動靜。
但報告廳里不少人都知道他是誰。
韋東奕。
整場報告，他大多數時間低著頭，在紙上寫極短的符號。
只有江臨寫出那三道豎線時，他抬頭看了很久。
他沒有上前寒暄，也沒有加入圍住江臨的人群。
只是經過白板時，腳步停了一下，目光在那張全局帳目矩陣上停留了幾秒。
然後，他很輕地說了一句。
「這個帳目很乾淨。」
聲音不高，周圍只有幾個人聽見。
乾淨。
在這種場合里，這不是客套，也不是情緒化的稱讚。
它只意味著一件事。
損失沒有被藏起來，支付沒有被重複使用，退化沒有被偽裝成壓縮。
江臨點頭致意。
韋東奕擺了下手，像是不太適應這種正式回應，轉身往門口走去。
人群重新流動起來。
走下台時，韓硯山迎上來，重重拍了一下他的肩膀。
「講得漂亮。」
「還有幾個地方要補進審查索引。」江臨說。
「那是後面的事。」韓硯山說，「今天你把第47號壓住了。」
丁劍也走過來，笑著點頭：「Marton橋那段，比上午清楚多了，spent這個詞可以留著。」
「它確實好用。」江臨說。
周圍的學者陸續圍過來，有人握手，有人追問技術細節，有人想加入後續形式化驗證的某個分支。
江臨一一回應，語氣謙和，思路清楚，絲毫沒有少年得志的浮躁。
直到時間去到五點，人才漸漸散了。
「在想什麼？」韓硯山走過來，遞給他一瓶水。
「在想李教授提的那個雙索引退化表述。」江臨擰開喝了一口，「可以補進形式化索引。」
「剛講完就想著補索引？」韓硯山失笑。
「本來就是校準會嘛。」江臨笑了笑，「找出哪些地方要更清楚，才是目的。」
正說著，丘成桐走了過來。
「很不錯，江臨。」
「謝謝丘先生。」
「聽說你的低熵工坊在明天的機器人展覽會有展示？」
「是。」
「有時間的話，我倒是想看看你說的這種局部—全局的非周期結構，在機器上到底長什麼樣。」
江臨微微一怔，隨即點頭。
「歡迎丘先生蒞臨指導。」
……
從數學科學中心出來。
傍晚的陽光穿過梧桐葉，灑了一地碎金。
遠處迎新的人流還沒散盡，莘莘學子笑著從主幹道走過，臉上滿是對大學生活的憧憬。