第150章 猜想開場
八月中旬的北京，空氣里還殘留著盛夏的滯重與悶熱。
從清晨六點半開始，五道口附近的交通幹道就已經被各式各樣的車輛填滿。
車流緩慢地向前挪動，尾氣與柏油路面蒸騰出的熱浪混雜在一起。
校門，迎新點，志願者，印著各院系名字的彩色道旗……
所有這些詞彙，正在現實中拼湊成一幅喧鬧而充滿生機的畫卷。
對絕大多數十八歲的年輕人來說，這些畫面將構成他們對大學生活的最初記憶。
江臨吃過早餐，收拾行李，退掉酒店房間，打了一輛網約車去清華。
不過車最終還是堵在了清華西門外的中關村北大街上。
往前望，車流排出去幾百米，紅色的剎車燈連成一串。
路邊的人行道上全是人，拖行李箱的滾輪聲、家長的叮囑聲、孩子的應答聲混在一起，隔著車窗都能感受到那種熱騰騰的喧鬧。
「得等會兒了，每年新生報到都這樣，西門能堵半小時。」 司機咂了下嘴，「要不我給你停前面路口，你走過去也就幾百米。」
「可以。」
江臨從車上下來，拖著行李箱站在了西門外的人行道上。
熱烈歡迎2022級新同學。
校門口掛著巨大的紅色橫幅，風一吹，橫幅獵獵作響。
門口站著穿紫色馬甲的志願者，舉著清華大學迎新接待站的牌子，正在引導新生和家長走專用通道。
往裡走，主幹道兩側的梧桐樹枝葉交疊，搭出一條天然的林蔭道。
每隔幾十米就有一個院系迎新點，搭著藍色帳篷，擺著院系招牌。
經管學院、計算機系、機械工程系、建築學院……
帳篷前擠滿了人，新生遞上錄取通知書，志願者笑著遞過新生大禮包，家長站在旁邊舉著相機，不停按快門。
二校門附近人最多。
這座刻著清華園三個字的石砌牌坊前，幾乎圍了里三層外三層。
每一個新生都要停下來，站在牌坊正中央，讓家長拍一張照。
有人拘謹地站著，有人比出剪刀手，還有的全家一起上陣，拉著行李箱也要湊進鏡頭裡。
人聲順著梧桐道飄出去很遠，夾雜著志願者的指引聲、孩子的笑聲、家長帶著鄉音的交談聲，像一場盛大的潮汐，正慢慢漫進整個校園。
江臨拖著行李箱，沿著人行道的邊緣往裡走。
路上有人認出了他。
先是遲疑，然後小聲提醒同伴。
「是不是江臨？」
「好像是。」
「他也今天報到？」
「廢話，他不是去清華嗎。」
有人目光追過來。
也有人舉起手機，又很快放下。
越往公寓區走，迎新的氣息越濃。
紫荊1號樓到13號樓是本科生常規宿舍，樓下全是搬行李的人。
家長扛著床墊和被子，孩子拖著行李箱，宿管門口排著長隊領鑰匙……
17號樓相比之下，簡直安靜得像另一個世界。
沒有迎新帳篷，也沒有扎堆的家長，只有宿管阿姨坐在值班室里看報紙。
江臨刷卡進去。
宿舍里，他用了十分鐘把行李歸置好，便下樓去數學科學中心報備。
與此同時，一條消息正在清華校內的幾個小圈子裡，以驚人的速度發酵。
最先傳出消息的是數學科學系的教師群。
【通知：今日下午2:30，數學中心一樓報告廳，PFR/Marton v1.0閉門技術校準會，作者江臨主講。僅限加性組合、概率、資訊理論、形式化驗證方向本校師生參加，名單制旁聽，有意向的老師同學速報給系辦。】
後面補了一句。
【機會難得，相關方向優先。】
群里安靜了幾秒。
緊接著，原本常年潛水的頭像一個接一個冒了出來。
【是那個多項式弗雷曼-魯佐猜想？】
【對，就是那個。v1.0版本，昨天凌晨剛發給核心審查者。】
【我去，江臨，那個本科新生，他真做出來了？】
消息像水一樣滲開。
數院的老師立刻轉發給自己帶的學生。
求真書院博士生群里，十點十五分，有人把通知轉了進去。
【兄弟們，大新聞。下午數學中心有江臨的PFR閉門會，名單制旁聽，相關方向趕緊找導師報名，手慢無。】
群里本來只有幾條迎新互助的消息，瞬間炸了。
【今天不是新生報到日嗎？江臨作為本科新生，不應該在紫荊操場排隊報到嗎？】
【所以才離譜啊！別人開學第一天在排隊領教材，他開學第一天去給數學中心那幫博導做閉門技術校準。這世界還有沒有道理可講了？】
十點半，消息傳到了交叉信息研究院。
做形式化驗證的青年教師林川，本來正在開組會，和學生討論下周的 Lean 驗證任務。手機彈出消息，他掃了一眼，直接停住了話頭。
「組會先暫停。」
學生們都愣住了。
「下午兩點半，數學中心有一場 PFR/Marton 的閉門技術校準會，江臨主講。」 林川把手機放到桌上，「所有做形式化驗證、理論計算的，都去找系辦報名，能進的都去聽，組會順延到明天上午。」
底下的學生面面相覷。
「老師，PFR 那個猜想？真做出來了？」
「v1.0 版本，今天剛進入審查。」 林川敲了敲桌子，「這個證明如果成立，我們手上好幾個形式化項目的底層邏輯都要變。都去聽，認真記，回來我們開專題討論。」
十一點，消息已經衝出了清華。
中科院數學與系統科學研究院，陳則民研究員坐在辦公室里，剛審完一篇學生的論文初稿。
手機上彈出同門群的消息，是清華的同學發的通知。
他盯著屏幕看了半分鐘，拿起手機，給自己帶的三個博士生打了電話。
「你們三個，下午去清華數學中心，聽一場閉門報告。」
「啊，陳老師，什麼報告啊，我們下午本來要算那個加性組合的數值模擬。」
「別做了，先去聽報告。如果這個證明的主鏈路是通的，我們手裡那三個課題，方向全部都得重新調整。」
電話那頭安靜了幾秒。
「真的假的？他不是剛做出江氏磚嗎，才幾天啊，又搞定PFR了？」
「他用幾天時間做出來的不重要，重要的是東西。」 陳則民解釋說，「能進去聽就認真聽，記好筆記。進不去就在外面等，看看有沒有會後交流的機會。這種級別的工作，能蹭到一點邊角，都比你們悶頭做三個月有用。」
十一點二十分，北大數院。
幾個加性組合方向的博士生正在討論室里啃三明治，一邊翻最新的論文。
其中一個人刷到了朋友圈，清華的同學發的，配文是下午有硬菜，定位是清華數學科學中心。
他點進去一看，差點把三明治噴出來。
「我靠，兄弟們，江臨今天下午在清華開PFR的閉門會！」
「扯吧？前陣子不還說只有個雛形嗎？」
「真的，我清華同學發的，名單制旁聽。」
幾個人立刻圍了過來。
「校外的讓進嗎？」
「不知道啊，我問問我導師。」
其中一個博士生立刻給導師發消息。
不到五分鐘，導師回了。
【我和清華那邊打了招呼，你們三個過去，報我名字，能進。趕緊的，別遲到。】
三人對視一眼，立刻抓起書包和筆記本就往外跑。
「本來以為是圈內謠言，結果導師都讓我們去蹭。」
「這哪是蹭啊，這是去朝聖。」
「說真的，我到現在都有點懵。PFR啊，我們博一的時候還在討論這個猜想有多難，結果人家直接做出來開閉門會了。」
走到校門口打車的時候，其中一人忽然想起什麼，說：「哎，你們說韋老師會不會去？」
另外兩人腳步一頓。
「他要是感興趣，肯定會去吧。」
……
十二點十分，資本圈也嗅到了風聲。
紅圖資本的科技投資群里，負責硬科技賽道的投資總監張敬，發了一句話。
【確認了，江臨今天在清華數學中心開 PFR/Marton閉門會，國內加性組合圈的人基本都到了，線上還有陶哲軒、Voss他們。】
群里本來在聊世界機器人大會的參展項目，瞬間拐了方向。
【張總，PFR 是什麼？和低熵工坊有關係？】
【低熵工坊的創始人就是江臨。之前我們以為他是個做機器人的創業者，現在看來，人家根本是先拿了數學領域的頂級成果，再下場做工程。】
【之前我們想約低熵工坊談A輪，一直沒約上，我還以為是對方故意拿喬。原來人家根本不是普通的硬科技創業公司，創始人是真的在同時做世界級的底層理論研究。】
【那之前的估值模型得改了。本來以為G-01六足機器人是核心資產，現在看來，江臨本人的數學能力，才是低熵工坊最值錢的東西。】
投資人們的討論方向瞬間發生偏移。
不再有人談論機器人公司的商業化落地周期，所有人的焦點都轉向了創始人擁有世界級底層數學能力，對一家硬科技公司到底意味著多大的估值溢價。
群里的首席合伙人最後定調。
【別再提什麼機器人展會期間順路去展台看看這種輕慢的話了。對我們而言，G-01型機器人只是一個可見的入口，江臨本人，正在變成低熵工坊最難定價，也最無法被競爭對手複製的底層資產。】
……
上午十二點四十分，消息被搬到知乎。
數學分區下，一個新問題悄無聲息地冒了出來，然後以驚人的速度往上沖。
【如何評價江臨今日在清華大學數學科學中心進行的PFR/Marton閉門技術報告？】
不到半小時，回答區就炸了。
高贊第一是匿名用戶，標註著清華大學數學科學系博士在讀。
贊數半小時衝到一千二。
【人在數學中心走廊，剛擠完旁聽隊伍。
本來是十八人規模的核心審查校準會，只邀請加性組合、概率、資訊理論和形式化驗證方向的少數核心學者。
結果消息傳得太快，數院老師、求真書院博碩、叉院做形式化和理論計算的人都找過來了，最後丘先生拍板，相關方向本校師生可以名單制旁聽，校外報備過的同行也可以進。
補充個冷知識：今天是清華 2022 級本科新生正式報到日。
別人報到：領校園卡、領被褥、認室友、拍合照。
他報到：在數學科學中心給一眾教授博導做PFR/Marton v1.0技術校準。
這個開學名場面，估計也是前無古人後無來者。】
第二條是某985數學系助理教授的認證帳號，語氣克制，但字裡行間全是驚嘆。
【v1.0流通包是昨天凌晨才進入第一批審查者郵箱的，圈內已經有人熬夜在啃。今天下午立刻開核心節點校準會，推進速度也太快了。
線上參會的有陶哲軒、Tom Sanders、Heinrich Voss，線下丘先生坐鎮，國內加性組合和相關方向的半壁江山基本都在現場。
這個規格，已經不是青年學者學術報告的級別，接近領域級工作的中期審查了。】
評論區早就吵翻了。
有人問——
【PFR到底是什麼，為什麼整個數學圈都這麼激動？】
下面立刻有人補了通俗解釋。
【粗暴一點講：PFR問的是，如果一個集合在加法意義下沒有膨脹得很厲害，那它是不是其實藏著低維骨架？而且這個骨架能不能用多項式代價抓出來，而不是付出指數爆炸的代價。
Marton熵形式則是另一套語言：不用集合大小和加法結構講壓縮，而是用熵、自由度、條件化和概率空間來記帳。
真正的地獄級難度在於，這兩套語言不是簡單翻譯。而是每一次壓縮產生的損失、每一次條件化改變的概率空間，最後都要有人付帳。帳目不閉合，證明就會炸。】
再往下翻，畫風逐漸破防。
【競賽黨過來集合。以前看著他高考749，以為是常規天才劇本，結果他還有江氏磚，現在直接沖PFR/Marton，我還在啃GTM入門，人家已經在造新工具了。】
【不懂就問，PFR猜想是什麼級別？底下高贊回覆：大概相當於大一新生報到第一天，去航天五院給院士們講自己設計的新火箭發動機，但還要求院士們當場挑毛病。】
【有沒有人知道現場還能不能進，現在打車過去還來得及嗎？】
【別想了，名單制，連走廊的空氣都是定量配給的。】
討論從數學分區慢慢擴散，高考、競賽、科技幾個分區都開始有人轉。
高考狀元、ICCM 金獎、十八歲、本科新生、世界級猜想……
這些標籤疊在一起，天然就有衝擊力。
所有人都在好奇，這個剛滿十八歲的年輕人，到底拿出了一份怎樣的東西，能讓整個加性組合領域如此興師動眾。
下午一點四十分，數學科學中心一樓報告廳外。
名單核驗正式開始。
玻璃門旁擺了一張長桌，兩個數院的碩士生志願者坐在後面，手裡攥著列印名單。
名單本來只有薄薄兩頁，是最初的核心審查人員，後來不斷有人找系辦、找導師申請，名字一個個手寫補上去，紙頁邊緣被翻得卷了邊，浸了點手心的汗。
「同學，麻煩報一下姓名和單位。」
「王柏松，數院博二。」
「好的，在這兒簽個字，領一份旁聽須知。注意，本場報告禁止錄音錄像，禁止外傳內容，紙質材料散會後要收回。」
「明白。」
隊伍從報告廳門口一直排到了飲水機旁，少說有七八十人。
隊伍里幾乎沒人閒聊。
有人低著頭，手裡攥著薄薄的脫敏摘要，眉頭微皺，一行一行仔細看。
有人在筆記本的第一頁寫下幾個關鍵詞，都是準備追問的方向。
還有人乾脆靠牆站著，閉著眼睛，在腦子裡過PFR猜想的基礎定義和經典結論。
就是沒人是來湊熱鬧的。
能出現在這裡的，要麼是相關方向的研究者，要麼是拼了命想擠進前沿的學生。每個人都清楚，這場報告的分量有多重。
會務組臨時加印了五十份旁聽須知，不到十分鐘就發完了。
後排有人從實驗室搬來了高腳凳，還有人乾脆坐在台階上，把筆記本攤在膝蓋上，提前翻到空白頁。
沒人抱怨位置不好，也沒人計較有沒有桌子。
能進來，就已經賺了。
梁辰站在隊伍的最後面，手心有點出汗。
他是求真書院今年的研二生，中午聽師兄說有這場報告，抱著試一試的心態給導師發了消息，沒想到導師立刻就幫他報了名，讓他趕緊過去。
他早就聽過江臨的名字。
但那些都是新聞里傳說一般的名字。
直到今天，他站在數學科學中心的走廊里，等著聽一場這個人主講的，關於世界級猜想的閉門報告，才第一次真切地感受到，那種同齡人之間幾乎讓人窒息的差距。
「同學，姓名單位？」
「梁辰，求真書院研二。」
「簽個字吧，進去儘量往後站，前面位置不夠了。」
「好，謝謝。」
接過旁聽須知，梁辰走進報告廳。
剛進門，他就愣了一下。
報告廳不大，原本一百二十個座位，早就坐滿了。
中間過道加了兩排摺疊椅，也坐得滿滿當當。
兩側牆邊站了不少人，後排的空隙也擠著人，幾乎連落腳的地方都沒有。
前排是預留的專家席，名牌已經擺好了。
丘成桐、韓硯山、丁劍……
還有好幾位他只在論文和教材上見過名字的教授。
最前方的白板乾乾淨淨，一片空白。
旁邊的顯示屏是黑的，還沒開啟遠程連線。
空調開得很低，但因為人太多，還是有點悶。
可沒人在意，所有人的目光都或多或少地落在那塊空白的白板上，等著即將寫上去的東西。
梁辰擠到最後排的牆角，找了個能看清白板的位置站定，掏出筆記本。
兩點零二分，遠程窗口開啟。
屏幕上陸續出現海外學者的帳號名。
Terry Tao。
Tom Sanders。
Heinrich Voss。
Ben Green。
Freddie Manners。
……
這些名字，每一個都是加性組合和概率領域的頂樑柱。
很多人讀了五六年博士，引用過他們無數次論文，還是第一次見到真人。
哪怕只是線上的帳號頭像。
工作人員反覆調試音頻，確認每一路都通暢。
兩點十五分，前排的專家陸續入場。
丘成桐走在最前面，穿著深色襯衫，手裡拿著一個筆記本。
他走到正中的位置坐下，和旁邊的韓硯山低聲說了兩句，目光落在前方的白板上。
韓硯山和丁劍分別坐在他左右兩側。
後面幾排，國內加性組合、概率、資訊理論方向的資深教授陸續就座，有人互相點頭打招呼，有人翻開手裡的完整版手稿，直接翻到第38號節點的位置。
中間區域坐滿了青年教師、博士後和博士生。
後排和過道站著的，大多是低年級博士生和碩士生。
很多人就拿著一支筆一個本，準備硬聽。
報告廳里的聲音越來越低。
翻紙的沙沙聲此起彼伏，偶爾有人低聲交談一兩句，也很快收住。
所有人都在等。
等那個把PFR/Marton推進到v1.0的人，走到那塊白板前面。
兩點二十四分。
報告廳側後方的樓梯口，傳來腳步聲。
原本壓得很低的交談聲，瞬間停了。
所有人的目光，都朝著那個方向轉了過去。
江臨從二樓辦公室下來了。
他穿一件乾淨的白襯衫，袖子挽到小臂，深色長褲，腳上是一雙普通的黑色運動鞋。
手裡只有一個黑色的軟皮筆記本，和攥在手裡的三支白板筆。
很多目光落在他身上。
有人是第一次見他，好奇、審視，帶著點難以置信。
有人在南京ICCM見過他，知道這個年輕人站在台上有多穩。
還有更多人，只在論文、郵件、新聞里反覆見過這個名字，今天第一次見到真人。
十八歲。
清華2022級本科新生。
ICCM金獎獲得者。
江氏磚作者。
PFR/Marton v1.0手稿作者。
這些身份標籤，此刻全部疊在這個年輕的身影上。
但很快，所有人都把這些標籤暫時忘掉了。
因為在學術報告廳里，身份不重要，頭銜不重要，年齡更不重要。
重要的只有白板上即將寫出來的東西。
是證明。
江臨把筆記本放在講台的邊角，擰開黑色白板筆的筆帽，在白板邊角試寫了一下，確認出水順暢。
動作很自然，沒有絲毫緊張，也沒有刻意的鎮定。
就像他已經在這塊白板前推演過幾百次一樣。
兩點二十九分。
丘成桐抬手扶了扶眼鏡，側頭示意了一下。
坐在側前方的周聞道教授點了點頭，起身走到台前，輕輕敲了敲話筒。
周聞道是清華數學科學中心負責本次閉門技術校準會協調工作的教師。
「各位老師，各位同學，下午好。」
「今天這場，是PFR/Marton v1.0閉門技術校準會。」
「感謝各位老師和同學在新生報到日來到數學科學中心，也感謝線上參會的各位海外同行撥冗參與。」
「這場報告的內容很重，時間也很緊，我就不多占用時間了。」
他側身，看向站在白板側邊的江臨，做了個請的手勢。
「下面，請江臨同學開始。」
從清晨六點半開始，五道口附近的交通幹道就已經被各式各樣的車輛填滿。
車流緩慢地向前挪動，尾氣與柏油路面蒸騰出的熱浪混雜在一起。
校門，迎新點，志願者，印著各院系名字的彩色道旗……
所有這些詞彙，正在現實中拼湊成一幅喧鬧而充滿生機的畫卷。
對絕大多數十八歲的年輕人來說，這些畫面將構成他們對大學生活的最初記憶。
江臨吃過早餐，收拾行李，退掉酒店房間，打了一輛網約車去清華。
不過車最終還是堵在了清華西門外的中關村北大街上。
往前望，車流排出去幾百米，紅色的剎車燈連成一串。
路邊的人行道上全是人，拖行李箱的滾輪聲、家長的叮囑聲、孩子的應答聲混在一起，隔著車窗都能感受到那種熱騰騰的喧鬧。
「得等會兒了，每年新生報到都這樣，西門能堵半小時。」 司機咂了下嘴，「要不我給你停前面路口，你走過去也就幾百米。」
「可以。」
江臨從車上下來，拖著行李箱站在了西門外的人行道上。
熱烈歡迎2022級新同學。
校門口掛著巨大的紅色橫幅，風一吹，橫幅獵獵作響。
門口站著穿紫色馬甲的志願者，舉著清華大學迎新接待站的牌子，正在引導新生和家長走專用通道。
往裡走，主幹道兩側的梧桐樹枝葉交疊，搭出一條天然的林蔭道。
每隔幾十米就有一個院系迎新點，搭著藍色帳篷，擺著院系招牌。
經管學院、計算機系、機械工程系、建築學院……
帳篷前擠滿了人，新生遞上錄取通知書，志願者笑著遞過新生大禮包，家長站在旁邊舉著相機，不停按快門。
二校門附近人最多。
這座刻著清華園三個字的石砌牌坊前，幾乎圍了里三層外三層。
每一個新生都要停下來，站在牌坊正中央，讓家長拍一張照。
有人拘謹地站著，有人比出剪刀手，還有的全家一起上陣，拉著行李箱也要湊進鏡頭裡。
人聲順著梧桐道飄出去很遠，夾雜著志願者的指引聲、孩子的笑聲、家長帶著鄉音的交談聲，像一場盛大的潮汐，正慢慢漫進整個校園。
江臨拖著行李箱，沿著人行道的邊緣往裡走。
路上有人認出了他。
先是遲疑，然後小聲提醒同伴。
「是不是江臨？」
「好像是。」
「他也今天報到？」
「廢話，他不是去清華嗎。」
有人目光追過來。
也有人舉起手機，又很快放下。
越往公寓區走，迎新的氣息越濃。
紫荊1號樓到13號樓是本科生常規宿舍，樓下全是搬行李的人。
家長扛著床墊和被子，孩子拖著行李箱，宿管門口排著長隊領鑰匙……
17號樓相比之下，簡直安靜得像另一個世界。
沒有迎新帳篷，也沒有扎堆的家長，只有宿管阿姨坐在值班室里看報紙。
江臨刷卡進去。
宿舍里，他用了十分鐘把行李歸置好，便下樓去數學科學中心報備。
與此同時，一條消息正在清華校內的幾個小圈子裡，以驚人的速度發酵。
最先傳出消息的是數學科學系的教師群。
【通知：今日下午2:30，數學中心一樓報告廳，PFR/Marton v1.0閉門技術校準會，作者江臨主講。僅限加性組合、概率、資訊理論、形式化驗證方向本校師生參加，名單制旁聽，有意向的老師同學速報給系辦。】
後面補了一句。
【機會難得，相關方向優先。】
群里安靜了幾秒。
緊接著，原本常年潛水的頭像一個接一個冒了出來。
【是那個多項式弗雷曼-魯佐猜想？】
【對，就是那個。v1.0版本，昨天凌晨剛發給核心審查者。】
【我去，江臨，那個本科新生，他真做出來了？】
消息像水一樣滲開。
數院的老師立刻轉發給自己帶的學生。
求真書院博士生群里，十點十五分，有人把通知轉了進去。
【兄弟們，大新聞。下午數學中心有江臨的PFR閉門會，名單制旁聽，相關方向趕緊找導師報名，手慢無。】
群里本來只有幾條迎新互助的消息，瞬間炸了。
【今天不是新生報到日嗎？江臨作為本科新生，不應該在紫荊操場排隊報到嗎？】
【所以才離譜啊！別人開學第一天在排隊領教材，他開學第一天去給數學中心那幫博導做閉門技術校準。這世界還有沒有道理可講了？】
十點半，消息傳到了交叉信息研究院。
做形式化驗證的青年教師林川，本來正在開組會，和學生討論下周的 Lean 驗證任務。手機彈出消息，他掃了一眼，直接停住了話頭。
「組會先暫停。」
學生們都愣住了。
「下午兩點半，數學中心有一場 PFR/Marton 的閉門技術校準會，江臨主講。」 林川把手機放到桌上，「所有做形式化驗證、理論計算的，都去找系辦報名，能進的都去聽，組會順延到明天上午。」
底下的學生面面相覷。
「老師，PFR 那個猜想？真做出來了？」
「v1.0 版本，今天剛進入審查。」 林川敲了敲桌子，「這個證明如果成立，我們手上好幾個形式化項目的底層邏輯都要變。都去聽，認真記，回來我們開專題討論。」
十一點，消息已經衝出了清華。
中科院數學與系統科學研究院，陳則民研究員坐在辦公室里，剛審完一篇學生的論文初稿。
手機上彈出同門群的消息，是清華的同學發的通知。
他盯著屏幕看了半分鐘，拿起手機，給自己帶的三個博士生打了電話。
「你們三個，下午去清華數學中心，聽一場閉門報告。」
「啊，陳老師，什麼報告啊，我們下午本來要算那個加性組合的數值模擬。」
「別做了，先去聽報告。如果這個證明的主鏈路是通的，我們手裡那三個課題，方向全部都得重新調整。」
電話那頭安靜了幾秒。
「真的假的？他不是剛做出江氏磚嗎，才幾天啊，又搞定PFR了？」
「他用幾天時間做出來的不重要，重要的是東西。」 陳則民解釋說，「能進去聽就認真聽，記好筆記。進不去就在外面等，看看有沒有會後交流的機會。這種級別的工作，能蹭到一點邊角，都比你們悶頭做三個月有用。」
十一點二十分，北大數院。
幾個加性組合方向的博士生正在討論室里啃三明治，一邊翻最新的論文。
其中一個人刷到了朋友圈，清華的同學發的，配文是下午有硬菜，定位是清華數學科學中心。
他點進去一看，差點把三明治噴出來。
「我靠，兄弟們，江臨今天下午在清華開PFR的閉門會！」
「扯吧？前陣子不還說只有個雛形嗎？」
「真的，我清華同學發的，名單制旁聽。」
幾個人立刻圍了過來。
「校外的讓進嗎？」
「不知道啊，我問問我導師。」
其中一個博士生立刻給導師發消息。
不到五分鐘，導師回了。
【我和清華那邊打了招呼，你們三個過去，報我名字，能進。趕緊的，別遲到。】
三人對視一眼，立刻抓起書包和筆記本就往外跑。
「本來以為是圈內謠言，結果導師都讓我們去蹭。」
「這哪是蹭啊，這是去朝聖。」
「說真的，我到現在都有點懵。PFR啊，我們博一的時候還在討論這個猜想有多難，結果人家直接做出來開閉門會了。」
走到校門口打車的時候，其中一人忽然想起什麼，說：「哎，你們說韋老師會不會去？」
另外兩人腳步一頓。
「他要是感興趣，肯定會去吧。」
……
十二點十分，資本圈也嗅到了風聲。
紅圖資本的科技投資群里，負責硬科技賽道的投資總監張敬，發了一句話。
【確認了，江臨今天在清華數學中心開 PFR/Marton閉門會，國內加性組合圈的人基本都到了，線上還有陶哲軒、Voss他們。】
群里本來在聊世界機器人大會的參展項目，瞬間拐了方向。
【張總，PFR 是什麼？和低熵工坊有關係？】
【低熵工坊的創始人就是江臨。之前我們以為他是個做機器人的創業者，現在看來，人家根本是先拿了數學領域的頂級成果，再下場做工程。】
【之前我們想約低熵工坊談A輪，一直沒約上，我還以為是對方故意拿喬。原來人家根本不是普通的硬科技創業公司，創始人是真的在同時做世界級的底層理論研究。】
【那之前的估值模型得改了。本來以為G-01六足機器人是核心資產，現在看來，江臨本人的數學能力，才是低熵工坊最值錢的東西。】
投資人們的討論方向瞬間發生偏移。
不再有人談論機器人公司的商業化落地周期，所有人的焦點都轉向了創始人擁有世界級底層數學能力，對一家硬科技公司到底意味著多大的估值溢價。
群里的首席合伙人最後定調。
【別再提什麼機器人展會期間順路去展台看看這種輕慢的話了。對我們而言，G-01型機器人只是一個可見的入口，江臨本人，正在變成低熵工坊最難定價，也最無法被競爭對手複製的底層資產。】
……
上午十二點四十分，消息被搬到知乎。
數學分區下，一個新問題悄無聲息地冒了出來，然後以驚人的速度往上沖。
【如何評價江臨今日在清華大學數學科學中心進行的PFR/Marton閉門技術報告？】
不到半小時，回答區就炸了。
高贊第一是匿名用戶，標註著清華大學數學科學系博士在讀。
贊數半小時衝到一千二。
【人在數學中心走廊，剛擠完旁聽隊伍。
本來是十八人規模的核心審查校準會，只邀請加性組合、概率、資訊理論和形式化驗證方向的少數核心學者。
結果消息傳得太快，數院老師、求真書院博碩、叉院做形式化和理論計算的人都找過來了，最後丘先生拍板，相關方向本校師生可以名單制旁聽，校外報備過的同行也可以進。
補充個冷知識：今天是清華 2022 級本科新生正式報到日。
別人報到：領校園卡、領被褥、認室友、拍合照。
他報到：在數學科學中心給一眾教授博導做PFR/Marton v1.0技術校準。
這個開學名場面，估計也是前無古人後無來者。】
第二條是某985數學系助理教授的認證帳號，語氣克制，但字裡行間全是驚嘆。
【v1.0流通包是昨天凌晨才進入第一批審查者郵箱的，圈內已經有人熬夜在啃。今天下午立刻開核心節點校準會，推進速度也太快了。
線上參會的有陶哲軒、Tom Sanders、Heinrich Voss，線下丘先生坐鎮，國內加性組合和相關方向的半壁江山基本都在現場。
這個規格，已經不是青年學者學術報告的級別，接近領域級工作的中期審查了。】
評論區早就吵翻了。
有人問——
【PFR到底是什麼，為什麼整個數學圈都這麼激動？】
下面立刻有人補了通俗解釋。
【粗暴一點講：PFR問的是，如果一個集合在加法意義下沒有膨脹得很厲害，那它是不是其實藏著低維骨架？而且這個骨架能不能用多項式代價抓出來，而不是付出指數爆炸的代價。
Marton熵形式則是另一套語言：不用集合大小和加法結構講壓縮，而是用熵、自由度、條件化和概率空間來記帳。
真正的地獄級難度在於，這兩套語言不是簡單翻譯。而是每一次壓縮產生的損失、每一次條件化改變的概率空間，最後都要有人付帳。帳目不閉合，證明就會炸。】
再往下翻，畫風逐漸破防。
【競賽黨過來集合。以前看著他高考749，以為是常規天才劇本，結果他還有江氏磚，現在直接沖PFR/Marton，我還在啃GTM入門，人家已經在造新工具了。】
【不懂就問，PFR猜想是什麼級別？底下高贊回覆：大概相當於大一新生報到第一天，去航天五院給院士們講自己設計的新火箭發動機，但還要求院士們當場挑毛病。】
【有沒有人知道現場還能不能進，現在打車過去還來得及嗎？】
【別想了，名單制，連走廊的空氣都是定量配給的。】
討論從數學分區慢慢擴散，高考、競賽、科技幾個分區都開始有人轉。
高考狀元、ICCM 金獎、十八歲、本科新生、世界級猜想……
這些標籤疊在一起，天然就有衝擊力。
所有人都在好奇，這個剛滿十八歲的年輕人，到底拿出了一份怎樣的東西，能讓整個加性組合領域如此興師動眾。
下午一點四十分，數學科學中心一樓報告廳外。
名單核驗正式開始。
玻璃門旁擺了一張長桌，兩個數院的碩士生志願者坐在後面，手裡攥著列印名單。
名單本來只有薄薄兩頁，是最初的核心審查人員，後來不斷有人找系辦、找導師申請，名字一個個手寫補上去，紙頁邊緣被翻得卷了邊，浸了點手心的汗。
「同學，麻煩報一下姓名和單位。」
「王柏松，數院博二。」
「好的，在這兒簽個字，領一份旁聽須知。注意，本場報告禁止錄音錄像，禁止外傳內容，紙質材料散會後要收回。」
「明白。」
隊伍從報告廳門口一直排到了飲水機旁，少說有七八十人。
隊伍里幾乎沒人閒聊。
有人低著頭，手裡攥著薄薄的脫敏摘要，眉頭微皺，一行一行仔細看。
有人在筆記本的第一頁寫下幾個關鍵詞，都是準備追問的方向。
還有人乾脆靠牆站著，閉著眼睛，在腦子裡過PFR猜想的基礎定義和經典結論。
就是沒人是來湊熱鬧的。
能出現在這裡的，要麼是相關方向的研究者，要麼是拼了命想擠進前沿的學生。每個人都清楚，這場報告的分量有多重。
會務組臨時加印了五十份旁聽須知，不到十分鐘就發完了。
後排有人從實驗室搬來了高腳凳，還有人乾脆坐在台階上，把筆記本攤在膝蓋上，提前翻到空白頁。
沒人抱怨位置不好，也沒人計較有沒有桌子。
能進來，就已經賺了。
梁辰站在隊伍的最後面，手心有點出汗。
他是求真書院今年的研二生，中午聽師兄說有這場報告，抱著試一試的心態給導師發了消息，沒想到導師立刻就幫他報了名，讓他趕緊過去。
他早就聽過江臨的名字。
但那些都是新聞里傳說一般的名字。
直到今天，他站在數學科學中心的走廊里，等著聽一場這個人主講的，關於世界級猜想的閉門報告，才第一次真切地感受到，那種同齡人之間幾乎讓人窒息的差距。
「同學，姓名單位？」
「梁辰，求真書院研二。」
「簽個字吧，進去儘量往後站，前面位置不夠了。」
「好，謝謝。」
接過旁聽須知，梁辰走進報告廳。
剛進門，他就愣了一下。
報告廳不大，原本一百二十個座位，早就坐滿了。
中間過道加了兩排摺疊椅，也坐得滿滿當當。
兩側牆邊站了不少人，後排的空隙也擠著人，幾乎連落腳的地方都沒有。
前排是預留的專家席，名牌已經擺好了。
丘成桐、韓硯山、丁劍……
還有好幾位他只在論文和教材上見過名字的教授。
最前方的白板乾乾淨淨，一片空白。
旁邊的顯示屏是黑的，還沒開啟遠程連線。
空調開得很低，但因為人太多，還是有點悶。
可沒人在意，所有人的目光都或多或少地落在那塊空白的白板上，等著即將寫上去的東西。
梁辰擠到最後排的牆角，找了個能看清白板的位置站定，掏出筆記本。
兩點零二分，遠程窗口開啟。
屏幕上陸續出現海外學者的帳號名。
Terry Tao。
Tom Sanders。
Heinrich Voss。
Ben Green。
Freddie Manners。
……
這些名字，每一個都是加性組合和概率領域的頂樑柱。
很多人讀了五六年博士，引用過他們無數次論文，還是第一次見到真人。
哪怕只是線上的帳號頭像。
工作人員反覆調試音頻，確認每一路都通暢。
兩點十五分，前排的專家陸續入場。
丘成桐走在最前面，穿著深色襯衫，手裡拿著一個筆記本。
他走到正中的位置坐下，和旁邊的韓硯山低聲說了兩句，目光落在前方的白板上。
韓硯山和丁劍分別坐在他左右兩側。
後面幾排，國內加性組合、概率、資訊理論方向的資深教授陸續就座，有人互相點頭打招呼，有人翻開手裡的完整版手稿，直接翻到第38號節點的位置。
中間區域坐滿了青年教師、博士後和博士生。
後排和過道站著的，大多是低年級博士生和碩士生。
很多人就拿著一支筆一個本，準備硬聽。
報告廳里的聲音越來越低。
翻紙的沙沙聲此起彼伏，偶爾有人低聲交談一兩句，也很快收住。
所有人都在等。
等那個把PFR/Marton推進到v1.0的人，走到那塊白板前面。
兩點二十四分。
報告廳側後方的樓梯口，傳來腳步聲。
原本壓得很低的交談聲，瞬間停了。
所有人的目光，都朝著那個方向轉了過去。
江臨從二樓辦公室下來了。
他穿一件乾淨的白襯衫，袖子挽到小臂，深色長褲，腳上是一雙普通的黑色運動鞋。
手裡只有一個黑色的軟皮筆記本，和攥在手裡的三支白板筆。
很多目光落在他身上。
有人是第一次見他，好奇、審視，帶著點難以置信。
有人在南京ICCM見過他，知道這個年輕人站在台上有多穩。
還有更多人，只在論文、郵件、新聞里反覆見過這個名字，今天第一次見到真人。
十八歲。
清華2022級本科新生。
ICCM金獎獲得者。
江氏磚作者。
PFR/Marton v1.0手稿作者。
這些身份標籤，此刻全部疊在這個年輕的身影上。
但很快，所有人都把這些標籤暫時忘掉了。
因為在學術報告廳里，身份不重要，頭銜不重要，年齡更不重要。
重要的只有白板上即將寫出來的東西。
是證明。
江臨把筆記本放在講台的邊角，擰開黑色白板筆的筆帽，在白板邊角試寫了一下，確認出水順暢。
動作很自然，沒有絲毫緊張，也沒有刻意的鎮定。
就像他已經在這塊白板前推演過幾百次一樣。
兩點二十九分。
丘成桐抬手扶了扶眼鏡，側頭示意了一下。
坐在側前方的周聞道教授點了點頭，起身走到台前，輕輕敲了敲話筒。
周聞道是清華數學科學中心負責本次閉門技術校準會協調工作的教師。
「各位老師，各位同學，下午好。」
「今天這場，是PFR/Marton v1.0閉門技術校準會。」
「感謝各位老師和同學在新生報到日來到數學科學中心，也感謝線上參會的各位海外同行撥冗參與。」
「這場報告的內容很重，時間也很緊，我就不多占用時間了。」
他側身，看向站在白板側邊的江臨，做了個請的手勢。
「下面，請江臨同學開始。」