第148章 星落不老屯
下午四點四十二分。
G 字頭動車組的剎車聲順著鋼軌傳進車廂，輕微的震顫過後，北京南站的站台牌穩穩地停在了車窗外側。
暑氣裹著人聲從半開的車門湧進來，行李箱輪子碾過地磚的聲響匯成一片，廣播裡的到站提示重複了三遍，最終還是被南來北往的口音吞沒。
林一舟率先站起來，從行李架上取下那個貼滿信息學競賽貼紙的行李箱。
貼紙邊緣已經磨得起毛。
NOI 2020、IOI 2021、清華冬令營，每一張都是一個坐標系上的點，記錄著這個少年從省隊集訓到國家隊的軌跡。
顧明澈背著包，全程沒說幾句話，下車時也只是朝江臨的方向微微頷首，算是道別。
清冷是他的保護色，也是他面對超出認知邊界的事物時，最習慣的姿態。
許志遠走在中間。
他本來就話多，高鐵上憋了一路，這會兒到了站，總覺得就這麼散了太可惜。
眼看著江臨就要往出站口的另一個方向走，他咬咬牙，三步並作兩步追了上去。
「江臨！」
江臨停下腳步，回頭看他。
眼神很平，沒有不耐，也沒有熱絡，就像在等一個普通的路人問話。
許志遠被他看得忽然有點緊張，剛才在心裡演練了好幾遍的話卡了殼，半天憋出來一句：「那個，加個微信？以後到了學校，也好聯繫。」
說完他自己都覺得有點蠢。
都是清華的學生，以後低頭不見抬頭見，哪裡至於這麼鄭重。
可對象是江臨，他就總覺得不一樣。
江臨沒猶豫，拿出手機點開了二維碼。
「滴」的一聲輕響。
好友申請發過去，幾乎是立刻就被通過了。
頭像一片純黑，暱稱就江臨兩個字。
沒有朋友圈封面，點進去也是一條橫線。
許志遠盯著屏幕愣了半秒，抬頭想再說點什麼，江臨已經朝他微微點頭，轉身匯入了出站的人流里。
林一舟不知什麼時候站到了他旁邊，看著江臨的背影，低聲說：「你還真敢開口。」
「不然呢？」 許志遠把手機揣回兜里，嘴硬道，「以後都是同學，加個微信怎麼了。」
顧明澈也走了過來，目光掠過人群里那個逐漸遠去的身影，沒說話。
出站口的玻璃門開合不停，外面是北京八月的烈日，蒸騰的熱氣扭曲了遠處的街景。
四個人在這裡分成了三路。
林一舟跟著母親去訂好的酒店，家裡親戚晚上要接風。
顧明澈有提前聯繫好的學長接應，直接去清華附近住。
許志遠家訂的酒店在南城，和誰都不順路。
「三天後見。」 許志遠揮了揮手。
「嗯，報到見。」 林一舟點頭。
顧明澈也嗯了一聲。
人群推著他們往前走，幾句話的功夫，身影就徹底散開了。
北京南站太大了，大到四個即將踏入同一所校園的年輕人，轉個身就被淹沒在數十萬的人流里，像四滴水融進了大海。
江臨沒有在車站多做停留。
他拖著行李箱走出站口，抬手叫了輛網約車。
訂單確認的間隙，他低頭看了眼手機，梁知夏二十分鐘前發來的消息躺在對話框裡。
【我到亦莊了，酒店幫您訂好了，離會展中心二十分鐘車程。晚上展館那邊有個小對接會，您要是累就不用過來，明天上午九點咱們碰現場口徑。】
車很快到來。
車輛駛離南站，開上南三環。
車窗外的北京像一幅緩緩展開的長卷。
高架橋一層疊著一層，環路像灰色的絲帶纏繞著城市，GG牌從眼前飛速掠過。
寫字樓的玻璃幕牆反射著太陽光，亮得刺眼，密密麻麻的窗戶里，每一格都藏著不同的人生和項目。
馬路上的車流首尾相接，剎車燈連成紅色的河，起步時又匯成鋼鐵的洪流。
江城的節奏像長江水，寬，緩，帶著點菸火氣的從容。
老城區的梧桐樹遮天蔽日，巷子裡的早點攤能擺到上午十點，連網際網路公司的下班時間都好像比這種一線城市慢半拍。
但北京不是。
這裡更像一張不斷疊代的計算圖。
行政是一層，產業是一層，學術是一層，資本是一層，媒體、外事、交通、會議……
無數層級疊加在一起，每個節點都牽一髮而動全身。
任何一個微小的動作，都會沿著鏈路傳導出去，留下痕跡，然後被放大，被解讀，被賦予各種各樣的意義。
在這裡做事，容錯率更低，曝光度更高，也更考驗對邊界的把控。
江臨收回目光，打開微信，點進低熵工坊的工作群。
群里消息刷了不少。
陳芷昨天就到了北京，一直在亦莊盯著展位搭建，半小時前剛發了現場照片。
【展位框架搭完了，展示台尺寸沒問題，明天設備進場。入場材料我再核對一遍，晚上發你們確認。】
許曼的消息跟在後面，附了一張物流單截圖。
【G-01C 三號機下午四點到亦莊倉庫，我盯著拆箱驗機，狀態沒問題的話明天上午送展館。】
最下面是陳硯發的截圖，是狀態機演示界面的最終版。
界面很簡潔，左側是任務輸入框，右側是狀態流轉圖，節點用不同顏色標註，綠色代表已完成，黃色代表運行中，紅色代表異常回溯。
底下附了一行字。
【演示用例都測過了，異常召回準確率 99.7%，現場演示沒問題。】
江臨逐一看完，回復。
【辛苦了，明天九點展館門口碰，先過口徑，再聯調設備。】
車輛繼續往前開，窗外的建築從老城區的矮樓，漸漸變成了開發區的整齊廠房和寫字樓。
下午五點二十分，抵達酒店。
這是一家連鎖商務酒店，房間不大。
一張單人床，一張靠窗的書桌，一把椅子，衛生間在進門左手邊。
窗戶朝馬路，能聽見樓下車輛駛過的聲音。
江臨把背包扔到椅子上，先去衛生間洗了把臉。
出來後，他把筆記本電腦放在書桌上，開機。
直接進入隔離環境，掛載PFR/Marton的工程鏡像，輸入指令，啟動全量冷啟動校驗。
終端窗口瞬間被字符填滿，綠色的代碼以每秒數十行的速度向上滾動。
依賴樹一層一層展開，引理、定義、定理、證明步驟，每一個節點都在被重新編譯、驗證、標記狀態。進度條走得很慢，第一條主路徑跑完，至少要兩個半小時。
等待的間隙，江臨又給陳硯發了條指令，讓他把演示版里的三個邊緣用例再壓一遍，確保現場不會出意外。
最後翻了翻世界機器人大會的議程手冊，把正式開展後幾個產業論壇的時間標了出來。
現在還在布展期，但該聽哪些會、該避開哪些媒體口徑，心裡要提前有數。
窗外的天色漸漸暗了下來。
傍晚六點四十，江臨下樓找了家小館子，簡單吃了碗面。北京的口味偏咸，面很筋道，湯頭透著醬香。他吃得不快，看著街邊上的路燈一盞盞亮起來，車燈從眼前流過，連成金色的河。
吃完飯往回走的時候，手機在口袋裡震了一下。
掏出來一看，是許志遠發來的微信。
【江神，今晚有安排嗎？】
江臨掃了一眼屏幕，沒急著回復，往酒店大堂走。
剛進電梯，第二條消息又跳了出來。
【不是打擾你工作，就是問問。今晚英仙座流星雨還有尾巴，雖然極大期前兩天已經過了，但北京城裡肯定看不見。】
電梯門打開，江臨走出去。
第三條消息緊跟著彈了出來。
【我媽從一個北京本地觀星群里問了地方，密雲不老屯那邊。國家天文台密雲站就在那，射電天線陣，特別科幻。我們租了輛商務車，林一舟和顧明澈都去，你要不要一起？】
密雲。
不老屯。
國家天文台密雲站。
北京郊區最出名的觀星點之一。
密雲站的射電天線陣列，那組巨大的拋物面天線，北京天文觀測的重要基礎設施。
雖然光污染逐年加劇讓它的光學觀測條件不如從前，但對於天文愛好者來說，那裡仍然是一個具有重要意義的地方。
如果只是普通邀請，他大概會拒絕。
理由很充分。
PFR/Marton v1.0流通包還沒有正式鎖定，低熵工坊世界機器人大會展示前的材料也還沒完全確認，MPS-Agent α現實運行時草圖仍處在最初的邊界設定階段，那些被他畫在筆記本空白頁上的架構圖，還沒有變成一行可以真正運行的代碼。
但流星雨三個字，讓他沒有立即按下拒絕。
英仙座流星雨。
極大期在8月12日到13日夜間，天頂每時出現率最高可達100以上。
現在已經過了極大期，英仙座的流星通量在快速衰減。
但尾巴還在。
只要運氣夠好，每小時仍能看到十幾顆甚至更多的流星。
他在廢土裡看過流星。
但那不一樣。
完全不一樣。
幾秒後，許志遠的第四條消息發了過來。
【就在附近民宿露台和一片開闊地，老闆說今晚雲不算厚，應該能看到。不住宿，看完就回，司機在那邊等。】
已經回到房間的江臨看了眼電腦後台的校驗進度。
還可以，在計劃之內。
他指尖在屏幕上敲了兩下，回復。
【幾點出發？】
消息發出去不到兩秒，許志遠的回覆就跳了出來，快得像一直守在手機跟前。
【八點，你在哪裡，我們過去接你。】
生怕他反悔似的，許志遠緊接著又補了個定位。
江臨看了眼時間，現在七點一刻。
於是回復。
【那就麻煩你們了。】
微信那頭的許志遠盯著屏幕，差點叫出聲。
他本來都做好被拒絕的準備了。
江臨那種人，一看就是時間按分鐘算的，高鐵上都在啃證明，怎麼可能大晚上跑兩個小時去郊區看一場不一定能看到的流星雨尾巴。
他發消息的時候心裡都在打鼓，連被拒絕了怎麼圓場都想好了。
結果江臨答應了。
許志遠坐在酒店大堂的沙發上，手指飛快地打字，打了又刪刪了又打，最後連續蹦出來三條。
【我靠。】
【不是。】
【收到！】
發完他一抬頭，看見林一舟和顧明澈都坐在旁邊的沙發上看他，頓時有點不好意思，撓了撓頭：「他答應了。」
林一舟抬了抬眉毛，顯然也有點意外：「答應了？」
「嗯。」 許志遠點頭，「八點過去接他。」
顧明澈手裡的書頁翻了一頁，沒說話，但眼神也動了一下。
他們三個下午分開後，本來許志遠只約了林一舟，後來想著反正車夠大，就順手叫了顧明澈。
顧明澈本來不想來，許志遠磨了半天，說就當出去透氣，總比在酒店刷題強，他才勉強同意。
結果現在連江臨都來了。
許志遠想想都覺得魔幻。
八點十分。
一輛黑色七座商務車停在了江臨住的酒店門口。
江臨下樓的時候，就看見許志遠趴在第二排的車窗上朝他揮手，臉上的笑容藏都藏不住。
他拉開車門坐進去，一股冷氣撲面而來，驅散了夜裡的悶熱。
車裡只有他們四個，沒有家長。
「我媽幫我們訂的車和民宿露台，她自己懶得跑，在酒店休息。」 許志遠解釋道，壓低的聲音有點得意，「她本來還想跟著，後來聽說我們四個都是清華新生，尤其是聽說你也去，直接就說不用她盯了，說安全得很。」
林一舟坐在第三排，膝蓋上放著平板，聞言抬頭補了句：「準確說，她是覺得有江臨在，你們倆就不會亂跑惹事。」
許志遠嘿嘿笑了一下，沒有否認。
他把一袋零食從腳邊的塑膠袋裡掏出來，放在座位中間的扶手上：薯片、巧克力、話梅、兩瓶礦泉水、一罐無糖可樂。
「路上吃。兩個多小時呢。」
江臨坐下，系好安全帶。
車輛駛出酒店，匯入夜色里的車流。
北京城區的夜太亮了。
路燈連成光帶，商場的霓虹燈五彩斑斕，寫字樓的燈光整棟整棟地亮著，連GG牌都亮得晃眼。
所有的光混在一起，把夜空洗成了一種渾濁的灰黑色，抬頭看天，只能稀稀拉拉看見幾顆最亮的星，像撒在灰布上的幾粒碎鑽。
許志遠趴在車窗上往外看，嘆了口氣：「城裡是真看不到，這天跟蒙了層紗似的。」
「到不老屯估計兩個多小時。」 林一舟低頭劃著名平板上的地圖，「過了密雲城區，光污染等級就降下來了。那邊有觀測站，管控得嚴，周邊不讓搞亮化工程。」
顧明澈靠在窗邊，忽然問：「今晚月相怎麼樣，月亮太亮的話，也看不清暗流星。」
「還行，但不算好。」 許志遠早就查過了，「前兩天剛過滿月，今晚還是虧凸月，月光會洗掉大部分暗流星。群里說別指望滿天亂飛，能蹲到幾顆亮的就算賺了。」
說到這裡，他轉頭看向江臨：「江臨，你以前看過流星雨嗎？」
江臨看著窗外飛速倒退的路燈，聲音很輕：「看過。」
他說的是廢土。
但這句話他沒展開。
車裡短暫地靜了一下。
許志遠沒察覺到那一瞬間的異樣，還在興致勃勃地講：「我小時候一直以為流星雨就跟動畫片裡演的一樣，嘩啦啦一大片往下掉，跟下雨似的。後來才知道根本不是，真看流星雨就是傻等，等半天，突然一道光閃過去，你剛想叫人看，它就沒了，全靠運氣。」
「不可預測性，本身就是它的美感之一。」 顧明澈聲音平淡。
許志遠瞥他一眼：「你這話一聽就求真書院的，看個流星都能講出哲學來。」
顧明澈沒理他的調侃，目光落在窗外。
車輛一路向東北方向行駛。
三環轉四環，四環上高速，城區的燈光漸漸被甩在了身後。
道路兩側的建築越來越矮，從密集的樓房變成零散的村落，再後來就是成片的田野和樹影。
車裡的氣氛也慢慢鬆弛下來。
幾個小時前，他們還在高鐵的隔間裡，把江臨當成了需要仰望的高手。
現在，他們擠在同一輛車裡，奔著同一場不確定能不能看見的流星雨而去，像所有普通的十八歲少年一樣。
這種落差感很奇妙。
許志遠刷著手機，本來想看看觀星群里有沒有最新的天氣消息，結果一條新聞推送彈了出來，標題加粗，格外扎眼。
他隨手點進去，只看了兩行，眉頭就皺了起來。
「又來。」 他低聲罵了一句。
「怎麼了？」 林一舟抬頭。
許志遠把手機遞過去，屏幕上是剛更新的時政解讀：「《晶片與科學法案》，8 月 9 號剛簽的那個。又在分析後續影響，說先進位程、設備、EDA 軟體、人才流動，限制只會越來越緊。」
林一舟接過手機，指尖劃著名屏幕，快速掃完了整篇報導。
他臉色也冷了下來，把手機遞迴去：「補貼是給他們自己製造業的糖衣，限制條款才是對準我們的炮彈，雙管齊下。」
「說白了不就是卡脖子嗎？」 許志遠越說越氣，聲音都提高了幾分，「嘴上喊著自由市場、公平競爭，轉頭就卡設備、卡軟體、卡製造。我們這些學生天天寫代碼、搞算法，最後程序還不是要跑在別人的硬體上？人家一掐脖子，整個上游都動彈不得。」
司機師傅從後視鏡里看了他們一眼，沒插話。
車裡的氣氛瞬間沉了下來。
剛才還輕鬆的觀星興致，像被一盆冷水澆了下去。
他們都還只是剛高中畢業的學生，還沒正式踏入大學校門，更沒真正進入產業界。
但他們不是什麼都不懂的孩子。
林一舟是信息學競賽出身，一路保送姚班，對編譯器、硬體生態、開源工具鏈的依賴感比誰都敏銳。
許志遠考進信息學院，從小關注科技新聞，清楚晶片是整個數字世界的底座。
顧明澈學純數，也知道現代數學的大規模驗證、數值計算，早已離不開專業軟體和算力支持。
「CUDA 生態、EDA 工具鏈、先進位程工藝、IP 核授權、編譯器、驅動程序、基礎科學計算庫。」 林一舟的聲音很低，「每一層都是生態，每一層都不是單點問題，不是我們做出某一樣東西就能破局的。」
「所以才煩啊。」 許志遠靠回椅背上，望著車頂，「高中的時候覺得，考上清華就很厲害了，好像什麼問題都能解決。現在還沒入學呢，就看見前面全是牆，堵得人心裡發悶。」
顧明澈看向窗外漆黑的夜色，聲音平靜得像在陳述一個定理：「牆一直都在，只是以前我們離得太遠，看不見。」
這句話說完，車裡徹底安靜了。
就在這時，江臨的手機震了一下。
是郵件提醒。發件人一欄寫著：周志華。
車裡光線很暗，手機屏幕的光映在江臨臉上。
他點開郵件，目光快速掃過正文。
郵件不長，標題是《一個未來可能值得討論的接口問題》。
【江臨同學：
你PFR/Marton v0.9公開說明里關於證明壓縮、依賴圖和邊界可見性的幾段表述，我看過了。
我注意到其中有幾個表述，在機器學習理論領域，也長期以不同形式出現：壓縮、結構可見性、泛化邊界、依賴圖、可驗證表示。
我並不認為這些概念可以被輕易打通。事實上，越相似的詞，越容易製造誤解，類比式的跨界往往是學術研究的陷阱。
但如果未來你有時間，我希望可以和你討論一個更窄的問題：證明結構、壓縮理論與機器學習泛化之間，是否存在某種可形式化的共同接口？
這不是合作邀請，也不是項目邀約。只是一個我想了很久的問題，恰好你在做的事，似乎摸到了一點邊緣。
祝北京一切順利。
周志華】
江臨把郵件讀完，手指停在屏幕上，半天沒動。
周志華教授的眼光很準。
公開出來的第38號節點，只是整個PFR/Marton證明體系里很邊緣的一部分，只涉及了一點點證明結構的壓縮邏輯。
而低熵工坊對外公開的技術材料里，關於狀態機、日誌回放、失敗樣本召回的內容更是少之又少，幾乎只是點到為止。
可周志華還是從這些零散的痕跡里，捕捉到了最核心的那個交點：壓縮。
證明可以壓縮，模型可以壓縮，信息可以壓縮。
如果壓縮的底層邏輯是同構的，那數學證明和機器學習之間，就可能存在一個通用的接口。
這個想法很多人都有過，但大多停留在隨口一提的玄學層面。
把熵、壓縮、泛化、結構幾個詞放在一句話里，誰都會說。
但周教授最難得的地方，是他先否定了這種輕率的跨界。
越相似的詞，越容易製造誤解。
江臨看著這句話，心裡很清楚，周志華看到的只是冰山一角。
他看到的是PFR/Marton里的證明壓縮技術，是低熵工坊狀態機里的失敗路徑回溯。
他不可能知道，這些技術都來源於同一個更底層的框架MPS-Agent α。
那個能跨領域重構問題、自動壓縮依賴、遞歸驗證邊界的智能體框架。
「誰的郵件啊？」 許志遠見他半天沒動靜，忍不住湊過來問了一句。
「周志華教授。」 江臨說。
唰的一下，車裡三個人的目光都集中了過來。
許志遠直接坐直了：「周，周志華教授，寫《機器學習》西瓜書的那個？」
「嗯。」 江臨點頭。
林一舟的表情變得有點微妙。
他當然知道周志華是什麼分量。
別說是他們這些新生，就算是清華計算機系的年輕老師，能和周志華對上話都不容易。
結果江臨剛來北京，就收到了周志華的主動郵件。
「我現在真覺得，我們今晚這個觀星隊伍配置有點離譜。」 許志遠靠回座椅上，喃喃自語，「本來以為就是幾個新生出來散心，結果裡面藏著個能讓周志華主動發郵件的大佬。」
顧明澈沒有笑。他看著江臨，問了一個最關鍵的問題：「聊的什麼？機器學習？」
「他問我，證明結構、壓縮理論和機器學習泛化之間，有沒有可形式化的共同接口。」 江臨說。
林一舟吸了口氣：「這個問題太大了，真要是能打通，整個領域都要變天。」
「是很大。」 江臨說，「所以他也說了，只是個問題，不是項目。」
他低頭點開回復框，開始寫回信。手指在屏幕上敲得很慢，每一個詞都斟酌過。
【周老師：
感謝來信。
我同意您的判斷。證明結構、壓縮理論與機器學習泛化之間，不應被類比式地強行打通。所有缺乏形式化定義的跨界融合，最終都會淪為文字遊戲。
如果真的存在值得討論的接口，它首先應當是可定義、可驗證、可失敗的。必須有明確的數學邊界，有可復現的實驗路徑，有清晰的證偽標準。
九月開學後，如時間允許，我很願意就這個窄問題和您做一次討論。
江臨】
檢查了一遍，確認沒有問題，他按下了發送鍵。
車裡安靜了好一會兒。
許志遠看著窗外飛速掠過的樹影，忽然低聲說：「我忽然覺得，我們剛才在那兒義憤填膺罵晶片制裁，罵得像小學生似的。」
「不一樣。」 林一舟搖了搖頭。
「哪裡不一樣？」
「情緒是起點，不能停在情緒上。」 林一舟頓了頓，看向江臨，「他說的先把自己那一層做好，就是這個意思。」
許志遠愣了一下，反應過來：「也是，光罵有什麼用？罵完了，該卡脖子還是卡脖子，那我們到底能做什麼？」
他撓了撓頭，有點茫然。
這句話問出來，他自己都有點不好意思。
這個問題太大了。
大到不該是四個還沒報到的十八歲學生討論的話題。
大到國家層面、無數行業頂尖人才都在日夜攻關。他們幾個剛高中畢業的孩子，談這個未免太自不量力。
可車窗外是沉沉的夜色，車裡是四個即將踏入中國最高學府的年輕人。
現實已經把問題推到了他們面前，躲是躲不掉的。
江臨沒有說什麼熱血沸騰的話。
他從不給人灌雞湯。
他只是說：「先把自己的那一層做好。」
「哪一層？」 林一舟問。
「你做系統，就先弄清楚系統層為什麼會被卡，卡在哪裡，底層邏輯是什麼。」 江臨看向他，目光平靜，「許志遠做信息產業，就先弄清楚每一層的依賴關係，哪些是可替代的，哪些是硬骨頭。」
他又看向顧明澈：「你做數學，就先弄清楚抽象結構怎麼被真正驗證，形式化證明的邊界在哪裡，哪些工具是我們自己能掌控的。」
最後，他收回目光，看向窗外漆黑的原野。
「我也一樣，先把自己手裡的事做好。」
「那你是哪一層？」 許志遠忍不住問。
江臨沉默了幾秒。
他做的事，橫跨了數學、計算機、工程，甚至更多領域。
PFR/Marton 是純數學證明，低熵工坊是工業軟體，MPS-Agent α是更底層的智能框架。
他好像在每一層都踩了一腳，又好像哪一層都不完全屬於。
「現在還說不清。」 他最終說。
車繼續往前開，高速路上的車越來越少。
遠處的山影漸漸清晰起來，黑黢黢地臥在夜色里。
晚上十點二十六分，導航提示前方下高速，抵達不老屯鎮。
司機師傅放慢車速，沿著鄉間公路往裡開。
路兩邊都是玉米地，風吹過葉子嘩啦啦地響。
路燈早就沒有了，只有車燈照亮前面一小段路，四周都是濃得化不開的黑。
十分鐘後，車停在了一家民宿的院子外面。
院門是木柵欄做的，裡面亮著暖黃色的燈。
老闆聽見動靜，披著外套從屋裡走出來，四十多歲的年紀，皮膚黝黑，一看就是常年在戶外待著的人。
「預約觀星的是吧？」 老闆嗓門洪亮，「跟我來，露台在後面，開闊地也收拾好了。先跟你們說清楚啊，不許往觀測站那邊跑，人家有規定，不讓隨便進。拍照架三腳架都行，別拿強光手電亂晃，影響觀測。」
「知道知道。」 許志遠連忙點頭，「我們就看看，不亂跑。」
老闆拿著個小手電，在前面帶路。
穿過種著蔬菜的小院，再往後走幾十米，就是一片平整的草地。
草地邊緣擺著幾張摺疊桌椅，應該是給觀星的客人準備的。
而草地的盡頭，遠處的山腳下，幾座巨大的輪廓靜靜矗立著。
那就是射電望遠鏡。
最大的那座五十米口徑的拋物面天線，像一隻鋼鐵巨眼，朝著夜空微微仰起。
反射面在暗夜裡泛著冷灰色的啞光，天線的骨架在天幕下勾出硬朗的線條。
它們沒有亮燈，也沒有聲音，就那樣沉默地站在那裡，仿佛已經保持這個仰望的姿勢，站了千百萬年。
風從田野上吹過來，帶著玉米葉和泥土的氣息，穿過天線的骨架，發出極輕的嗡鳴。
像宇宙深處傳來的迴響。
「哇，比照片上看著大多了。」 許志遠仰著頭，下意識地放低了聲音。
林一舟也抬頭看著那些巨大的天線，眼神裡帶著驚嘆。
他只在課本和紀錄片裡見過射電望遠鏡，親眼看到的震撼感，是屏幕完全比不了的。
顧明澈站在原地，沒說話。
清冷的眉眼在夜色里柔和了幾分，目光落在那些天線上，不知道在想什麼。
江臨站在人群最後面，若有所思。
「這邊坐吧。」 老闆把摺疊椅擺好，又抱過來幾瓶礦泉水，「夜裡蚊子多，我給你們拿瓶驅蚊水。想看就慢慢看，困了就回屋裡歇會兒，走的時候叫我就行。」
「謝謝老闆。」 許志遠接過驅蚊水，給每個人都遞了過去。
四個人在草地上坐下，椅子排成一排，面對著遠處的天線和更遼闊的夜空。
這裡的天空和城裡完全不一樣。
沒有光污染的夜空，是深邃的藏藍色，像一塊洗乾淨的絲絨。
星星密密麻麻地鋪在上面，不是城裡那種稀稀拉拉的幾點，而是一條淡淡的光帶從天際橫跨過去。
那是銀河。
雖然不是最清晰的季節，但也足夠讓看慣了城市夜空的人震撼。
許志遠仰著頭，脖子都酸了，嘴裡念念有詞：「值了，跑兩個小時過來，光看這星空都值了。」
林一舟打開星圖軟體，把屏幕亮度調到最低，指尖劃著名屏幕：「英仙座在東北方向，大概那個位置。現在流量不大，耐心等吧。」
顧明澈沒用軟體。
他只是抬著頭，目光在星空中掃過，準確地找到了英仙座的位置。
對學數學的人來說，記住星座的位置和幾何關係，不是什麼難事。
江臨也抬起頭。
夜空鋪展在他頭頂，廣闊，寧靜，星光溫柔。
沒有廢土裡的暗紅色塵帶，沒有天幕工程墜毀後留下的殘骸軌道，沒有前哨站外風沙里閃爍的異常光譜，沒有警報聲，沒有輻射值提示。
這裡只是2022年，北京郊外的一個夏夜。
一場普通的英仙座流星雨尾聲。
身邊坐著三個同齡的少年，他們對未來充滿期待，對知識充滿渴望，對遠方的星空充滿好奇。
他們談論晶片，談論數學，談論系統，談論那些擋在前面的牆，但眼裡的光沒有滅。
風從耳邊吹過，帶著草木的清香。
遠處的蟲鳴此起彼伏，襯得夜色更加安靜。
許志遠還在興奮地說個不停，說以前在老家看星星的經歷，說熬夜刷題，抬頭看見窗外的星星就覺得不累了。
林一舟偶爾插一句話，吐槽他刷題划水。
顧明澈話少，但也會在他們說偏了的時候，淡淡地糾正一句天文常識。
江臨聽著他們說話，沒怎麼開口。
他心裡很清楚，這樣的平靜有多珍貴。
十一點零七分。
毫無徵兆地，一道極細的白光從東北方向的天空劃了過去。
快得像錯覺。
像有人用最細的針尖，在黑絲絨上輕輕劃了一道線，瞬間就消失了。
「看見了嗎！」 許志遠猛地坐直了身體，聲音壓得很低，卻抑制不住興奮，「剛才那道，是不是流星？」
「是。」 林一舟也看到了，點頭，「英仙座方向，沒錯。」
顧明澈輕聲說：「很短，二等流星吧大概。」
「也太快了吧。」 許志遠激動得差點站起來，「我剛想喊你們，它就沒了，跟閃電似的。」
江臨也看見了。
那道光線在他視網膜上停留了不到一秒鐘。
對普通人來說，這是浪漫，是幸運，是值得許願的瞬間。
對天文愛好者來說，這是地球穿過斯威夫特-塔特爾彗星遺留的塵埃帶時，沙粒大小的彗星碎屑高速闖入大氣層，在壓縮加熱與燒蝕中留下的光跡。
但對江臨來說，流星這兩個字，還有另一層沉重得多的含義。
第七天幕站。
PMCU-17塵埃監測協議。
FDSO-2076A號異常通量報告。
外日球層塵埃譜異常。
日球層邊界壓縮響應。
地月軌道高速微粒削峰窗口。
月背觀測陣列鏈路中斷。
火星拉格朗日點微波中繼失效。
文明火種級資料高維壓縮備份協議啟動。
這些名詞一個接一個地從他腦海里冒出來，冰冷，清晰，帶著廢土世界裡獨有的鐵鏽味和輻射塵氣息。
流星雨。
如果只是這樣的流星雨，那它很美。
一夜過去，不會留下任何痕跡，只會成為人們記憶里的浪漫片段。
可如果尺度變了呢？
如果通量變了呢？
如果粒徑譜變了呢？
如果它不再是一夜的天象，而是一道持續數十年，緩緩穿過太陽系邊緣的塵埃擾動前緣？
如果進入地月空間的不再是幾粒微米級的塵埃，而是整片被太陽系尺度擾動推來的高危粒子環境？
那流星就不再是風景。
是持續不斷的轟擊，是衛星軌道的墳墓，是大氣層頂的灼燒，是地面通訊的噩夢，是所有太空資產的死刑判決書。
暗塵弦。
它不發光，沒有穩定的可見邊界，不是一顆彗星，也不是一片星雲。
只是一道橫亘在星際空間裡的低溫塵埃流，像一根看不見的弦，緩慢地不可阻擋地掃過太陽系。
第二顆流星划過天際。
比第一顆更亮，拖的尾巴也更長一點。
像一根燃燒的火柴，從星空里掉下來，很快就熄滅在了大氣層里。
「我靠，又一顆！」 許志遠低聲罵了一句，隨即又像怕驚擾了星空似的，把聲音壓得更低，「我還以為今晚白跑一趟呢。」
林一舟沒說話，在平板上記了筆什麼。
顧明澈也沒說話，仰頭望著天空，眼神很專注。
四周很靜。
風穿過玉米地的沙沙聲，遠處的蟲鳴聲，還有偶爾遠處公路上傳來的微弱車聲，都成了背景音。
四個十八歲的少年坐在北京郊外的草地上，頭頂是浩瀚星空，身後是沉默的射電天線，等著下一顆流星的出現。
他們剛才聊過清華，聊過晶片，聊過系統，聊過數學，聊過那些橫亘在前路的、看不清形狀的高牆。
可此刻在這片真實的星空下，那些沉重的話題又忽然顯得很輕。
人類在宇宙面前，本來就很輕。
江臨拿出手機，解鎖，點開備忘錄，新建了一條筆記。
指尖在屏幕上緩慢地敲下一行字符。
【Reality_DustFlux_Risk_Notes】
現實塵埃通量風險筆記。
寫完，他關掉屏幕。
遠處的射電天線沉默地指向天空。
夜風從田野上吹過，帶著遠處水庫的微涼。
這一次比前兩顆都亮。
亮度至少接近負三等，短暫壓過了木星。
從輻射點射出，划過整個天頂，在天鵝座尾部留下一道明亮的白金色光跡。
光跡持續了將近兩秒。
在流星觀測中，這已經是極其罕見的長余跡。
余跡的顏色從頭部的白金色過渡到尾部的淡綠色，最後在天鵝座β星附近消散。
許志遠這次沒有叫。
他只是張著嘴，眼睛瞪得很大，像一個看到了世界上最美的東西卻找不到任何詞彙來形容的人。
這一次，江臨看的是它來時的方向。
從斯威夫特-塔特爾彗星在幾千年前留下的塵埃帶，從太陽系外緣的寒冷空間，從一顆周期性回歸內太陽系的彗星的彗尾殘餘物。
但那只是這個時間線的答案。
G 字頭動車組的剎車聲順著鋼軌傳進車廂，輕微的震顫過後，北京南站的站台牌穩穩地停在了車窗外側。
暑氣裹著人聲從半開的車門湧進來，行李箱輪子碾過地磚的聲響匯成一片，廣播裡的到站提示重複了三遍，最終還是被南來北往的口音吞沒。
林一舟率先站起來，從行李架上取下那個貼滿信息學競賽貼紙的行李箱。
貼紙邊緣已經磨得起毛。
NOI 2020、IOI 2021、清華冬令營，每一張都是一個坐標系上的點，記錄著這個少年從省隊集訓到國家隊的軌跡。
顧明澈背著包，全程沒說幾句話，下車時也只是朝江臨的方向微微頷首，算是道別。
清冷是他的保護色，也是他面對超出認知邊界的事物時，最習慣的姿態。
許志遠走在中間。
他本來就話多，高鐵上憋了一路，這會兒到了站，總覺得就這麼散了太可惜。
眼看著江臨就要往出站口的另一個方向走，他咬咬牙，三步並作兩步追了上去。
「江臨！」
江臨停下腳步，回頭看他。
眼神很平，沒有不耐，也沒有熱絡，就像在等一個普通的路人問話。
許志遠被他看得忽然有點緊張，剛才在心裡演練了好幾遍的話卡了殼，半天憋出來一句：「那個，加個微信？以後到了學校，也好聯繫。」
說完他自己都覺得有點蠢。
都是清華的學生，以後低頭不見抬頭見，哪裡至於這麼鄭重。
可對象是江臨，他就總覺得不一樣。
江臨沒猶豫，拿出手機點開了二維碼。
「滴」的一聲輕響。
好友申請發過去，幾乎是立刻就被通過了。
頭像一片純黑，暱稱就江臨兩個字。
沒有朋友圈封面，點進去也是一條橫線。
許志遠盯著屏幕愣了半秒，抬頭想再說點什麼，江臨已經朝他微微點頭，轉身匯入了出站的人流里。
林一舟不知什麼時候站到了他旁邊，看著江臨的背影，低聲說：「你還真敢開口。」
「不然呢？」 許志遠把手機揣回兜里，嘴硬道，「以後都是同學，加個微信怎麼了。」
顧明澈也走了過來，目光掠過人群里那個逐漸遠去的身影，沒說話。
出站口的玻璃門開合不停，外面是北京八月的烈日，蒸騰的熱氣扭曲了遠處的街景。
四個人在這裡分成了三路。
林一舟跟著母親去訂好的酒店，家裡親戚晚上要接風。
顧明澈有提前聯繫好的學長接應，直接去清華附近住。
許志遠家訂的酒店在南城，和誰都不順路。
「三天後見。」 許志遠揮了揮手。
「嗯，報到見。」 林一舟點頭。
顧明澈也嗯了一聲。
人群推著他們往前走，幾句話的功夫，身影就徹底散開了。
北京南站太大了，大到四個即將踏入同一所校園的年輕人，轉個身就被淹沒在數十萬的人流里，像四滴水融進了大海。
江臨沒有在車站多做停留。
他拖著行李箱走出站口，抬手叫了輛網約車。
訂單確認的間隙，他低頭看了眼手機，梁知夏二十分鐘前發來的消息躺在對話框裡。
【我到亦莊了，酒店幫您訂好了，離會展中心二十分鐘車程。晚上展館那邊有個小對接會，您要是累就不用過來，明天上午九點咱們碰現場口徑。】
車很快到來。
車輛駛離南站，開上南三環。
車窗外的北京像一幅緩緩展開的長卷。
高架橋一層疊著一層，環路像灰色的絲帶纏繞著城市，GG牌從眼前飛速掠過。
寫字樓的玻璃幕牆反射著太陽光，亮得刺眼，密密麻麻的窗戶里，每一格都藏著不同的人生和項目。
馬路上的車流首尾相接，剎車燈連成紅色的河，起步時又匯成鋼鐵的洪流。
江城的節奏像長江水，寬，緩，帶著點菸火氣的從容。
老城區的梧桐樹遮天蔽日，巷子裡的早點攤能擺到上午十點，連網際網路公司的下班時間都好像比這種一線城市慢半拍。
但北京不是。
這裡更像一張不斷疊代的計算圖。
行政是一層，產業是一層，學術是一層，資本是一層，媒體、外事、交通、會議……
無數層級疊加在一起，每個節點都牽一髮而動全身。
任何一個微小的動作，都會沿著鏈路傳導出去，留下痕跡，然後被放大，被解讀，被賦予各種各樣的意義。
在這裡做事，容錯率更低，曝光度更高，也更考驗對邊界的把控。
江臨收回目光，打開微信，點進低熵工坊的工作群。
群里消息刷了不少。
陳芷昨天就到了北京，一直在亦莊盯著展位搭建，半小時前剛發了現場照片。
【展位框架搭完了，展示台尺寸沒問題，明天設備進場。入場材料我再核對一遍，晚上發你們確認。】
許曼的消息跟在後面，附了一張物流單截圖。
【G-01C 三號機下午四點到亦莊倉庫，我盯著拆箱驗機，狀態沒問題的話明天上午送展館。】
最下面是陳硯發的截圖，是狀態機演示界面的最終版。
界面很簡潔，左側是任務輸入框，右側是狀態流轉圖，節點用不同顏色標註，綠色代表已完成，黃色代表運行中，紅色代表異常回溯。
底下附了一行字。
【演示用例都測過了，異常召回準確率 99.7%，現場演示沒問題。】
江臨逐一看完，回復。
【辛苦了，明天九點展館門口碰，先過口徑，再聯調設備。】
車輛繼續往前開，窗外的建築從老城區的矮樓，漸漸變成了開發區的整齊廠房和寫字樓。
下午五點二十分，抵達酒店。
這是一家連鎖商務酒店，房間不大。
一張單人床，一張靠窗的書桌，一把椅子，衛生間在進門左手邊。
窗戶朝馬路，能聽見樓下車輛駛過的聲音。
江臨把背包扔到椅子上，先去衛生間洗了把臉。
出來後，他把筆記本電腦放在書桌上，開機。
直接進入隔離環境，掛載PFR/Marton的工程鏡像，輸入指令，啟動全量冷啟動校驗。
終端窗口瞬間被字符填滿，綠色的代碼以每秒數十行的速度向上滾動。
依賴樹一層一層展開，引理、定義、定理、證明步驟，每一個節點都在被重新編譯、驗證、標記狀態。進度條走得很慢，第一條主路徑跑完，至少要兩個半小時。
等待的間隙，江臨又給陳硯發了條指令，讓他把演示版里的三個邊緣用例再壓一遍，確保現場不會出意外。
最後翻了翻世界機器人大會的議程手冊，把正式開展後幾個產業論壇的時間標了出來。
現在還在布展期，但該聽哪些會、該避開哪些媒體口徑，心裡要提前有數。
窗外的天色漸漸暗了下來。
傍晚六點四十，江臨下樓找了家小館子，簡單吃了碗面。北京的口味偏咸，面很筋道，湯頭透著醬香。他吃得不快，看著街邊上的路燈一盞盞亮起來，車燈從眼前流過，連成金色的河。
吃完飯往回走的時候，手機在口袋裡震了一下。
掏出來一看，是許志遠發來的微信。
【江神，今晚有安排嗎？】
江臨掃了一眼屏幕，沒急著回復，往酒店大堂走。
剛進電梯，第二條消息又跳了出來。
【不是打擾你工作，就是問問。今晚英仙座流星雨還有尾巴，雖然極大期前兩天已經過了，但北京城裡肯定看不見。】
電梯門打開，江臨走出去。
第三條消息緊跟著彈了出來。
【我媽從一個北京本地觀星群里問了地方，密雲不老屯那邊。國家天文台密雲站就在那，射電天線陣，特別科幻。我們租了輛商務車，林一舟和顧明澈都去，你要不要一起？】
密雲。
不老屯。
國家天文台密雲站。
北京郊區最出名的觀星點之一。
密雲站的射電天線陣列，那組巨大的拋物面天線，北京天文觀測的重要基礎設施。
雖然光污染逐年加劇讓它的光學觀測條件不如從前，但對於天文愛好者來說，那裡仍然是一個具有重要意義的地方。
如果只是普通邀請，他大概會拒絕。
理由很充分。
PFR/Marton v1.0流通包還沒有正式鎖定，低熵工坊世界機器人大會展示前的材料也還沒完全確認，MPS-Agent α現實運行時草圖仍處在最初的邊界設定階段，那些被他畫在筆記本空白頁上的架構圖，還沒有變成一行可以真正運行的代碼。
但流星雨三個字，讓他沒有立即按下拒絕。
英仙座流星雨。
極大期在8月12日到13日夜間，天頂每時出現率最高可達100以上。
現在已經過了極大期，英仙座的流星通量在快速衰減。
但尾巴還在。
只要運氣夠好，每小時仍能看到十幾顆甚至更多的流星。
他在廢土裡看過流星。
但那不一樣。
完全不一樣。
幾秒後，許志遠的第四條消息發了過來。
【就在附近民宿露台和一片開闊地，老闆說今晚雲不算厚，應該能看到。不住宿，看完就回，司機在那邊等。】
已經回到房間的江臨看了眼電腦後台的校驗進度。
還可以，在計劃之內。
他指尖在屏幕上敲了兩下，回復。
【幾點出發？】
消息發出去不到兩秒，許志遠的回覆就跳了出來，快得像一直守在手機跟前。
【八點，你在哪裡，我們過去接你。】
生怕他反悔似的，許志遠緊接著又補了個定位。
江臨看了眼時間，現在七點一刻。
於是回復。
【那就麻煩你們了。】
微信那頭的許志遠盯著屏幕，差點叫出聲。
他本來都做好被拒絕的準備了。
江臨那種人，一看就是時間按分鐘算的，高鐵上都在啃證明，怎麼可能大晚上跑兩個小時去郊區看一場不一定能看到的流星雨尾巴。
他發消息的時候心裡都在打鼓，連被拒絕了怎麼圓場都想好了。
結果江臨答應了。
許志遠坐在酒店大堂的沙發上，手指飛快地打字，打了又刪刪了又打，最後連續蹦出來三條。
【我靠。】
【不是。】
【收到！】
發完他一抬頭，看見林一舟和顧明澈都坐在旁邊的沙發上看他，頓時有點不好意思，撓了撓頭：「他答應了。」
林一舟抬了抬眉毛，顯然也有點意外：「答應了？」
「嗯。」 許志遠點頭，「八點過去接他。」
顧明澈手裡的書頁翻了一頁，沒說話，但眼神也動了一下。
他們三個下午分開後，本來許志遠只約了林一舟，後來想著反正車夠大，就順手叫了顧明澈。
顧明澈本來不想來，許志遠磨了半天，說就當出去透氣，總比在酒店刷題強，他才勉強同意。
結果現在連江臨都來了。
許志遠想想都覺得魔幻。
八點十分。
一輛黑色七座商務車停在了江臨住的酒店門口。
江臨下樓的時候，就看見許志遠趴在第二排的車窗上朝他揮手，臉上的笑容藏都藏不住。
他拉開車門坐進去，一股冷氣撲面而來，驅散了夜裡的悶熱。
車裡只有他們四個，沒有家長。
「我媽幫我們訂的車和民宿露台，她自己懶得跑，在酒店休息。」 許志遠解釋道，壓低的聲音有點得意，「她本來還想跟著，後來聽說我們四個都是清華新生，尤其是聽說你也去，直接就說不用她盯了，說安全得很。」
林一舟坐在第三排，膝蓋上放著平板，聞言抬頭補了句：「準確說，她是覺得有江臨在，你們倆就不會亂跑惹事。」
許志遠嘿嘿笑了一下，沒有否認。
他把一袋零食從腳邊的塑膠袋裡掏出來，放在座位中間的扶手上：薯片、巧克力、話梅、兩瓶礦泉水、一罐無糖可樂。
「路上吃。兩個多小時呢。」
江臨坐下，系好安全帶。
車輛駛出酒店，匯入夜色里的車流。
北京城區的夜太亮了。
路燈連成光帶，商場的霓虹燈五彩斑斕，寫字樓的燈光整棟整棟地亮著，連GG牌都亮得晃眼。
所有的光混在一起，把夜空洗成了一種渾濁的灰黑色，抬頭看天，只能稀稀拉拉看見幾顆最亮的星，像撒在灰布上的幾粒碎鑽。
許志遠趴在車窗上往外看，嘆了口氣：「城裡是真看不到，這天跟蒙了層紗似的。」
「到不老屯估計兩個多小時。」 林一舟低頭劃著名平板上的地圖，「過了密雲城區，光污染等級就降下來了。那邊有觀測站，管控得嚴，周邊不讓搞亮化工程。」
顧明澈靠在窗邊，忽然問：「今晚月相怎麼樣，月亮太亮的話，也看不清暗流星。」
「還行，但不算好。」 許志遠早就查過了，「前兩天剛過滿月，今晚還是虧凸月，月光會洗掉大部分暗流星。群里說別指望滿天亂飛，能蹲到幾顆亮的就算賺了。」
說到這裡，他轉頭看向江臨：「江臨，你以前看過流星雨嗎？」
江臨看著窗外飛速倒退的路燈，聲音很輕：「看過。」
他說的是廢土。
但這句話他沒展開。
車裡短暫地靜了一下。
許志遠沒察覺到那一瞬間的異樣，還在興致勃勃地講：「我小時候一直以為流星雨就跟動畫片裡演的一樣，嘩啦啦一大片往下掉，跟下雨似的。後來才知道根本不是，真看流星雨就是傻等，等半天，突然一道光閃過去，你剛想叫人看，它就沒了，全靠運氣。」
「不可預測性，本身就是它的美感之一。」 顧明澈聲音平淡。
許志遠瞥他一眼：「你這話一聽就求真書院的，看個流星都能講出哲學來。」
顧明澈沒理他的調侃，目光落在窗外。
車輛一路向東北方向行駛。
三環轉四環，四環上高速，城區的燈光漸漸被甩在了身後。
道路兩側的建築越來越矮，從密集的樓房變成零散的村落，再後來就是成片的田野和樹影。
車裡的氣氛也慢慢鬆弛下來。
幾個小時前，他們還在高鐵的隔間裡，把江臨當成了需要仰望的高手。
現在，他們擠在同一輛車裡，奔著同一場不確定能不能看見的流星雨而去，像所有普通的十八歲少年一樣。
這種落差感很奇妙。
許志遠刷著手機，本來想看看觀星群里有沒有最新的天氣消息，結果一條新聞推送彈了出來，標題加粗，格外扎眼。
他隨手點進去，只看了兩行，眉頭就皺了起來。
「又來。」 他低聲罵了一句。
「怎麼了？」 林一舟抬頭。
許志遠把手機遞過去，屏幕上是剛更新的時政解讀：「《晶片與科學法案》，8 月 9 號剛簽的那個。又在分析後續影響，說先進位程、設備、EDA 軟體、人才流動，限制只會越來越緊。」
林一舟接過手機，指尖劃著名屏幕，快速掃完了整篇報導。
他臉色也冷了下來，把手機遞迴去：「補貼是給他們自己製造業的糖衣，限制條款才是對準我們的炮彈，雙管齊下。」
「說白了不就是卡脖子嗎？」 許志遠越說越氣，聲音都提高了幾分，「嘴上喊著自由市場、公平競爭，轉頭就卡設備、卡軟體、卡製造。我們這些學生天天寫代碼、搞算法，最後程序還不是要跑在別人的硬體上？人家一掐脖子，整個上游都動彈不得。」
司機師傅從後視鏡里看了他們一眼，沒插話。
車裡的氣氛瞬間沉了下來。
剛才還輕鬆的觀星興致，像被一盆冷水澆了下去。
他們都還只是剛高中畢業的學生，還沒正式踏入大學校門，更沒真正進入產業界。
但他們不是什麼都不懂的孩子。
林一舟是信息學競賽出身，一路保送姚班，對編譯器、硬體生態、開源工具鏈的依賴感比誰都敏銳。
許志遠考進信息學院，從小關注科技新聞，清楚晶片是整個數字世界的底座。
顧明澈學純數，也知道現代數學的大規模驗證、數值計算，早已離不開專業軟體和算力支持。
「CUDA 生態、EDA 工具鏈、先進位程工藝、IP 核授權、編譯器、驅動程序、基礎科學計算庫。」 林一舟的聲音很低，「每一層都是生態，每一層都不是單點問題，不是我們做出某一樣東西就能破局的。」
「所以才煩啊。」 許志遠靠回椅背上，望著車頂，「高中的時候覺得，考上清華就很厲害了，好像什麼問題都能解決。現在還沒入學呢，就看見前面全是牆，堵得人心裡發悶。」
顧明澈看向窗外漆黑的夜色，聲音平靜得像在陳述一個定理：「牆一直都在，只是以前我們離得太遠，看不見。」
這句話說完，車裡徹底安靜了。
就在這時，江臨的手機震了一下。
是郵件提醒。發件人一欄寫著：周志華。
車裡光線很暗，手機屏幕的光映在江臨臉上。
他點開郵件，目光快速掃過正文。
郵件不長，標題是《一個未來可能值得討論的接口問題》。
【江臨同學：
你PFR/Marton v0.9公開說明里關於證明壓縮、依賴圖和邊界可見性的幾段表述，我看過了。
我注意到其中有幾個表述，在機器學習理論領域，也長期以不同形式出現：壓縮、結構可見性、泛化邊界、依賴圖、可驗證表示。
我並不認為這些概念可以被輕易打通。事實上，越相似的詞，越容易製造誤解，類比式的跨界往往是學術研究的陷阱。
但如果未來你有時間，我希望可以和你討論一個更窄的問題：證明結構、壓縮理論與機器學習泛化之間，是否存在某種可形式化的共同接口？
這不是合作邀請，也不是項目邀約。只是一個我想了很久的問題，恰好你在做的事，似乎摸到了一點邊緣。
祝北京一切順利。
周志華】
江臨把郵件讀完，手指停在屏幕上，半天沒動。
周志華教授的眼光很準。
公開出來的第38號節點，只是整個PFR/Marton證明體系里很邊緣的一部分，只涉及了一點點證明結構的壓縮邏輯。
而低熵工坊對外公開的技術材料里，關於狀態機、日誌回放、失敗樣本召回的內容更是少之又少，幾乎只是點到為止。
可周志華還是從這些零散的痕跡里，捕捉到了最核心的那個交點：壓縮。
證明可以壓縮，模型可以壓縮，信息可以壓縮。
如果壓縮的底層邏輯是同構的，那數學證明和機器學習之間，就可能存在一個通用的接口。
這個想法很多人都有過，但大多停留在隨口一提的玄學層面。
把熵、壓縮、泛化、結構幾個詞放在一句話里，誰都會說。
但周教授最難得的地方，是他先否定了這種輕率的跨界。
越相似的詞，越容易製造誤解。
江臨看著這句話，心裡很清楚，周志華看到的只是冰山一角。
他看到的是PFR/Marton里的證明壓縮技術，是低熵工坊狀態機里的失敗路徑回溯。
他不可能知道，這些技術都來源於同一個更底層的框架MPS-Agent α。
那個能跨領域重構問題、自動壓縮依賴、遞歸驗證邊界的智能體框架。
「誰的郵件啊？」 許志遠見他半天沒動靜，忍不住湊過來問了一句。
「周志華教授。」 江臨說。
唰的一下，車裡三個人的目光都集中了過來。
許志遠直接坐直了：「周，周志華教授，寫《機器學習》西瓜書的那個？」
「嗯。」 江臨點頭。
林一舟的表情變得有點微妙。
他當然知道周志華是什麼分量。
別說是他們這些新生，就算是清華計算機系的年輕老師，能和周志華對上話都不容易。
結果江臨剛來北京，就收到了周志華的主動郵件。
「我現在真覺得，我們今晚這個觀星隊伍配置有點離譜。」 許志遠靠回座椅上，喃喃自語，「本來以為就是幾個新生出來散心，結果裡面藏著個能讓周志華主動發郵件的大佬。」
顧明澈沒有笑。他看著江臨，問了一個最關鍵的問題：「聊的什麼？機器學習？」
「他問我，證明結構、壓縮理論和機器學習泛化之間，有沒有可形式化的共同接口。」 江臨說。
林一舟吸了口氣：「這個問題太大了，真要是能打通，整個領域都要變天。」
「是很大。」 江臨說，「所以他也說了，只是個問題，不是項目。」
他低頭點開回復框，開始寫回信。手指在屏幕上敲得很慢，每一個詞都斟酌過。
【周老師：
感謝來信。
我同意您的判斷。證明結構、壓縮理論與機器學習泛化之間，不應被類比式地強行打通。所有缺乏形式化定義的跨界融合，最終都會淪為文字遊戲。
如果真的存在值得討論的接口，它首先應當是可定義、可驗證、可失敗的。必須有明確的數學邊界，有可復現的實驗路徑，有清晰的證偽標準。
九月開學後，如時間允許，我很願意就這個窄問題和您做一次討論。
江臨】
檢查了一遍，確認沒有問題，他按下了發送鍵。
車裡安靜了好一會兒。
許志遠看著窗外飛速掠過的樹影，忽然低聲說：「我忽然覺得，我們剛才在那兒義憤填膺罵晶片制裁，罵得像小學生似的。」
「不一樣。」 林一舟搖了搖頭。
「哪裡不一樣？」
「情緒是起點，不能停在情緒上。」 林一舟頓了頓，看向江臨，「他說的先把自己那一層做好，就是這個意思。」
許志遠愣了一下，反應過來：「也是，光罵有什麼用？罵完了，該卡脖子還是卡脖子，那我們到底能做什麼？」
他撓了撓頭，有點茫然。
這句話問出來，他自己都有點不好意思。
這個問題太大了。
大到不該是四個還沒報到的十八歲學生討論的話題。
大到國家層面、無數行業頂尖人才都在日夜攻關。他們幾個剛高中畢業的孩子，談這個未免太自不量力。
可車窗外是沉沉的夜色，車裡是四個即將踏入中國最高學府的年輕人。
現實已經把問題推到了他們面前，躲是躲不掉的。
江臨沒有說什麼熱血沸騰的話。
他從不給人灌雞湯。
他只是說：「先把自己的那一層做好。」
「哪一層？」 林一舟問。
「你做系統，就先弄清楚系統層為什麼會被卡，卡在哪裡，底層邏輯是什麼。」 江臨看向他，目光平靜，「許志遠做信息產業，就先弄清楚每一層的依賴關係，哪些是可替代的，哪些是硬骨頭。」
他又看向顧明澈：「你做數學，就先弄清楚抽象結構怎麼被真正驗證，形式化證明的邊界在哪裡，哪些工具是我們自己能掌控的。」
最後，他收回目光，看向窗外漆黑的原野。
「我也一樣，先把自己手裡的事做好。」
「那你是哪一層？」 許志遠忍不住問。
江臨沉默了幾秒。
他做的事，橫跨了數學、計算機、工程，甚至更多領域。
PFR/Marton 是純數學證明，低熵工坊是工業軟體，MPS-Agent α是更底層的智能框架。
他好像在每一層都踩了一腳，又好像哪一層都不完全屬於。
「現在還說不清。」 他最終說。
車繼續往前開，高速路上的車越來越少。
遠處的山影漸漸清晰起來，黑黢黢地臥在夜色里。
晚上十點二十六分，導航提示前方下高速，抵達不老屯鎮。
司機師傅放慢車速，沿著鄉間公路往裡開。
路兩邊都是玉米地，風吹過葉子嘩啦啦地響。
路燈早就沒有了，只有車燈照亮前面一小段路，四周都是濃得化不開的黑。
十分鐘後，車停在了一家民宿的院子外面。
院門是木柵欄做的，裡面亮著暖黃色的燈。
老闆聽見動靜，披著外套從屋裡走出來，四十多歲的年紀，皮膚黝黑，一看就是常年在戶外待著的人。
「預約觀星的是吧？」 老闆嗓門洪亮，「跟我來，露台在後面，開闊地也收拾好了。先跟你們說清楚啊，不許往觀測站那邊跑，人家有規定，不讓隨便進。拍照架三腳架都行，別拿強光手電亂晃，影響觀測。」
「知道知道。」 許志遠連忙點頭，「我們就看看，不亂跑。」
老闆拿著個小手電，在前面帶路。
穿過種著蔬菜的小院，再往後走幾十米，就是一片平整的草地。
草地邊緣擺著幾張摺疊桌椅，應該是給觀星的客人準備的。
而草地的盡頭，遠處的山腳下，幾座巨大的輪廓靜靜矗立著。
那就是射電望遠鏡。
最大的那座五十米口徑的拋物面天線，像一隻鋼鐵巨眼，朝著夜空微微仰起。
反射面在暗夜裡泛著冷灰色的啞光，天線的骨架在天幕下勾出硬朗的線條。
它們沒有亮燈，也沒有聲音，就那樣沉默地站在那裡，仿佛已經保持這個仰望的姿勢，站了千百萬年。
風從田野上吹過來，帶著玉米葉和泥土的氣息，穿過天線的骨架，發出極輕的嗡鳴。
像宇宙深處傳來的迴響。
「哇，比照片上看著大多了。」 許志遠仰著頭，下意識地放低了聲音。
林一舟也抬頭看著那些巨大的天線，眼神裡帶著驚嘆。
他只在課本和紀錄片裡見過射電望遠鏡，親眼看到的震撼感，是屏幕完全比不了的。
顧明澈站在原地，沒說話。
清冷的眉眼在夜色里柔和了幾分，目光落在那些天線上，不知道在想什麼。
江臨站在人群最後面，若有所思。
「這邊坐吧。」 老闆把摺疊椅擺好，又抱過來幾瓶礦泉水，「夜裡蚊子多，我給你們拿瓶驅蚊水。想看就慢慢看，困了就回屋裡歇會兒，走的時候叫我就行。」
「謝謝老闆。」 許志遠接過驅蚊水，給每個人都遞了過去。
四個人在草地上坐下，椅子排成一排，面對著遠處的天線和更遼闊的夜空。
這裡的天空和城裡完全不一樣。
沒有光污染的夜空，是深邃的藏藍色，像一塊洗乾淨的絲絨。
星星密密麻麻地鋪在上面，不是城裡那種稀稀拉拉的幾點，而是一條淡淡的光帶從天際橫跨過去。
那是銀河。
雖然不是最清晰的季節，但也足夠讓看慣了城市夜空的人震撼。
許志遠仰著頭，脖子都酸了，嘴裡念念有詞：「值了，跑兩個小時過來，光看這星空都值了。」
林一舟打開星圖軟體，把屏幕亮度調到最低，指尖劃著名屏幕：「英仙座在東北方向，大概那個位置。現在流量不大，耐心等吧。」
顧明澈沒用軟體。
他只是抬著頭，目光在星空中掃過，準確地找到了英仙座的位置。
對學數學的人來說，記住星座的位置和幾何關係，不是什麼難事。
江臨也抬起頭。
夜空鋪展在他頭頂，廣闊，寧靜，星光溫柔。
沒有廢土裡的暗紅色塵帶，沒有天幕工程墜毀後留下的殘骸軌道，沒有前哨站外風沙里閃爍的異常光譜，沒有警報聲，沒有輻射值提示。
這裡只是2022年，北京郊外的一個夏夜。
一場普通的英仙座流星雨尾聲。
身邊坐著三個同齡的少年，他們對未來充滿期待，對知識充滿渴望，對遠方的星空充滿好奇。
他們談論晶片，談論數學，談論系統，談論那些擋在前面的牆，但眼裡的光沒有滅。
風從耳邊吹過，帶著草木的清香。
遠處的蟲鳴此起彼伏，襯得夜色更加安靜。
許志遠還在興奮地說個不停，說以前在老家看星星的經歷，說熬夜刷題，抬頭看見窗外的星星就覺得不累了。
林一舟偶爾插一句話，吐槽他刷題划水。
顧明澈話少，但也會在他們說偏了的時候，淡淡地糾正一句天文常識。
江臨聽著他們說話，沒怎麼開口。
他心裡很清楚，這樣的平靜有多珍貴。
十一點零七分。
毫無徵兆地，一道極細的白光從東北方向的天空劃了過去。
快得像錯覺。
像有人用最細的針尖，在黑絲絨上輕輕劃了一道線，瞬間就消失了。
「看見了嗎！」 許志遠猛地坐直了身體，聲音壓得很低，卻抑制不住興奮，「剛才那道，是不是流星？」
「是。」 林一舟也看到了，點頭，「英仙座方向，沒錯。」
顧明澈輕聲說：「很短，二等流星吧大概。」
「也太快了吧。」 許志遠激動得差點站起來，「我剛想喊你們，它就沒了，跟閃電似的。」
江臨也看見了。
那道光線在他視網膜上停留了不到一秒鐘。
對普通人來說，這是浪漫，是幸運，是值得許願的瞬間。
對天文愛好者來說，這是地球穿過斯威夫特-塔特爾彗星遺留的塵埃帶時，沙粒大小的彗星碎屑高速闖入大氣層，在壓縮加熱與燒蝕中留下的光跡。
但對江臨來說，流星這兩個字，還有另一層沉重得多的含義。
第七天幕站。
PMCU-17塵埃監測協議。
FDSO-2076A號異常通量報告。
外日球層塵埃譜異常。
日球層邊界壓縮響應。
地月軌道高速微粒削峰窗口。
月背觀測陣列鏈路中斷。
火星拉格朗日點微波中繼失效。
文明火種級資料高維壓縮備份協議啟動。
這些名詞一個接一個地從他腦海里冒出來，冰冷，清晰，帶著廢土世界裡獨有的鐵鏽味和輻射塵氣息。
流星雨。
如果只是這樣的流星雨，那它很美。
一夜過去，不會留下任何痕跡，只會成為人們記憶里的浪漫片段。
可如果尺度變了呢？
如果通量變了呢？
如果粒徑譜變了呢？
如果它不再是一夜的天象，而是一道持續數十年，緩緩穿過太陽系邊緣的塵埃擾動前緣？
如果進入地月空間的不再是幾粒微米級的塵埃，而是整片被太陽系尺度擾動推來的高危粒子環境？
那流星就不再是風景。
是持續不斷的轟擊，是衛星軌道的墳墓，是大氣層頂的灼燒，是地面通訊的噩夢，是所有太空資產的死刑判決書。
暗塵弦。
它不發光，沒有穩定的可見邊界，不是一顆彗星，也不是一片星雲。
只是一道橫亘在星際空間裡的低溫塵埃流，像一根看不見的弦，緩慢地不可阻擋地掃過太陽系。
第二顆流星划過天際。
比第一顆更亮，拖的尾巴也更長一點。
像一根燃燒的火柴，從星空里掉下來，很快就熄滅在了大氣層里。
「我靠，又一顆！」 許志遠低聲罵了一句，隨即又像怕驚擾了星空似的，把聲音壓得更低，「我還以為今晚白跑一趟呢。」
林一舟沒說話，在平板上記了筆什麼。
顧明澈也沒說話，仰頭望著天空，眼神很專注。
四周很靜。
風穿過玉米地的沙沙聲，遠處的蟲鳴聲，還有偶爾遠處公路上傳來的微弱車聲，都成了背景音。
四個十八歲的少年坐在北京郊外的草地上，頭頂是浩瀚星空，身後是沉默的射電天線，等著下一顆流星的出現。
他們剛才聊過清華，聊過晶片，聊過系統，聊過數學，聊過那些橫亘在前路的、看不清形狀的高牆。
可此刻在這片真實的星空下，那些沉重的話題又忽然顯得很輕。
人類在宇宙面前，本來就很輕。
江臨拿出手機，解鎖，點開備忘錄，新建了一條筆記。
指尖在屏幕上緩慢地敲下一行字符。
【Reality_DustFlux_Risk_Notes】
現實塵埃通量風險筆記。
寫完，他關掉屏幕。
遠處的射電天線沉默地指向天空。
夜風從田野上吹過，帶著遠處水庫的微涼。
這一次比前兩顆都亮。
亮度至少接近負三等，短暫壓過了木星。
從輻射點射出，划過整個天頂，在天鵝座尾部留下一道明亮的白金色光跡。
光跡持續了將近兩秒。
在流星觀測中，這已經是極其罕見的長余跡。
余跡的顏色從頭部的白金色過渡到尾部的淡綠色，最後在天鵝座β星附近消散。
許志遠這次沒有叫。
他只是張著嘴，眼睛瞪得很大，像一個看到了世界上最美的東西卻找不到任何詞彙來形容的人。
這一次，江臨看的是它來時的方向。
從斯威夫特-塔特爾彗星在幾千年前留下的塵埃帶，從太陽系外緣的寒冷空間，從一顆周期性回歸內太陽系的彗星的彗尾殘餘物。
但那只是這個時間線的答案。