第152章 帳是平的
事實上，數學學科學中心報告廳的散場人流里，三三兩兩的學者、博士生、青年教師即便出來後，話題仍然不離第47號節點的全局帳目矩陣，以及那三道劈開權限的豎線。
「以前總覺得PFR的多項式界是遠在山頂的東西，今天才看見，原來山腰的路已經鋪到了這個程度。」
「Voss的邊界測試當場接住，韓老師那記三重壓測也接住了，這不是局部技巧，是整套框架都立住了。」
「回去就得改組會計劃，下半年的選題至少要砍掉三個，全往這個方向靠。」
求真書院的幾個博士生散在飲水機旁，嗓音壓得很低，眼裡的光卻壓不住。
梁辰站在他們中間，手機還燙著，直播間早就在散場前被他掐了。
後面半小時的質詢密度太高，他連舉著手機的餘力都沒有。
屏幕上還停留在最後那行彈幕：「歷史會記住今天下午。」
他忽然想起導師中午說的話：「不用全聽懂，去看看大證明長什麼樣。」
現在他懂了。
大證明從來不是某一行驚艷的公式，不是某一個神來之筆的技巧。
它是三塊寫滿的白板，是一層層被攤開的承重梁，是每一筆損失都有去處、每一次支付都有記錄的帳目表，是被最苛刻的審查者輪番敲打後，依然紋絲不動的骨架。
人群的另一側，韋東奕已經走到了樓梯口。
他手裡的草稿紙上寫滿了極小的符號，是他順著江臨的帳目矩陣推了半節課的驗證路徑。
同行的老師問他覺得怎麼樣，他腳步沒停，只淡淡地說了句：「結構很清楚，帳是平的。」
這在北大數院的語境裡，已經是極高的評價。
更外圍的討論已經擴散到了全網。
知乎那個問題的關注量在兩小時內衝破十萬，回答刷出了兩百多條。
最先放出系統整理筆記的是一位清華數院的博士生，手寫掃描件整整十七頁，字跡潦草卻脈絡清晰。
它沒有涉及未公開附錄和退化全表，只把公開報告中那條主閉合鏈路，從第一行small doubling的直覺，一路整理到最後三道豎線的權限切割。
評論區里，從最初的看不懂但大受震撼，慢慢沉澱出了業內人士的判斷。
有一條高贊回答沒有急著下結論，而是先解釋了一件事。
大眾談起數學難題，最熟悉的是黎曼猜想、哥德巴赫猜想這類名字足夠響亮的問題。PFR猜想沒有那麼出圈，卻是加性組合學內部一面真正的承重牆。
它追問的是一個極樸素，也極反直覺的問題。
一個集合如果和自己相加之後沒有迅速膨脹，說明什麼？
普通直覺會覺得，相加應該製造混亂，體積應該變大，結構應該被打散。可在某些特殊集合里，相加之後的新東西只比原來多了一點點。這種不亂，意味著背後必然藏著某種代數骨架。
這不是一道單純追求技巧漂亮的問題。
它關乎的是，現代加性組合學能否把局部低膨脹真正壓縮成全局可控制結構。
如果這面牆被推開，後面很多原本只能繞路走的問題，都會獲得新的入口。
「可以確定，有限域F2上的PFR多項式界，現在已經不是可能成立，是核心框架已閉合，等待全社區形式化核驗的狀態。」
「上一次看到這種級別的工作落地，還是張益唐的孿生素數。區別是，那時候他是半路殺出的陌生人，這一次，是個十八歲的本科生。」
隨後有更專業的回答補了一刀。
過去很多路線，都是試圖用幾何覆蓋去抓弱倍增集合背後的代數骨架。
像拿一個個規則盒子，去套住那團看似散亂的數字積木。
問題在於，盒子的數量總會在推導中失控。
從多項式，滑向指數。
從可計算，滑向不可承受。
而江臨今天展示出來的路線，真正刺眼的地方，不是他把盒子擺得更巧，而是他乾脆換掉了尺子。
他不再只問這團集合有多大。
他開始問它有多亂。
集合被打碎成隨機變量，幾何體積被替換成信息熵，魯沙距離不再只是集合加法後的膨脹尺度，而變成一種混亂度的支付帳本。
如果弱倍增意味著系統沒有劇烈變亂，那麼在熵語言裡，就必然存在一條可以被追蹤、被攤還、被壓縮的損失路徑。
這也是為什麼報告廳里真正懂行的人，並沒有在聽到某個漂亮技巧時鼓掌。
他們盯著的是帳。
每一份熵跌落從哪裡來。
每一次殘餘譜對沖有沒有重複支付。
每一道權限切割是否真的阻止了局部勝利污染全局裝配。
這不是看起來很聰明的證明。
這是一份已經被做成工程帳本的大證明。
海外的數學社區也同步炸開了鍋。
有人很快提到，高爾斯、陶哲軒、本·格林、Manners這些名字，過去幾年都繞不開這面牆。
有限域PFR不是一個憑熱情能衝過去的問題。
它原本就需要一支世界級隊伍，用幾年時間一點點壓低損失，拆掉指數級爆炸留下的舊債。
而現在，一份來自江臨的v1.0手稿，已經把這些名字全部拉進了同一條審查鏈。
這比任何媒體標題都更重。
因為真正懂行的人都明白，能讓這些人認真坐下來拆的東西，本身就已經不再是噱頭。
陶哲軒在自己的博客上更新了一篇極短的短文，標題只有一行：《On a new approach to finite-field PFR》。
正文不到三百詞，沒有結論性的定論，只說自己正在審查一份新的手稿，其核心的熵對合與損失帳目框架極具啟發性，完整形式化驗證完成後會再做評述。
即便克制到這種程度，也足夠讓整個加性組合領域沸騰。
無數人順著線索摸到了Voss更新的v2版note，看到那句它只是在等待一個需要它的定理，所有的拼圖在這一刻對上了。
不是年輕人的噱頭，不是媒體的炒作。
是一場真實存在的正在發生的數學進展。
而這場風暴的中心，江臨已經坐上了前往亦莊的網約車，低頭翻著手機里未讀的郵件。
第一封來自陶哲軒：建議在v1.1的形式化藍圖裡，把三列權限切割單獨抽成一個通用引理，未來推廣到一般阿貝爾群時可以復用。
第二封來自周志華：主要是問九月中旬方不方便預留一次線下交流的時間，地點可以放在南京大學人工智慧學院，也可以等他行程確定後再說。
第三封是梁知夏發來的長消息。
1、下午閉門會的消息已經傳到產業圈，至少八家投資機構重新發來了對接意向，估值口徑比上周又上浮了20%。
2、三家行業頭部媒體申請明天展會現場專訪，都要求聊數學創始人做工業機器人的話題。
3、恆泰的許明川總發來賀電，說沒想到低熵工坊的根扎得這麼深，後續合作可以再往上談一級。
江臨逐條回復。
給陶哲軒的回信很短：同意，下周會抽出節點38.5的獨立引理分支。
給周志華的回覆更簡潔：期待九月交流。
給梁知夏的只有三句話。
暫不估值。
專訪只談工程，不談數學。
恆泰那邊按原節奏走，不借熱度提速。
車開過南五環，窗外的建築從高校寫字樓漸漸變成連片的產業園與廠房。
下午報告廳里的掌聲、丘先生的評價、白板上密密麻麻的公式，像一場退潮的浪，在他身後慢慢遠了。
不是不重要。
外界會把那條熵路線理解成靈光一閃。
江臨自己卻很清楚，它不是。
廢土裡沒有充裕算力，沒有穩定供應鏈，也沒有允許優雅失敗的實驗環境。
每一份熱漂移，每一次噪聲放大，每一條失控的誤差鏈，最後都會逼著他回到同一個問題上。
系統的混亂度到底有沒有真的下降。
廢土不相信漂亮的幾何外形，只相信熵的增減。
只是江臨很清楚，證明合上最後一行的那一刻，這件事的第一階段就已經結束了。
接下來是漫長的核驗、補全、推廣、形式化落地，是整個社區的事，不再是他一個人在暗夜裡鑿路。
他的注意力，永遠要放在下一件還沒做完的事上。
下午六點十七分，江臨抵達亦創國際會展中心。
主通道兩側的大廠展位已經燈火通明，巨型LED屏循環播放著宣傳片，穿著統一制服的工作人員在做最後的彩排，連迎賓機器人的語音都調試了一遍又一遍。
低熵工坊的角落展位，和周圍的光鮮比起來，依舊像個安靜的配角。
但今天不一樣了。
展位旁邊站著三四個人，掛著參展商的牌子，正繞著G-01C三號機低聲交談，時不時抬頭看一眼背景板上的字。
看見江臨過來，梁知夏立刻迎了上去。
「下午開始就陸續有人過來問，都是同行和投資人。聽說我們老闆就是今天下午在清華做PFR報告的江臨，都愣了。」
她吐字清晰，語氣平穩，一如往常，聽不出太多情緒，只有眼底一點藏不住的光亮，泄露出內心深處的不平靜。
江臨沒接這個話頭，徑直走到地形箱旁邊：「演示機狀態怎麼樣？」
「許曼剛做完第三輪待機巡檢，關節溫度、電池電壓、足端傳感器校準全綠。」許曼從展位內側走出來，手裡拿著檢測記錄表，「陳硯在調狀態機可視化的最後一版，確保明天演示時日誌滾動不卡頓。」
陳硯坐在摺疊椅上，筆記本電腦接在展示機旁，屏幕上是調試中的狀態流轉圖。
他抬頭打了聲招呼，指尖還在飛快地敲代碼：「江總，我把回撤重切入的響應時間標成了黃色高亮，觀眾一眼就能看見。」
「不用高亮。」江臨說，「保持原樣就行。」
陳硯愣了一下，隨即反應過來，點頭：「明白，不刻意造看點。」
梁知夏跟著江臨走到展位外側，沿著背景板走了一圈，低聲匯報明天的安排。
「上午九點開館，前兩個小時預計人流最大。我和陳芷在前台接待，許曼負責硬體答疑，陳硯盯演示後台。你如果不想露面，就不用一直守在展位，下午的產業分論壇露個面就行。」
「明天是G-01第一次正式公開亮相，還是要露一下面比較好。」江臨搖搖頭，說，「媒體問技術就說技術，問公司就說公司，問別的，不回應就好。」
夜色漸深，展館裡的喧囂慢慢降了下來。
大部分展位的工人都收了工，只剩下零星幾個還在趕工的點位亮著燈。
低熵工坊的展位也收拾得差不多了。
陳芷把明天要用的宣傳冊、名片、安全須知按順序擺到接待桌上，又核對了一遍應急物品。
許曼把展示機調成鎖止待機狀態，蓋上防塵布。
陳硯導出了最終版演示程序，做了三次全流程模擬，零異常。
團隊的人陸續收拾東西離開，約好明天早上八點展館門口匯合。
展位里最後只剩下江臨和梁知夏。
梁知夏整理著最後一疊文件，忽然開口：「江總，其實我下午刷到新聞的時候，挺意外的。」
江臨正低頭看著手機上的形式化節點進度表，聞言抬了下眼。
「意外什麼？」
「意外你好像一點都不受影響。」她把文件放進文件袋，拉上拉鏈，「換做別的創業公司創始人，手上有這種級別的學術成果，早就鋪天蓋地營銷了。標題我都能想出來——菲爾茲級數學家下場創業，重新定義工業機器人。」
江臨忍不住笑了出來。
「數學是數學，工程是工程。PFR做得再好，也不能讓G-01多爬五度坡，不能讓足端傳感器少一分偏差。混在一起說，對兩邊都不尊重。」
梁知夏看著他。
展館頂的射燈落下來，在他側臉投下清晰的輪廓。
十八歲的年紀，說出的話卻像在行業里沉了十幾年的人。
這個人果然是從一開始就沒把自己定位成天才少年創業者。
數學大概是他的尺子，工程是他的錘子。
尺子量清楚邊界，錘子砸出實打實地落地。
兩件事，兩條線，在他身上並行不悖，卻從來不會混為一談。
但不混為一談，不代表兩者沒有共用的底層紀律。
證明里怕隱藏損失，工程里怕隱藏故障。
證明里要防重複支付，機器里要防一次成功掩蓋真實失穩。
江臨真正看重的，從來不是把數學名詞搬進機器人宣傳頁，而是把可審查、可回放、可拆解的紀律，壓進每一條控制鏈。
「對了，展會這套狀態機，只是顯式控制鏈的外殼。真正麻煩的是後續不同硬體、不同傳感器、不同場景包之間的可移植後端。」江臨想起什麼，開口道，「下周回江城，啟動一個新的內部項目。」
「什麼方向？」
「編譯器。」
梁知夏愣了一下：「編譯器？我們要自己做編譯工具鏈？」
「初期只是中間表示層和算子調度框架。」江臨解釋道，「不用急著招人，先立項目，我出初始架構，陳硯先跟著做。對外不公開，算預研。」
梁知夏心裡飛快地盤算。
預研項目，不公開，創始人親自主導初始架構。
結合下午刷到的晶片法案新聞，還有江臨在高鐵上說的先把自己那一層做好，答案幾乎呼之欲出。
她沒有多問細節，只點頭：「好，我回去立項目編號，走內部保密流程。」
兩人走出展館時，夜風吹散了白日的燥熱。
廣場上的巨型宣傳牌還亮著，智能賦能未來幾個大字在夜色里格外醒目。
遠處的地鐵站口還有人流進出，拖著行李箱的參會者、背著相機的記者、穿著工服的布展人員，匯成一條條細小的河流，湧向城市的各個角落。
明天這裡會更熱鬧。
成千上萬的觀眾、媒體、投資人、從業者會湧進來，看見最新的機器人技術，看見光鮮的展台，看見被資本和聚光燈包裹的產業風口。
很少有人會知道，就在幾個小時前，幾十公里外的清華校園裡，那場已經被直播片段和手寫筆記傳遍網絡的技術校準會，究竟意味著什麼。
更少有人知道，站在那間報告廳白板前的少年，此刻正站在展館外的晚風裡，腦子裡想的不是讚譽，不是估值，不是明天會迎來多少驚嘆的目光。
他想的是足端材料的磨損曲線，是狀態機的可信度分類，是編譯器的中間表示層設計，是那張橫跨數學與工程的巨大拓撲圖。
「以前總覺得PFR的多項式界是遠在山頂的東西，今天才看見，原來山腰的路已經鋪到了這個程度。」
「Voss的邊界測試當場接住，韓老師那記三重壓測也接住了，這不是局部技巧，是整套框架都立住了。」
「回去就得改組會計劃，下半年的選題至少要砍掉三個，全往這個方向靠。」
求真書院的幾個博士生散在飲水機旁，嗓音壓得很低，眼裡的光卻壓不住。
梁辰站在他們中間，手機還燙著，直播間早就在散場前被他掐了。
後面半小時的質詢密度太高，他連舉著手機的餘力都沒有。
屏幕上還停留在最後那行彈幕：「歷史會記住今天下午。」
他忽然想起導師中午說的話：「不用全聽懂，去看看大證明長什麼樣。」
現在他懂了。
大證明從來不是某一行驚艷的公式，不是某一個神來之筆的技巧。
它是三塊寫滿的白板，是一層層被攤開的承重梁，是每一筆損失都有去處、每一次支付都有記錄的帳目表，是被最苛刻的審查者輪番敲打後，依然紋絲不動的骨架。
人群的另一側，韋東奕已經走到了樓梯口。
他手裡的草稿紙上寫滿了極小的符號，是他順著江臨的帳目矩陣推了半節課的驗證路徑。
同行的老師問他覺得怎麼樣，他腳步沒停，只淡淡地說了句：「結構很清楚，帳是平的。」
這在北大數院的語境裡，已經是極高的評價。
更外圍的討論已經擴散到了全網。
知乎那個問題的關注量在兩小時內衝破十萬，回答刷出了兩百多條。
最先放出系統整理筆記的是一位清華數院的博士生，手寫掃描件整整十七頁，字跡潦草卻脈絡清晰。
它沒有涉及未公開附錄和退化全表，只把公開報告中那條主閉合鏈路，從第一行small doubling的直覺，一路整理到最後三道豎線的權限切割。
評論區里，從最初的看不懂但大受震撼，慢慢沉澱出了業內人士的判斷。
有一條高贊回答沒有急著下結論，而是先解釋了一件事。
大眾談起數學難題，最熟悉的是黎曼猜想、哥德巴赫猜想這類名字足夠響亮的問題。PFR猜想沒有那麼出圈，卻是加性組合學內部一面真正的承重牆。
它追問的是一個極樸素，也極反直覺的問題。
一個集合如果和自己相加之後沒有迅速膨脹，說明什麼？
普通直覺會覺得，相加應該製造混亂，體積應該變大，結構應該被打散。可在某些特殊集合里，相加之後的新東西只比原來多了一點點。這種不亂，意味著背後必然藏著某種代數骨架。
這不是一道單純追求技巧漂亮的問題。
它關乎的是，現代加性組合學能否把局部低膨脹真正壓縮成全局可控制結構。
如果這面牆被推開，後面很多原本只能繞路走的問題，都會獲得新的入口。
「可以確定，有限域F2上的PFR多項式界，現在已經不是可能成立，是核心框架已閉合，等待全社區形式化核驗的狀態。」
「上一次看到這種級別的工作落地，還是張益唐的孿生素數。區別是，那時候他是半路殺出的陌生人，這一次，是個十八歲的本科生。」
隨後有更專業的回答補了一刀。
過去很多路線，都是試圖用幾何覆蓋去抓弱倍增集合背後的代數骨架。
像拿一個個規則盒子，去套住那團看似散亂的數字積木。
問題在於，盒子的數量總會在推導中失控。
從多項式，滑向指數。
從可計算，滑向不可承受。
而江臨今天展示出來的路線，真正刺眼的地方，不是他把盒子擺得更巧，而是他乾脆換掉了尺子。
他不再只問這團集合有多大。
他開始問它有多亂。
集合被打碎成隨機變量，幾何體積被替換成信息熵，魯沙距離不再只是集合加法後的膨脹尺度，而變成一種混亂度的支付帳本。
如果弱倍增意味著系統沒有劇烈變亂，那麼在熵語言裡，就必然存在一條可以被追蹤、被攤還、被壓縮的損失路徑。
這也是為什麼報告廳里真正懂行的人，並沒有在聽到某個漂亮技巧時鼓掌。
他們盯著的是帳。
每一份熵跌落從哪裡來。
每一次殘餘譜對沖有沒有重複支付。
每一道權限切割是否真的阻止了局部勝利污染全局裝配。
這不是看起來很聰明的證明。
這是一份已經被做成工程帳本的大證明。
海外的數學社區也同步炸開了鍋。
有人很快提到，高爾斯、陶哲軒、本·格林、Manners這些名字，過去幾年都繞不開這面牆。
有限域PFR不是一個憑熱情能衝過去的問題。
它原本就需要一支世界級隊伍，用幾年時間一點點壓低損失，拆掉指數級爆炸留下的舊債。
而現在，一份來自江臨的v1.0手稿，已經把這些名字全部拉進了同一條審查鏈。
這比任何媒體標題都更重。
因為真正懂行的人都明白，能讓這些人認真坐下來拆的東西，本身就已經不再是噱頭。
陶哲軒在自己的博客上更新了一篇極短的短文，標題只有一行：《On a new approach to finite-field PFR》。
正文不到三百詞，沒有結論性的定論，只說自己正在審查一份新的手稿，其核心的熵對合與損失帳目框架極具啟發性，完整形式化驗證完成後會再做評述。
即便克制到這種程度，也足夠讓整個加性組合領域沸騰。
無數人順著線索摸到了Voss更新的v2版note，看到那句它只是在等待一個需要它的定理，所有的拼圖在這一刻對上了。
不是年輕人的噱頭，不是媒體的炒作。
是一場真實存在的正在發生的數學進展。
而這場風暴的中心，江臨已經坐上了前往亦莊的網約車，低頭翻著手機里未讀的郵件。
第一封來自陶哲軒：建議在v1.1的形式化藍圖裡，把三列權限切割單獨抽成一個通用引理，未來推廣到一般阿貝爾群時可以復用。
第二封來自周志華：主要是問九月中旬方不方便預留一次線下交流的時間，地點可以放在南京大學人工智慧學院，也可以等他行程確定後再說。
第三封是梁知夏發來的長消息。
1、下午閉門會的消息已經傳到產業圈，至少八家投資機構重新發來了對接意向，估值口徑比上周又上浮了20%。
2、三家行業頭部媒體申請明天展會現場專訪，都要求聊數學創始人做工業機器人的話題。
3、恆泰的許明川總發來賀電，說沒想到低熵工坊的根扎得這麼深，後續合作可以再往上談一級。
江臨逐條回復。
給陶哲軒的回信很短：同意，下周會抽出節點38.5的獨立引理分支。
給周志華的回覆更簡潔：期待九月交流。
給梁知夏的只有三句話。
暫不估值。
專訪只談工程，不談數學。
恆泰那邊按原節奏走，不借熱度提速。
車開過南五環，窗外的建築從高校寫字樓漸漸變成連片的產業園與廠房。
下午報告廳里的掌聲、丘先生的評價、白板上密密麻麻的公式，像一場退潮的浪，在他身後慢慢遠了。
不是不重要。
外界會把那條熵路線理解成靈光一閃。
江臨自己卻很清楚，它不是。
廢土裡沒有充裕算力，沒有穩定供應鏈，也沒有允許優雅失敗的實驗環境。
每一份熱漂移，每一次噪聲放大，每一條失控的誤差鏈，最後都會逼著他回到同一個問題上。
系統的混亂度到底有沒有真的下降。
廢土不相信漂亮的幾何外形，只相信熵的增減。
只是江臨很清楚，證明合上最後一行的那一刻，這件事的第一階段就已經結束了。
接下來是漫長的核驗、補全、推廣、形式化落地，是整個社區的事，不再是他一個人在暗夜裡鑿路。
他的注意力，永遠要放在下一件還沒做完的事上。
下午六點十七分，江臨抵達亦創國際會展中心。
主通道兩側的大廠展位已經燈火通明，巨型LED屏循環播放著宣傳片，穿著統一制服的工作人員在做最後的彩排，連迎賓機器人的語音都調試了一遍又一遍。
低熵工坊的角落展位，和周圍的光鮮比起來，依舊像個安靜的配角。
但今天不一樣了。
展位旁邊站著三四個人，掛著參展商的牌子，正繞著G-01C三號機低聲交談，時不時抬頭看一眼背景板上的字。
看見江臨過來，梁知夏立刻迎了上去。
「下午開始就陸續有人過來問，都是同行和投資人。聽說我們老闆就是今天下午在清華做PFR報告的江臨，都愣了。」
她吐字清晰，語氣平穩，一如往常，聽不出太多情緒，只有眼底一點藏不住的光亮，泄露出內心深處的不平靜。
江臨沒接這個話頭，徑直走到地形箱旁邊：「演示機狀態怎麼樣？」
「許曼剛做完第三輪待機巡檢，關節溫度、電池電壓、足端傳感器校準全綠。」許曼從展位內側走出來，手裡拿著檢測記錄表，「陳硯在調狀態機可視化的最後一版，確保明天演示時日誌滾動不卡頓。」
陳硯坐在摺疊椅上，筆記本電腦接在展示機旁，屏幕上是調試中的狀態流轉圖。
他抬頭打了聲招呼，指尖還在飛快地敲代碼：「江總，我把回撤重切入的響應時間標成了黃色高亮，觀眾一眼就能看見。」
「不用高亮。」江臨說，「保持原樣就行。」
陳硯愣了一下，隨即反應過來，點頭：「明白，不刻意造看點。」
梁知夏跟著江臨走到展位外側，沿著背景板走了一圈，低聲匯報明天的安排。
「上午九點開館，前兩個小時預計人流最大。我和陳芷在前台接待，許曼負責硬體答疑，陳硯盯演示後台。你如果不想露面，就不用一直守在展位，下午的產業分論壇露個面就行。」
「明天是G-01第一次正式公開亮相，還是要露一下面比較好。」江臨搖搖頭，說，「媒體問技術就說技術，問公司就說公司，問別的，不回應就好。」
夜色漸深，展館裡的喧囂慢慢降了下來。
大部分展位的工人都收了工，只剩下零星幾個還在趕工的點位亮著燈。
低熵工坊的展位也收拾得差不多了。
陳芷把明天要用的宣傳冊、名片、安全須知按順序擺到接待桌上，又核對了一遍應急物品。
許曼把展示機調成鎖止待機狀態，蓋上防塵布。
陳硯導出了最終版演示程序，做了三次全流程模擬，零異常。
團隊的人陸續收拾東西離開，約好明天早上八點展館門口匯合。
展位里最後只剩下江臨和梁知夏。
梁知夏整理著最後一疊文件，忽然開口：「江總，其實我下午刷到新聞的時候，挺意外的。」
江臨正低頭看著手機上的形式化節點進度表，聞言抬了下眼。
「意外什麼？」
「意外你好像一點都不受影響。」她把文件放進文件袋，拉上拉鏈，「換做別的創業公司創始人，手上有這種級別的學術成果，早就鋪天蓋地營銷了。標題我都能想出來——菲爾茲級數學家下場創業，重新定義工業機器人。」
江臨忍不住笑了出來。
「數學是數學，工程是工程。PFR做得再好，也不能讓G-01多爬五度坡，不能讓足端傳感器少一分偏差。混在一起說，對兩邊都不尊重。」
梁知夏看著他。
展館頂的射燈落下來，在他側臉投下清晰的輪廓。
十八歲的年紀，說出的話卻像在行業里沉了十幾年的人。
這個人果然是從一開始就沒把自己定位成天才少年創業者。
數學大概是他的尺子，工程是他的錘子。
尺子量清楚邊界，錘子砸出實打實地落地。
兩件事，兩條線，在他身上並行不悖，卻從來不會混為一談。
但不混為一談，不代表兩者沒有共用的底層紀律。
證明里怕隱藏損失，工程里怕隱藏故障。
證明里要防重複支付，機器里要防一次成功掩蓋真實失穩。
江臨真正看重的，從來不是把數學名詞搬進機器人宣傳頁，而是把可審查、可回放、可拆解的紀律，壓進每一條控制鏈。
「對了，展會這套狀態機，只是顯式控制鏈的外殼。真正麻煩的是後續不同硬體、不同傳感器、不同場景包之間的可移植後端。」江臨想起什麼，開口道，「下周回江城，啟動一個新的內部項目。」
「什麼方向？」
「編譯器。」
梁知夏愣了一下：「編譯器？我們要自己做編譯工具鏈？」
「初期只是中間表示層和算子調度框架。」江臨解釋道，「不用急著招人，先立項目，我出初始架構，陳硯先跟著做。對外不公開，算預研。」
梁知夏心裡飛快地盤算。
預研項目，不公開，創始人親自主導初始架構。
結合下午刷到的晶片法案新聞，還有江臨在高鐵上說的先把自己那一層做好，答案幾乎呼之欲出。
她沒有多問細節，只點頭：「好，我回去立項目編號，走內部保密流程。」
兩人走出展館時，夜風吹散了白日的燥熱。
廣場上的巨型宣傳牌還亮著，智能賦能未來幾個大字在夜色里格外醒目。
遠處的地鐵站口還有人流進出，拖著行李箱的參會者、背著相機的記者、穿著工服的布展人員，匯成一條條細小的河流，湧向城市的各個角落。
明天這裡會更熱鬧。
成千上萬的觀眾、媒體、投資人、從業者會湧進來，看見最新的機器人技術，看見光鮮的展台，看見被資本和聚光燈包裹的產業風口。
很少有人會知道，就在幾個小時前，幾十公里外的清華校園裡，那場已經被直播片段和手寫筆記傳遍網絡的技術校準會，究竟意味著什麼。
更少有人知道，站在那間報告廳白板前的少年，此刻正站在展館外的晚風裡，腦子裡想的不是讚譽，不是估值，不是明天會迎來多少驚嘆的目光。
他想的是足端材料的磨損曲線，是狀態機的可信度分類，是編譯器的中間表示層設計，是那張橫跨數學與工程的巨大拓撲圖。