第151章 大證明長什麼樣
江臨從側邊走出來時，報告廳里有一瞬間的安靜。
這是一間擠滿了這個領域最聰明的人的房間，而走到白板前的，是個十八歲的少年。
他微微頷首致意，沒有多做寒暄，拿起黑色白板筆。
「今天不展開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這個詞可以留著。」
「它確實好用。」江臨說。
周圍的學者陸續圍過來，有人握手，有人追問技術細節，有人想加入後續形式化驗證的某個分支。
江臨一一回應，語氣謙和，思路清楚，絲毫沒有少年得志的浮躁。
直到時間去到五點，人才漸漸散了。
「在想什麼？」韓硯山走過來，遞給他一瓶水。
「在想李教授提的那個雙索引退化表述。」江臨擰開喝了一口，「可以補進形式化索引。」
「剛講完就想著補索引？」韓硯山失笑。
「本來就是校準會嘛。」江臨笑了笑，「找出哪些地方要更清楚，才是目的。」
正說著，丘成桐走了過來。
「很不錯，江臨。」
「謝謝丘先生。」
「聽說你的低熵工坊在明天的機器人展覽會有展示？」
「是。」
「有時間的話，我倒是想看看你說的這種局部—全局的非周期結構，在機器上到底長什麼樣。」
江臨微微一怔，隨即點頭。
「歡迎丘先生蒞臨指導。」
……
從數學科學中心出來。
傍晚的陽光穿過梧桐葉，灑了一地碎金。
遠處迎新的人流還沒散盡，莘莘學子笑著從主幹道走過，臉上滿是對大學生活的憧憬。
這是一間擠滿了這個領域最聰明的人的房間，而走到白板前的，是個十八歲的少年。
他微微頷首致意，沒有多做寒暄，拿起黑色白板筆。
「今天不展開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這個詞可以留著。」
「它確實好用。」江臨說。
周圍的學者陸續圍過來，有人握手，有人追問技術細節，有人想加入後續形式化驗證的某個分支。
江臨一一回應，語氣謙和，思路清楚，絲毫沒有少年得志的浮躁。
直到時間去到五點，人才漸漸散了。
「在想什麼？」韓硯山走過來，遞給他一瓶水。
「在想李教授提的那個雙索引退化表述。」江臨擰開喝了一口，「可以補進形式化索引。」
「剛講完就想著補索引？」韓硯山失笑。
「本來就是校準會嘛。」江臨笑了笑，「找出哪些地方要更清楚，才是目的。」
正說著，丘成桐走了過來。
「很不錯，江臨。」
「謝謝丘先生。」
「聽說你的低熵工坊在明天的機器人展覽會有展示？」
「是。」
「有時間的話，我倒是想看看你說的這種局部—全局的非周期結構，在機器上到底長什麼樣。」
江臨微微一怔，隨即點頭。
「歡迎丘先生蒞臨指導。」
……
從數學科學中心出來。
傍晚的陽光穿過梧桐葉，灑了一地碎金。
遠處迎新的人流還沒散盡，莘莘學子笑著從主幹道走過，臉上滿是對大學生活的憧憬。