第124章 特別線上報告
7月8日。
晚上七點四十。
電腦屏幕上，2022年國際數學家大會的專屬線上會議客戶端已經提前登錄完畢。
攝像頭畫面正靜靜地停在預覽窗口裡。
畫面中的少年只穿著一件最普通的黑色無印T恤，背後是他那面略顯擁擠的書架，上面錯落有致地塞滿了各種專業書籍和列印裝訂的論文。
桌面的左側，擺放著一個極簡風格的倒數計時器，紅色的數字凝固在起點。
45:00。
右側，是另外一台用作輔助的筆記本電腦。
屏幕上已經打開了應對突發提問的備用幻燈片序列，以及幾段用以展示有限狀態驗證過程的終端錄屏。
七點四十五分。
客戶端的右下角彈出了線上技術員的消息。
【音頻及帶寬負載測試，請回應。】
江臨伸手點開麥克風。
「我是江臨，能聽見嗎？」
耳機里立刻傳來帶有輕微電流聲的清晰回應。
「聲音非常清楚，頻段穩定，畫面延遲在允許範圍內。」
七點五十二分。
會議主持準時上線。
馬庫斯·霍爾特教授出現在會議的主控窗口裡。
正是這位學者，在之前的學術文章中第一次正式使用了江氏磚這個稱呼。
而今天，ICM組委會特意安排他來擔任這場特別線上報告的主持人。
「江先生，晚上好。」
「霍爾特教授，早上好。」
江城此刻夜幕低垂。
而ICM主伺服器所在的另一端，卻正迎著另一個時區初升的晨光。
霍爾特在屏幕里笑了一下，似乎為了緩解開場前的緊繃感。
「時區差異，永遠是大型線上國際大會的第一道測試題。」
江臨微微點頭，接上了這句話。
「至少，它比處理邊界阻塞要容易得多。」
霍爾特怔了半秒，顯然沒料到對方會這麼接話，隨即他真的笑出了聲。
「那麼，我希望今晚我們在學術上遇到的阻塞，也能像處理時區一樣少一點。」
七點五十八分。
正式的線上會議室權限開放。
屏幕右側的參與者列表開始以一種令人眼暈的速度不斷跳出新的名字，參會人數直線上漲。
兩百。
四百。
六百。
九百。
……
窗口右側持續滾動的參會名單里，開始出現許多江臨這段時間在海量的文獻、經典著作和領域綜述里反覆見過的熟悉名字。
……
八點整。
霍爾特打開全局麥克風。
「歡迎各位參加2022年國際數學家大會的這場特別線上報告。」
「今天，我們非常榮幸地邀請到江臨先生。他近期公布的預印本，給出了一種單一非周期鋪砌磚的全新構造方案，這一構造目前在學界已經被廣泛地稱為江氏磚。」
話音剛落，屏幕中央，江臨的第一頁幻燈片被投射出來。
【江氏磚：局部強迫機制、有限狀態驗證與單一非周期鋪砌磚】
霍爾特繼續說道。
「今天，江先生來親自介紹這一構造的思想、有限狀態的驗證框架，以及如何解決阻塞問題。」
稍作停頓後，作為主持人的他補上了一句規則說明。
「在報告進行的過程中，我們將通過後台收集各位的問題，並在四十五分鐘的報告結束後進行統一討論。江先生，現在，時間交給你。」
江臨點開麥克風的開關。
桌面上的計時器接收到指令，開始無聲地倒數。
44:59。
「謝謝霍爾特教授。」
他的聲音從中國江城傳出，被轉化為數位訊號，精準地推送到世界各地頂尖數學家的耳機和音箱中。
「今天我要向各位講述的是一個單一非周期鋪砌磚的構造過程。但我並不打算從它那已經被廣泛報導的名字講起，而是先從它，為了存在，必須承載的那些約束講起。」
第一頁幻燈片迅速切換。
畫面上出現的，是一條被極度放大、充滿鋸齒和凹凸的局部邊界片段。
江臨只用了不到三分鐘的時間就利落地搭起了整個理論背景。
接著梳理了後續各種單磚候選方案是如何試圖不斷壓縮構成鋪砌的底層對象數量。
最終引出核心論點。
「因此，評估這個問題的關鍵，並不在於這個形狀第一眼看上去是否足夠複雜，而在於信息究竟被儲存在了什麼地方？」
屏幕上，江氏磚的整體輪廓第一次完整出現。
沒有中文網際網路上那些為了博眼球而添加的誇張紅圈和箭頭。
沒有媒體報導里把它渲染成某種神秘藝術品的濾鏡。
只有精確的邊界、局部坐標、方向標記和幾組被淡色突出顯示的匹配段。
江臨像解剖精密儀器一樣，把這塊磚拆解成了四個邏輯層級。
「在這裡，大多數人最容易產生的誤解，是把江氏磚僅僅看成一塊具有某種奇怪輪廓的幾何多邊形。」
他按下翻頁鍵。
幻燈片上的邊界被拉直，展開成了一條包含著字母和數字的超長序列。
「如果我們要理解它的運行機制，更準確的視角是，它是一段被高度幾何化了的有限狀態的密碼文本。」
會議室里，雖然聽不到聲音，但很多人已經不自覺地拿起了筆，開始在筆記本上快速記錄。
江臨沒有停頓。
他用一組動態的局部圖案清晰地說明，當兩塊江氏磚發生物理拼貼時，本質上並不是單純的邊與邊貼合。
它們是在進行一場信息的握手，傳遞著方向、相位和有限狀態機的當前信息。
某些邊界段上的微小凹凸，看似只是為了增加複雜度的細小修飾。
其真實的數學作用，是禁止錯誤的相位信息滲透進入下一層的拼貼結構。
某些局部看似冗餘的突兀缺口。
實際是在底層的邏輯推演中，強迫宏觀結構必須出現不可被周期化的層級分離。
「局部強迫，並不意味著每一個局部圖案本身都是絕對剛性的，不容改變的。」
「它的真正含義是，局部可允許性的約束條件會不斷向外累加，最終形成一道不可逾越的高牆，對任何試圖形成周期性結構的傾向產生全局阻礙。」
國內不少正在通過各個私密群聊旁聽的數學系碩博生，聽到這裡，敲擊鍵盤翻譯原話的手指下意識地停住。
因為這句話，他們聽懂了。
但也正因為聽懂，他們才深刻地意識到這句看似輕巧的話語背後，蘊含著怎樣精妙的邏輯控制力和構造難度。
到第三部分有限狀態驗證，江臨展示的是整個計算機輔助驗證鏈的組織框架和邏輯流向。
每一個模塊，他只展示其暴露在外的功能接口和背後嚴謹的數學含義。
「在這裡，計算機的高速計算並不是作為一個不可見底的黑箱來使用的。」
他切出了一張結構清晰的邏輯流程圖。
「在我的證明中，它被用作一種嚴密的有限狀態記帳裝置。系統所接受的每一個狀態轉移，都能在圖紙上找到對應的幾何解釋。程序所排除的每一個可能的周期循環，都必定對應著一個明確的可圖示的局部幾何衝突。」
這段話很關鍵。
很多數學家對計算機輔助證明保持警惕，最擔心的就是黑箱式結論。
江臨沒有把程序當作真理，而是把它拆成一本可複查的狀態帳簿。
第四部分，Layer-7阻塞。
當這個詞彙出現在屏幕上時，整個會議室里的注意力明顯高度集中了起來。
許多參會者今天特意撥冗上線，很大程度上就是為了看這位年輕的發現者，將如何在這個世界級的舞台上面對並處理這個被同行尖銳指出的問題。
屏幕上，出現了那張被滑鐵盧大學驗證團隊用刺眼的紅圈標出矛盾點的截圖。
江臨沒有試圖迴避掩飾，更沒有進行任何學術上的嘲諷。
「Layer-7的阻塞質疑是非常有價值的，因為它準確地指出了我在預印本中，為了追求篇幅的簡練，導致壓縮記號變得過於激進的具體位置。」
隨後，他直接切換到一張密密麻麻卻條理分明的狀態轉移大表。
原本在推特等學術社交平台上被反覆轉發，被認為是致命漏洞的那一處紅圈，在這張完整展開的狀態圖裡，被放回了它本該處在的邏輯位置。
江臨只用了三頁圖就處理了這個風波。
「因此，這個被指出的阻塞，並不是該構造機制的反例。」
他在這裡停頓了一下，讓這句結論在空氣中發酵。
「它真正反駁的，是對我補充材料中那三行過度精簡的壓縮記號的，一種同樣過度壓縮式的解讀。」
會議室里沒有任何掌聲。
線上報告這種形式，本來也不適合爆發掌聲。
但是，原本偶爾會有交流的文字聊天區，出現了長達十幾秒的真空。
對於這個圈子裡真正懂行的人來說，這種集體陷入思考的沉默，比任何雷鳴般的掌聲都更加明確。
第五部分，後續視角。
桌面上的計時器顯示時間還剩六分四十秒。
江臨從容地切到了最後一組幻燈片。
標題很簡單，卻透著一股隱約的野心：【超出江氏磚】。
頁面正中，只有兩行字。
【有些結構，是由強局部規則逼迫而出的。】
【有些結構，是從弱全局約束中被壓縮出來的。】
許多旁聽的學者原本以為，Layer-7的澄清就是這次報告的高潮，最後一頁只是一個常規的總結收束段落。
但當第二行字在屏幕上顯現時，遠在另一個時區的主持人霍爾特，不自覺地坐直了身體。
而線下研究室里的韓硯山，眼神一下子銳利起來。
江臨的聲音通過麥克風平穩傳出：「江氏磚，屬於前者的世界。它所受到的約束是強的，任何錯誤的局部物理匹配，都是絕對不被系統允許的。」
畫面配合著他的語速，展示了江氏磚一段嚴絲合縫的咬合邊界。
「然而，如果我們將視野放寬，離散數學領域的許多核心結構問題，並不具備這種優渥的強局部規則。它們擁有的，往往是微弱的全局性質的約束。」
下一頁，他畫了一張極為抽象，卻極具啟發性的示意圖。
圖的左邊，是代表強局部約束的堅固鎖扣。
右邊，是代表弱全局約束的鬆散網絡。
而在兩者之間，他畫了一個漏斗狀的箭頭，旁邊標註著兩個字。
壓縮。
「在完成尋找這塊單一非周期磚的工作之後，我一直在深入思考一個問題。有限狀態壓縮，是否僅僅只能作為一種用於鋪砌驗證的專用計算方法？還是說，它在更深層次上，本身就是更廣義的處理複雜數學結構的視角？」
「尤其是在最近，我目前正在集中精力研究離散結構中的弱倍增現象，以及與之緊密相關的熵形式。由於研究還在進行中，今天我沒有具體的細節定理可以向各位展示。但我有理由認為，壓縮語言在數學中的作用，不應該止步於解決區區一個平鋪問題。」
會議室右側的聊天區，沉寂被瞬間打破，幾條帶著試探和震驚的消息接連彈出。
【弱倍增現象？】
【他是在暗示PFR嗎？】
【熵形式——Marton猜想的路線？】
【他真的是在指PFR/Marton嗎？】
江臨沒有做出任何回應。
這不是答疑環節，更不是他今天要端上桌的主菜。
他切回最後一頁致謝的幻燈片。
「今天的報告，主題只關於一塊磚。至於剩下的那些內容，等它們真正成為無懈可擊的數學定理時，我們再作討論。」
桌面上，倒計時器停在00:37。
江臨直視著攝像頭，揮了揮手：「謝謝。」
報告結束。
線上會議室的公共頻道里安靜了一秒鐘，似乎所有人都在消化最後那幾分鐘拋出的龐大信息量。
隨後，聊天區開始如同瀑布般刷出一排排簡短而鄭重的致意。
【謝謝。】
【證明邏輯非常清楚。】
【這是一場非常精彩的報告。】
【關於Layer-7的現場澄清非常有幫助，解開了我們的疑惑。】
【把計算機驗證視為有限狀態記帳的這個視角非常重要，受教了。】
……
霍爾特適時打開麥克風，聲音裡帶著明顯的讚賞。
「謝謝江先生的講解，下面，我們正式進入問答環節。」
問答開始。
氣氛瞬間從單向的輸出，轉變為針鋒相對的學術交鋒。
第一個問題，來自一位任教於歐洲某頂尖學府的離散幾何老教授。
問題直指核心，不留情面。
「江先生，你的驗證框架依賴的是有限狀態機，但我們都知道，非周期鋪砌空間在本質上是無限的。你能否再詳細解釋一下，從面對一個無限的鋪砌平面，轉化為有限狀態的排除過程，這中間的邏輯跳躍究竟發生在哪一步？」
這個問題直刺證明鏈條中最脆弱的咽喉。
江臨操作滑鼠，將幻燈片切回到了第三部分的龐大狀態圖。
「教授，請注意，我們並不是試圖用計算機去枚舉一個無限的鋪砌平面。」
為了確保邏輯的清晰傳達，他的語速比報告時放慢了一些。
「我們在驗證中枚舉的，是由局部強迫層級所誘導出來的，所有可允許的邊界狀態集合。如果存在周期性，那麼這就要求在這個有限的狀態轉移圖中，必然存在一個相容的閉合循環。而我的驗證程序所排除的，正是在嚴格定義的邊界等價關係下，這類相容循環存在的可能性。」
……
提問的老教授在屏幕那頭微微點了點頭，表示認可。
第二個問題，來自一位專攻符號動力系統方向的年輕學者。
對方探討性地提問，這套看似獨特的驗證邏輯，是否能夠被轉寫為一個更符合他們領域內標準的有限型子移位框架。
江臨沒有為了迎合提問者而強行作答。
他略作思考後表示，可以進行部分的轉寫。
但他也尖銳地指出，由於江氏磚存在幾何邊界摺疊帶來的等價壓縮效應，如果強行套用標準的有限型子移位表述，不僅不能增加清晰度，反而會讓整個證明變得極其臃腫和難以卒讀。
第三個問題，終於輪到了近期在風口浪尖的滑鐵盧大學驗證團隊。
當帶有Waterloo後綴的名字出現在提問列表中時，國內所有正在轉播的旁聽群里瞬間鴉雀無聲。
提問者並不是那位發推特的Kaplan教授本人，而是團隊中的另一位核心研究員。
出乎意料的是，他問得非常客氣，甚至帶著探討的意味。
「江先生，關於Layer-7的阻塞問題，請問剛才修正後的完整索引表，是否已經更新並包含在公開的補充材料中了？」
江臨回答得滴水不漏：「是的，重新修訂後的補充說明文檔中，已經包含了完全展開的索引表、F類鏡像嵌入的詳細分解圖，以及用於摺疊狀態驗證的Python腳本。在這場報告結束後，我也會將今天所有的幻燈片打包上傳至預印本平台。」
對方頓了頓，繼續問道：「那麼，你是否同意，在你提交的原始預印本中，為了篇幅考慮，在這一段的符號壓縮確實顯得過度了？」
「我同意。」
江臨坦然承認。
但停頓了不到半秒，他語氣一轉，補充道。
「那次過度的壓縮，確實是我在撰寫論文時的表述失誤。但請注意，整個證明的邏輯並沒有因此失敗，只是那一段的表述，沒有讓其中一次關鍵的狀態轉移變得足夠容易被同行審查。」
這句話一出。
遠在江大辦公室里的顧南舟，忍不住無聲地吐出一個詞。
漂亮。
只有真正對底層邏輯有著絕對底氣的人，才敢在ICM這種級別的直播現場，坦然承認自己的一處寫作敗筆。
因為他無比清楚，失敗的只是排版表述，而證明本身，堅如磐石。
第四個問題，話題終於不可避免地繞到了那個讓所有人好奇，卻又在學術場合顯得有些敏感的元素。
年齡。
提問的學者用詞極度委婉。
「江先生，我能否冒昧地問一下，這個龐大項目的起源是什麼？老實說，對於處在你目前學術階段的人來說，能夠獨立構建出這樣一個精巧的構造，並獨立完成如此複雜的驗證框架，這確實是非常少見的。」
他使用了學術階段這個詞。
而不是直白的年齡。
這是在ICM這種極其注重學術平等的環境中，能使用的最得體的說法。
國內的各大直播群里，彈幕立刻開始瘋狂刷屏。
【來了來了。】
【憋了半天，終於還是有人問了。】
【看他怎麼接，這問題不好答，容易顯得狂，也容易顯得虛。】
鏡頭裡的江臨平靜地點了點頭，說：「我完全理解您提出這個問題的初衷，但我個人並不認為，我所處的學術階段，或者是我的生理年齡，是這個數學證明過程中的任何一部分。」
會議室里再次陷入了那種落針可聞的安靜。
「我論文裡的每一個幾何構造，每一張狀態轉移表，每一行驗證腳本的代碼，以及剛才展示的每一份修正說明。它們都可以，也理應在完全不知道我身份和年齡的情況下，被同行嚴格檢查。」
他看著鏡頭，仿佛在看著屏幕背後成百上千雙眼睛。
「如果在未來的某一天，這個證明被發現存在致命的邏輯錯誤，那麼，我的年輕並不能拯救它免於被推翻的命運。同樣地，如果這個證明是完全正確的，那麼我的年齡，也不必被拿來為它背書。」
霍爾特教授聽到這段話，表情微微動容，眼神中閃過掩飾不住的驚艷。
這段回答沒有攻擊性，但邏輯鋒利如刀。
它把所有關於天才、身份、成長經歷和教育奇蹟的外部敘事，全部推回了證明本身。
數學就是數學。
它不需要作者的履歷來做擔保，也從不接受作者以年輕為藉口祈求寬恕。
第五個問題，來自一位多年研究單磚候選構造的資深數學家。
他回歸了技術本身，詢問江氏磚在未來是否還有可能被進一步簡化，其複雜的邊界凹凸能否被有效降低。
這個問題非常現實且功利。
江臨回答得極為嚴謹。
「存在這種可能性。」
他大方地承認，當前的構造在美學意義上絕對稱不上最簡，他也從未聲稱江氏磚就是非周期平鋪的終極形態。
它的核心意義，在於證明了這種單一磚塊的存在性，並提供了一條可被同行嚴密審查的構造路徑。
至於邊界複雜度是否還能進一步被算法壓縮，那是留給未來的後續優化問題。
「我們必須先證明它的存在，然後再去追求數學上的優雅。」
這句話剛一拋出，立刻在聊天區引起了一陣短促而熱烈的反響。
【先證明存在，再追求優雅。】
【毫無疑問，這句話將在未來關於平鋪理論的綜述中被反覆引用。】
第六個問題，提問者的名字亮起。
韓硯山。
對於這個名字出現在提問列表里，江臨並不感到意外。
而韓硯山問的問題，焦點也並沒有落在江氏磚上。
「江臨同學，你剛才在最後一頁幻燈片裡，提到了弱全局約束和壓縮之間的關係。我想確認一下，這僅僅是你為了收尾而使用的一個巧妙比喻，還是說，它本身就是一個明確的技術綱領？」
會議室里，不少對前沿動態極其敏感的學者都豎起了耳朵。
因為他們剛才也注意到了那看似隨意帶過的最後兩頁。
江臨非常清楚韓硯山在問什麼，也清楚在這個場合回答這個問題的安全邊界在哪裡。
不過他給出了一個篤定的回答。
「不是比喻，但請各位諒解，它目前還不是今天我們要討論的這一定理的一部分。」
韓硯山沒有開啟麥克風打斷，靜靜地等待下文。
江臨繼續梳理著自己的思路：「在平鋪理論中，局部強迫機制會產生一種非黑即白的硬排除。但在弱倍增類型的問題域中，我們失去了這種硬性的排除手段。我們面臨的挑戰是，必須從一片混沌中精確識別出，究竟是什麼核心結構被壓縮了？是什麼因素在為這種結構的損失買單？以及這種微小的損失，是如何在不同的尺度之間逐漸累積並放大的。」
說到這裡，他的語氣變得異常堅定。
「這正是我目前在全力推進的研究課題。」
沒有展示更多細節，但傳遞出的信息量已經足夠震撼。
聊天區再次湧現出很多難掩激動的信息。
【他又一次提到了弱倍增。】
【這絕對和PFR有關，他在嘗試攻克這個堡壘！】
【跨尺度累積？】
【難道是利用能量增量策略？這野心太大了。】
霍爾特看了一眼系統時間。
問答環節的討論極其熱烈，已經遠遠超出了預定的二十分鐘。
但他沒有立刻行使主持人的權力強行終止。
最後一個被選中的問題，來自一位研究計算機輔助數學的美國學者。
「江先生，你的驗證框架令人印象深刻。請問你會在會後公開你所有的驗證代碼嗎？」
「部分公開。」
部分這個詞一出，讓許多原本以為會得到肯定答覆的人都抬起了頭。
他隨即給出了解釋：「所有用於檢查、覆核這個構造正確性所必需的驗證腳本，會立刻公開。用於輔助生成磚塊的工具和部分搜索啟發式方法的偽代碼，會詳細寫入補充文檔。但是，並非所有我們在內部使用的底層工具，都會在今天立即開源。」
提問者顯然有些不甘心，追問道：「為什麼不選擇完全開源，這能極大增加同行對你的信任。」
江臨的回答很直接。
「因為驗證一個結論和發現一個結論，是兩件截然不同的事。」
他切換回了一頁展示驗證流程的備用圖。
「我認為，所有用於讓同行審查最終結論的工具和數據，都應該毫無保留地公開。但那些用於在無盡的空間中生成候選者，探索失敗構造，嘗試壓縮狀態的原始探索工具，它們屬於另一個工作層面。」
這句話，充滿了強烈的個人烙印，非常江臨。
他願意讓證明接受最嚴苛的審查，結論必須接受全世界的檢驗。
但是，他手裡的核心工具鏈，不是為了換取虛名而無條件獻祭給世界的祭品。
那些耗費了無數個日夜，頭髮都熬白了才寫出的候選生成器，沒有義務向全世界完整開放原始碼。
他不會用大公無私的開源去換取別人對他所謂誠意的認可。
數學共同體真正需要的，是一條可複查的證明鏈。
而不是要求他將所有賴以生存的底層技術資產拿出來裸奔。
霍爾特在屏幕那頭緩緩地點了點頭，表示理解。
「我認同你的區分，這是合理的智慧財產權保護。雖然我也預計，這種做法在會後不可避免地會引發一些爭議。」
江臨面色不改：「討論和爭議，隨時歡迎。」
九點十六分。
報告正式結束。
在關閉界面前，霍爾特通過私信通道給江臨發來了一句話。
【這是一場非常精彩的報告，江。尤其是你關於年齡問題的那個回答，令人印象深刻。】
江臨手指輕敲鍵盤迴復：【謝謝霍爾特教授。】
與此同時。
國內的各大相關論壇和旁聽群已經徹底炸開了鍋。
有人連夜整理報告的詳細筆記，梳理邏輯鏈。
有人將Layer-7的解釋過程截圖，發在自己的學術博客上進行長篇解讀。
有人在專業論壇上發帖，深入討論有限狀態記帳這個視角對未來計算機輔助證明的深遠影響。
有人反覆回放錄像，盯住報告最後那兩頁關於弱全局約束的簡短論述。
更有一些真正站在前沿的學者，把韓硯山的提問和江臨的回答單獨截取出來，反覆咀嚼。
【不是比喻。】
【一個技術綱領。】
這兩句看似平淡的話，精準地扎進了加性組合方向里，那極少數真正懂行的人的神經末梢上。
當網上的普通觀眾還在熱血沸騰地討論江臨懟人有多硬氣，態度有多酷的時候。
數學圈裡那些嗅覺更敏感的大腦，已經因為恐懼或興奮而戰慄，他們意識到了一件更加恐怖的事情。
江臨的腳步，根本沒有停留在江氏磚上。
他借著ICM報告這個全球矚目的舞台，在最後幾分鐘裡，輕描淡寫地向整個數學界展示了他下一條征途的入口。
晚上七點四十。
電腦屏幕上，2022年國際數學家大會的專屬線上會議客戶端已經提前登錄完畢。
攝像頭畫面正靜靜地停在預覽窗口裡。
畫面中的少年只穿著一件最普通的黑色無印T恤，背後是他那面略顯擁擠的書架，上面錯落有致地塞滿了各種專業書籍和列印裝訂的論文。
桌面的左側，擺放著一個極簡風格的倒數計時器，紅色的數字凝固在起點。
45:00。
右側，是另外一台用作輔助的筆記本電腦。
屏幕上已經打開了應對突發提問的備用幻燈片序列，以及幾段用以展示有限狀態驗證過程的終端錄屏。
七點四十五分。
客戶端的右下角彈出了線上技術員的消息。
【音頻及帶寬負載測試，請回應。】
江臨伸手點開麥克風。
「我是江臨，能聽見嗎？」
耳機里立刻傳來帶有輕微電流聲的清晰回應。
「聲音非常清楚，頻段穩定，畫面延遲在允許範圍內。」
七點五十二分。
會議主持準時上線。
馬庫斯·霍爾特教授出現在會議的主控窗口裡。
正是這位學者，在之前的學術文章中第一次正式使用了江氏磚這個稱呼。
而今天，ICM組委會特意安排他來擔任這場特別線上報告的主持人。
「江先生，晚上好。」
「霍爾特教授，早上好。」
江城此刻夜幕低垂。
而ICM主伺服器所在的另一端，卻正迎著另一個時區初升的晨光。
霍爾特在屏幕里笑了一下，似乎為了緩解開場前的緊繃感。
「時區差異，永遠是大型線上國際大會的第一道測試題。」
江臨微微點頭，接上了這句話。
「至少，它比處理邊界阻塞要容易得多。」
霍爾特怔了半秒，顯然沒料到對方會這麼接話，隨即他真的笑出了聲。
「那麼，我希望今晚我們在學術上遇到的阻塞，也能像處理時區一樣少一點。」
七點五十八分。
正式的線上會議室權限開放。
屏幕右側的參與者列表開始以一種令人眼暈的速度不斷跳出新的名字，參會人數直線上漲。
兩百。
四百。
六百。
九百。
……
窗口右側持續滾動的參會名單里，開始出現許多江臨這段時間在海量的文獻、經典著作和領域綜述里反覆見過的熟悉名字。
……
八點整。
霍爾特打開全局麥克風。
「歡迎各位參加2022年國際數學家大會的這場特別線上報告。」
「今天，我們非常榮幸地邀請到江臨先生。他近期公布的預印本，給出了一種單一非周期鋪砌磚的全新構造方案，這一構造目前在學界已經被廣泛地稱為江氏磚。」
話音剛落，屏幕中央，江臨的第一頁幻燈片被投射出來。
【江氏磚：局部強迫機制、有限狀態驗證與單一非周期鋪砌磚】
霍爾特繼續說道。
「今天，江先生來親自介紹這一構造的思想、有限狀態的驗證框架，以及如何解決阻塞問題。」
稍作停頓後，作為主持人的他補上了一句規則說明。
「在報告進行的過程中，我們將通過後台收集各位的問題，並在四十五分鐘的報告結束後進行統一討論。江先生，現在，時間交給你。」
江臨點開麥克風的開關。
桌面上的計時器接收到指令，開始無聲地倒數。
44:59。
「謝謝霍爾特教授。」
他的聲音從中國江城傳出，被轉化為數位訊號，精準地推送到世界各地頂尖數學家的耳機和音箱中。
「今天我要向各位講述的是一個單一非周期鋪砌磚的構造過程。但我並不打算從它那已經被廣泛報導的名字講起，而是先從它，為了存在，必須承載的那些約束講起。」
第一頁幻燈片迅速切換。
畫面上出現的，是一條被極度放大、充滿鋸齒和凹凸的局部邊界片段。
江臨只用了不到三分鐘的時間就利落地搭起了整個理論背景。
接著梳理了後續各種單磚候選方案是如何試圖不斷壓縮構成鋪砌的底層對象數量。
最終引出核心論點。
「因此，評估這個問題的關鍵，並不在於這個形狀第一眼看上去是否足夠複雜，而在於信息究竟被儲存在了什麼地方？」
屏幕上，江氏磚的整體輪廓第一次完整出現。
沒有中文網際網路上那些為了博眼球而添加的誇張紅圈和箭頭。
沒有媒體報導里把它渲染成某種神秘藝術品的濾鏡。
只有精確的邊界、局部坐標、方向標記和幾組被淡色突出顯示的匹配段。
江臨像解剖精密儀器一樣，把這塊磚拆解成了四個邏輯層級。
「在這裡，大多數人最容易產生的誤解，是把江氏磚僅僅看成一塊具有某種奇怪輪廓的幾何多邊形。」
他按下翻頁鍵。
幻燈片上的邊界被拉直，展開成了一條包含著字母和數字的超長序列。
「如果我們要理解它的運行機制，更準確的視角是，它是一段被高度幾何化了的有限狀態的密碼文本。」
會議室里，雖然聽不到聲音，但很多人已經不自覺地拿起了筆，開始在筆記本上快速記錄。
江臨沒有停頓。
他用一組動態的局部圖案清晰地說明，當兩塊江氏磚發生物理拼貼時，本質上並不是單純的邊與邊貼合。
它們是在進行一場信息的握手，傳遞著方向、相位和有限狀態機的當前信息。
某些邊界段上的微小凹凸，看似只是為了增加複雜度的細小修飾。
其真實的數學作用，是禁止錯誤的相位信息滲透進入下一層的拼貼結構。
某些局部看似冗餘的突兀缺口。
實際是在底層的邏輯推演中，強迫宏觀結構必須出現不可被周期化的層級分離。
「局部強迫，並不意味著每一個局部圖案本身都是絕對剛性的，不容改變的。」
「它的真正含義是，局部可允許性的約束條件會不斷向外累加，最終形成一道不可逾越的高牆，對任何試圖形成周期性結構的傾向產生全局阻礙。」
國內不少正在通過各個私密群聊旁聽的數學系碩博生，聽到這裡，敲擊鍵盤翻譯原話的手指下意識地停住。
因為這句話，他們聽懂了。
但也正因為聽懂，他們才深刻地意識到這句看似輕巧的話語背後，蘊含著怎樣精妙的邏輯控制力和構造難度。
到第三部分有限狀態驗證，江臨展示的是整個計算機輔助驗證鏈的組織框架和邏輯流向。
每一個模塊，他只展示其暴露在外的功能接口和背後嚴謹的數學含義。
「在這裡，計算機的高速計算並不是作為一個不可見底的黑箱來使用的。」
他切出了一張結構清晰的邏輯流程圖。
「在我的證明中，它被用作一種嚴密的有限狀態記帳裝置。系統所接受的每一個狀態轉移，都能在圖紙上找到對應的幾何解釋。程序所排除的每一個可能的周期循環，都必定對應著一個明確的可圖示的局部幾何衝突。」
這段話很關鍵。
很多數學家對計算機輔助證明保持警惕，最擔心的就是黑箱式結論。
江臨沒有把程序當作真理，而是把它拆成一本可複查的狀態帳簿。
第四部分，Layer-7阻塞。
當這個詞彙出現在屏幕上時，整個會議室里的注意力明顯高度集中了起來。
許多參會者今天特意撥冗上線，很大程度上就是為了看這位年輕的發現者，將如何在這個世界級的舞台上面對並處理這個被同行尖銳指出的問題。
屏幕上，出現了那張被滑鐵盧大學驗證團隊用刺眼的紅圈標出矛盾點的截圖。
江臨沒有試圖迴避掩飾，更沒有進行任何學術上的嘲諷。
「Layer-7的阻塞質疑是非常有價值的，因為它準確地指出了我在預印本中，為了追求篇幅的簡練，導致壓縮記號變得過於激進的具體位置。」
隨後，他直接切換到一張密密麻麻卻條理分明的狀態轉移大表。
原本在推特等學術社交平台上被反覆轉發，被認為是致命漏洞的那一處紅圈，在這張完整展開的狀態圖裡，被放回了它本該處在的邏輯位置。
江臨只用了三頁圖就處理了這個風波。
「因此，這個被指出的阻塞，並不是該構造機制的反例。」
他在這裡停頓了一下，讓這句結論在空氣中發酵。
「它真正反駁的，是對我補充材料中那三行過度精簡的壓縮記號的，一種同樣過度壓縮式的解讀。」
會議室里沒有任何掌聲。
線上報告這種形式，本來也不適合爆發掌聲。
但是，原本偶爾會有交流的文字聊天區，出現了長達十幾秒的真空。
對於這個圈子裡真正懂行的人來說，這種集體陷入思考的沉默，比任何雷鳴般的掌聲都更加明確。
第五部分，後續視角。
桌面上的計時器顯示時間還剩六分四十秒。
江臨從容地切到了最後一組幻燈片。
標題很簡單，卻透著一股隱約的野心：【超出江氏磚】。
頁面正中，只有兩行字。
【有些結構，是由強局部規則逼迫而出的。】
【有些結構，是從弱全局約束中被壓縮出來的。】
許多旁聽的學者原本以為，Layer-7的澄清就是這次報告的高潮，最後一頁只是一個常規的總結收束段落。
但當第二行字在屏幕上顯現時，遠在另一個時區的主持人霍爾特，不自覺地坐直了身體。
而線下研究室里的韓硯山，眼神一下子銳利起來。
江臨的聲音通過麥克風平穩傳出：「江氏磚，屬於前者的世界。它所受到的約束是強的，任何錯誤的局部物理匹配，都是絕對不被系統允許的。」
畫面配合著他的語速，展示了江氏磚一段嚴絲合縫的咬合邊界。
「然而，如果我們將視野放寬，離散數學領域的許多核心結構問題，並不具備這種優渥的強局部規則。它們擁有的，往往是微弱的全局性質的約束。」
下一頁，他畫了一張極為抽象，卻極具啟發性的示意圖。
圖的左邊，是代表強局部約束的堅固鎖扣。
右邊，是代表弱全局約束的鬆散網絡。
而在兩者之間，他畫了一個漏斗狀的箭頭，旁邊標註著兩個字。
壓縮。
「在完成尋找這塊單一非周期磚的工作之後，我一直在深入思考一個問題。有限狀態壓縮，是否僅僅只能作為一種用於鋪砌驗證的專用計算方法？還是說，它在更深層次上，本身就是更廣義的處理複雜數學結構的視角？」
「尤其是在最近，我目前正在集中精力研究離散結構中的弱倍增現象，以及與之緊密相關的熵形式。由於研究還在進行中，今天我沒有具體的細節定理可以向各位展示。但我有理由認為，壓縮語言在數學中的作用，不應該止步於解決區區一個平鋪問題。」
會議室右側的聊天區，沉寂被瞬間打破，幾條帶著試探和震驚的消息接連彈出。
【弱倍增現象？】
【他是在暗示PFR嗎？】
【熵形式——Marton猜想的路線？】
【他真的是在指PFR/Marton嗎？】
江臨沒有做出任何回應。
這不是答疑環節，更不是他今天要端上桌的主菜。
他切回最後一頁致謝的幻燈片。
「今天的報告，主題只關於一塊磚。至於剩下的那些內容，等它們真正成為無懈可擊的數學定理時，我們再作討論。」
桌面上，倒計時器停在00:37。
江臨直視著攝像頭，揮了揮手：「謝謝。」
報告結束。
線上會議室的公共頻道里安靜了一秒鐘，似乎所有人都在消化最後那幾分鐘拋出的龐大信息量。
隨後，聊天區開始如同瀑布般刷出一排排簡短而鄭重的致意。
【謝謝。】
【證明邏輯非常清楚。】
【這是一場非常精彩的報告。】
【關於Layer-7的現場澄清非常有幫助，解開了我們的疑惑。】
【把計算機驗證視為有限狀態記帳的這個視角非常重要，受教了。】
……
霍爾特適時打開麥克風，聲音裡帶著明顯的讚賞。
「謝謝江先生的講解，下面，我們正式進入問答環節。」
問答開始。
氣氛瞬間從單向的輸出，轉變為針鋒相對的學術交鋒。
第一個問題，來自一位任教於歐洲某頂尖學府的離散幾何老教授。
問題直指核心，不留情面。
「江先生，你的驗證框架依賴的是有限狀態機，但我們都知道，非周期鋪砌空間在本質上是無限的。你能否再詳細解釋一下，從面對一個無限的鋪砌平面，轉化為有限狀態的排除過程，這中間的邏輯跳躍究竟發生在哪一步？」
這個問題直刺證明鏈條中最脆弱的咽喉。
江臨操作滑鼠，將幻燈片切回到了第三部分的龐大狀態圖。
「教授，請注意，我們並不是試圖用計算機去枚舉一個無限的鋪砌平面。」
為了確保邏輯的清晰傳達，他的語速比報告時放慢了一些。
「我們在驗證中枚舉的，是由局部強迫層級所誘導出來的，所有可允許的邊界狀態集合。如果存在周期性，那麼這就要求在這個有限的狀態轉移圖中，必然存在一個相容的閉合循環。而我的驗證程序所排除的，正是在嚴格定義的邊界等價關係下，這類相容循環存在的可能性。」
……
提問的老教授在屏幕那頭微微點了點頭，表示認可。
第二個問題，來自一位專攻符號動力系統方向的年輕學者。
對方探討性地提問，這套看似獨特的驗證邏輯，是否能夠被轉寫為一個更符合他們領域內標準的有限型子移位框架。
江臨沒有為了迎合提問者而強行作答。
他略作思考後表示，可以進行部分的轉寫。
但他也尖銳地指出，由於江氏磚存在幾何邊界摺疊帶來的等價壓縮效應，如果強行套用標準的有限型子移位表述，不僅不能增加清晰度，反而會讓整個證明變得極其臃腫和難以卒讀。
第三個問題，終於輪到了近期在風口浪尖的滑鐵盧大學驗證團隊。
當帶有Waterloo後綴的名字出現在提問列表中時，國內所有正在轉播的旁聽群里瞬間鴉雀無聲。
提問者並不是那位發推特的Kaplan教授本人，而是團隊中的另一位核心研究員。
出乎意料的是，他問得非常客氣，甚至帶著探討的意味。
「江先生，關於Layer-7的阻塞問題，請問剛才修正後的完整索引表，是否已經更新並包含在公開的補充材料中了？」
江臨回答得滴水不漏：「是的，重新修訂後的補充說明文檔中，已經包含了完全展開的索引表、F類鏡像嵌入的詳細分解圖，以及用於摺疊狀態驗證的Python腳本。在這場報告結束後，我也會將今天所有的幻燈片打包上傳至預印本平台。」
對方頓了頓，繼續問道：「那麼，你是否同意，在你提交的原始預印本中，為了篇幅考慮，在這一段的符號壓縮確實顯得過度了？」
「我同意。」
江臨坦然承認。
但停頓了不到半秒，他語氣一轉，補充道。
「那次過度的壓縮，確實是我在撰寫論文時的表述失誤。但請注意，整個證明的邏輯並沒有因此失敗，只是那一段的表述，沒有讓其中一次關鍵的狀態轉移變得足夠容易被同行審查。」
這句話一出。
遠在江大辦公室里的顧南舟，忍不住無聲地吐出一個詞。
漂亮。
只有真正對底層邏輯有著絕對底氣的人，才敢在ICM這種級別的直播現場，坦然承認自己的一處寫作敗筆。
因為他無比清楚，失敗的只是排版表述，而證明本身，堅如磐石。
第四個問題，話題終於不可避免地繞到了那個讓所有人好奇，卻又在學術場合顯得有些敏感的元素。
年齡。
提問的學者用詞極度委婉。
「江先生，我能否冒昧地問一下，這個龐大項目的起源是什麼？老實說，對於處在你目前學術階段的人來說，能夠獨立構建出這樣一個精巧的構造，並獨立完成如此複雜的驗證框架，這確實是非常少見的。」
他使用了學術階段這個詞。
而不是直白的年齡。
這是在ICM這種極其注重學術平等的環境中，能使用的最得體的說法。
國內的各大直播群里，彈幕立刻開始瘋狂刷屏。
【來了來了。】
【憋了半天，終於還是有人問了。】
【看他怎麼接，這問題不好答，容易顯得狂，也容易顯得虛。】
鏡頭裡的江臨平靜地點了點頭，說：「我完全理解您提出這個問題的初衷，但我個人並不認為，我所處的學術階段，或者是我的生理年齡，是這個數學證明過程中的任何一部分。」
會議室里再次陷入了那種落針可聞的安靜。
「我論文裡的每一個幾何構造，每一張狀態轉移表，每一行驗證腳本的代碼，以及剛才展示的每一份修正說明。它們都可以，也理應在完全不知道我身份和年齡的情況下，被同行嚴格檢查。」
他看著鏡頭，仿佛在看著屏幕背後成百上千雙眼睛。
「如果在未來的某一天，這個證明被發現存在致命的邏輯錯誤，那麼，我的年輕並不能拯救它免於被推翻的命運。同樣地，如果這個證明是完全正確的，那麼我的年齡，也不必被拿來為它背書。」
霍爾特教授聽到這段話，表情微微動容，眼神中閃過掩飾不住的驚艷。
這段回答沒有攻擊性，但邏輯鋒利如刀。
它把所有關於天才、身份、成長經歷和教育奇蹟的外部敘事，全部推回了證明本身。
數學就是數學。
它不需要作者的履歷來做擔保，也從不接受作者以年輕為藉口祈求寬恕。
第五個問題，來自一位多年研究單磚候選構造的資深數學家。
他回歸了技術本身，詢問江氏磚在未來是否還有可能被進一步簡化，其複雜的邊界凹凸能否被有效降低。
這個問題非常現實且功利。
江臨回答得極為嚴謹。
「存在這種可能性。」
他大方地承認，當前的構造在美學意義上絕對稱不上最簡，他也從未聲稱江氏磚就是非周期平鋪的終極形態。
它的核心意義，在於證明了這種單一磚塊的存在性，並提供了一條可被同行嚴密審查的構造路徑。
至於邊界複雜度是否還能進一步被算法壓縮，那是留給未來的後續優化問題。
「我們必須先證明它的存在，然後再去追求數學上的優雅。」
這句話剛一拋出，立刻在聊天區引起了一陣短促而熱烈的反響。
【先證明存在，再追求優雅。】
【毫無疑問，這句話將在未來關於平鋪理論的綜述中被反覆引用。】
第六個問題，提問者的名字亮起。
韓硯山。
對於這個名字出現在提問列表里，江臨並不感到意外。
而韓硯山問的問題，焦點也並沒有落在江氏磚上。
「江臨同學，你剛才在最後一頁幻燈片裡，提到了弱全局約束和壓縮之間的關係。我想確認一下，這僅僅是你為了收尾而使用的一個巧妙比喻，還是說，它本身就是一個明確的技術綱領？」
會議室里，不少對前沿動態極其敏感的學者都豎起了耳朵。
因為他們剛才也注意到了那看似隨意帶過的最後兩頁。
江臨非常清楚韓硯山在問什麼，也清楚在這個場合回答這個問題的安全邊界在哪裡。
不過他給出了一個篤定的回答。
「不是比喻，但請各位諒解，它目前還不是今天我們要討論的這一定理的一部分。」
韓硯山沒有開啟麥克風打斷，靜靜地等待下文。
江臨繼續梳理著自己的思路：「在平鋪理論中，局部強迫機制會產生一種非黑即白的硬排除。但在弱倍增類型的問題域中，我們失去了這種硬性的排除手段。我們面臨的挑戰是，必須從一片混沌中精確識別出，究竟是什麼核心結構被壓縮了？是什麼因素在為這種結構的損失買單？以及這種微小的損失，是如何在不同的尺度之間逐漸累積並放大的。」
說到這裡，他的語氣變得異常堅定。
「這正是我目前在全力推進的研究課題。」
沒有展示更多細節，但傳遞出的信息量已經足夠震撼。
聊天區再次湧現出很多難掩激動的信息。
【他又一次提到了弱倍增。】
【這絕對和PFR有關，他在嘗試攻克這個堡壘！】
【跨尺度累積？】
【難道是利用能量增量策略？這野心太大了。】
霍爾特看了一眼系統時間。
問答環節的討論極其熱烈，已經遠遠超出了預定的二十分鐘。
但他沒有立刻行使主持人的權力強行終止。
最後一個被選中的問題，來自一位研究計算機輔助數學的美國學者。
「江先生，你的驗證框架令人印象深刻。請問你會在會後公開你所有的驗證代碼嗎？」
「部分公開。」
部分這個詞一出，讓許多原本以為會得到肯定答覆的人都抬起了頭。
他隨即給出了解釋：「所有用於檢查、覆核這個構造正確性所必需的驗證腳本，會立刻公開。用於輔助生成磚塊的工具和部分搜索啟發式方法的偽代碼，會詳細寫入補充文檔。但是，並非所有我們在內部使用的底層工具，都會在今天立即開源。」
提問者顯然有些不甘心，追問道：「為什麼不選擇完全開源，這能極大增加同行對你的信任。」
江臨的回答很直接。
「因為驗證一個結論和發現一個結論，是兩件截然不同的事。」
他切換回了一頁展示驗證流程的備用圖。
「我認為，所有用於讓同行審查最終結論的工具和數據，都應該毫無保留地公開。但那些用於在無盡的空間中生成候選者，探索失敗構造，嘗試壓縮狀態的原始探索工具，它們屬於另一個工作層面。」
這句話，充滿了強烈的個人烙印，非常江臨。
他願意讓證明接受最嚴苛的審查，結論必須接受全世界的檢驗。
但是，他手裡的核心工具鏈，不是為了換取虛名而無條件獻祭給世界的祭品。
那些耗費了無數個日夜，頭髮都熬白了才寫出的候選生成器，沒有義務向全世界完整開放原始碼。
他不會用大公無私的開源去換取別人對他所謂誠意的認可。
數學共同體真正需要的，是一條可複查的證明鏈。
而不是要求他將所有賴以生存的底層技術資產拿出來裸奔。
霍爾特在屏幕那頭緩緩地點了點頭，表示理解。
「我認同你的區分，這是合理的智慧財產權保護。雖然我也預計，這種做法在會後不可避免地會引發一些爭議。」
江臨面色不改：「討論和爭議，隨時歡迎。」
九點十六分。
報告正式結束。
在關閉界面前，霍爾特通過私信通道給江臨發來了一句話。
【這是一場非常精彩的報告，江。尤其是你關於年齡問題的那個回答，令人印象深刻。】
江臨手指輕敲鍵盤迴復：【謝謝霍爾特教授。】
與此同時。
國內的各大相關論壇和旁聽群已經徹底炸開了鍋。
有人連夜整理報告的詳細筆記，梳理邏輯鏈。
有人將Layer-7的解釋過程截圖，發在自己的學術博客上進行長篇解讀。
有人在專業論壇上發帖，深入討論有限狀態記帳這個視角對未來計算機輔助證明的深遠影響。
有人反覆回放錄像，盯住報告最後那兩頁關於弱全局約束的簡短論述。
更有一些真正站在前沿的學者，把韓硯山的提問和江臨的回答單獨截取出來，反覆咀嚼。
【不是比喻。】
【一個技術綱領。】
這兩句看似平淡的話，精準地扎進了加性組合方向里，那極少數真正懂行的人的神經末梢上。
當網上的普通觀眾還在熱血沸騰地討論江臨懟人有多硬氣，態度有多酷的時候。
數學圈裡那些嗅覺更敏感的大腦，已經因為恐懼或興奮而戰慄，他們意識到了一件更加恐怖的事情。
江臨的腳步，根本沒有停留在江氏磚上。
他借著ICM報告這個全球矚目的舞台，在最後幾分鐘裡，輕描淡寫地向整個數學界展示了他下一條征途的入口。