第149章 新生
八月十五日,六點零二分
酒店遮光簾的縫隙里漏進一線青白的天光,剛好落在枕側。
江臨睜開眼時,意識有半秒的錯位。
鼻尖似乎還殘留著不老屯夜裡的草木氣息,耳邊卻已經是北京早高峰隱約的車流嗡鳴。
他坐起身,指尖按了按眉心。
凌晨兩點才踏進酒店大門,滿打滿算睡了不到四個小時,疲憊是實的,但大腦異常清醒。
天地遼闊,人很渺小,而那些跨越光年而來的信號被眼睛接住的畫面沒有被睡眠衝散,反而像被顯影液浸過,輪廓愈發清晰。
八點整。
手機震動了兩下。
梁知夏的消息準時進來,兩條,條理分明。
【陳芷已經到展館,許曼和陳硯在做展示機通電前檢查。】
【組委會宣傳組第三次過來,要求確認宣傳文案,想讓我們把表述往商用落地上靠。】
江臨站在洗手台前,冷水撲在臉上,涼意順著毛孔往裡鑽。
他用毛巾擦了擦臉,單手回消息。
【不改,九點到。】
回復發出去,他抬眼看向鏡子裡的自己。
眼底有淡青,但眼神很平靜。
鏡子裡的人和昨晚站在射電天線底下仰望星空的人,是同一個。
一個抬頭看宇宙邊界,一個低頭守工程邊界。
八點五十七分,北京亦創國際會展中心西三門。
江臨推門進去的時候,展館裡正處在一種爆發前的嘈雜里。
距離世界機器人大會正式開幕還有三天,所有展位都在搶最後的布展時間。
叉車的嗡鳴、電鑽的聲響、LED屏調試的音樂聲混在一起,撞在挑高十幾米的穹頂上,又亂糟糟地彈回來。
主幹道兩側的大廠展位已經初具規模,光鮮得刺眼。
某頭部機器人公司掛起了三層樓高的巨幕,循環播放著人形機器人奔跑跳躍的宣傳片,燈光打得亮如白晝。
隔壁的工業機械臂展台搭起了透明玻璃房,工程師正在調試焊接演示,火花一閃一閃。
穿著統一西裝的銷售團隊三三兩兩地站著,手裡捧著平板,臉上掛著標準的笑。
江臨目不斜視,沿著通道往產業對接區走。
越往裡走,展位越樸素,人流越少。
低熵工坊的展位在最側面的角落裡,背對著主通道,十二平米左右,不仔細找很容易錯過。
沒有巨幕,沒有燈效,沒有迎賓機器人。
一塊啞光灰的背景板,一張摺疊接待桌,一個一米二見方的封閉地形箱,靜靜趴著提前運過來的G-01C三號展示機。
旁邊立著兩隻帶密碼鎖的黑色備件箱,還有一台二十寸的小屏幕,用來做狀態機可視化。
和周圍的光鮮熱鬧比起來,這裡像個被遺忘的工具間。
梁知夏站在背景板前,深灰色西裝,頭髮低低挽在腦後,手裡捏著平板。
展館裡人來人往,噪聲幾乎要把人淹沒,她站在那裡,卻像自帶一層靜音罩,表情和在江城公司會議室里沒半點區別。
她身邊站著個穿組委會工作牌的中年男人,腆著肚子,臉上帶著點不耐煩的笑,正是宣傳組的劉組長。
「劉組長,這是我們公司的老闆。」梁知夏把江臨介紹出去。
劉組長像看到了主心骨,又像看到了難啃的骨頭:「江總你可來了,梁總這邊太堅持不必要的原則,我們都聊三輪了。」
梁知夏把平板遞過來,指尖點在屏幕上:「這是他們最新的修改建議。」
江臨低頭掃了一眼。
他們定稿的原句是——
【面向礦山、巡檢、救援前置偵察等非結構化場景的早期工程驗證平台】
組委會的建議稿用紅色標了出來——
【適用於礦山救援、複雜巡檢等多場景的智慧機器人平台】
早期驗證 四個字被吃得一乾二淨,用詞全往 成熟商用、通用智能 上靠,輕飄飄的,像市面上所有創業公司的宣傳話術。
「不行。」 江臨硬邦邦地說了兩個字,語氣沒有商量的餘地。
劉組長愣了一下,隨即苦口婆心地勸:「江總,我跟你說句實在的。今年參展的一百多家企業,哪家不寫智能?隔壁那家做巡檢機器人的,技術還不如你們穩,都敢寫全場景自適應智能巡檢系統。你寫個早期工程驗證平台,投資人看了扭頭就走,媒體也不會停步,這不白來一趟嗎?展會展會,不就是拼傳播、拼曝光嗎?」
「非常抱歉,但傳播其實不是我們參加展會的第一目標。」江臨說。
工作人員噎了一下。
他做了五屆展會宣傳對接,見過的創業公司沒有一千也有八百。
哪家不是恨不能把 世界領先、行業第一 焊在背景板上?
哪家不是把實驗室原型機吹成下一代產業革命入口?
這家倒好,主動往後退,往保守了說,生怕別人高看他們一眼。
「可,可智慧機器人是行業通用說法啊,大家都這麼寫。」他還想爭取。
江臨側過頭,看向旁邊的G-01C。
三號機六條腿收攏在身體兩側,處於鎖止狀態,外殼是啞光黑的工程塑料,連logo都只印了很小一個。
它沒有情緒,沒有意識,不會因為展板上多寫了智能兩個字,就突然擁有通用決策能力。
「改成狀態機響應平台。」他收回視線,語氣平淡卻堅定,「我們展示的是狀態機邏輯,不是智能。」
劉組長愣了足足三秒。
往回壓宣傳口徑的公司他見過,但壓到連智能兩個字都主動摘掉的,他是第一次見。
這哪裡是來參展的,這是來給自己上枷鎖的。
梁知夏已經在平板上快速修改,指尖起落乾脆利落。
最終定稿的背景板文字,比原稿還多了一行小號備註。
1、江城低熵智能裝備有限公司。
2、非周期六足移動平台·狀態機響應演示。
3、足端異常識別|降速|回撤|重切入。
4、面向礦山、巡檢、救援前置偵察等非結構化場景的早期工程驗證平台。
5、本次展示內容為封閉地形箱內狀態機響應演示,不構成生產場景適用承諾。
那些小字像一道冷冰冰的閘,直接把所有過度想像過度解讀過度期待攔在了外面。
劉組長看著屏幕,表情複雜得像吞了顆酸棗:「江總,這樣真的容易勸退觀眾。人家來逛展,就是看個新鮮,你先給人澆一盆冷水。」
梁知夏抬眼,目光平靜:「我們公司講究個實事求是。」
她的聲音不大,但落在旁邊低頭核對清單的陳芷耳朵里,像有根弦輕輕響了一聲。
「展示機入場資料齊了。」陳芷把最後一頁表格遞過去。
梁知夏接住,快速掃過:「鋰電池運輸說明?」
「在這裡,UN 編號和防爆包裝證明都附了。」
「設備價值確認函?」
「按物料成本加研發攤銷核算的,場館保險那邊已經核對過。」
「現場用電回執?」
「早上剛找場館工程部補簽的,額定功率、接地保護、漏電保護都標清楚了,不會跳閘。」
陳芷從文件夾里翻出一頁,指尖按在簽字欄上。
「另外,透明防護罩、實體急停按鈕、滅火毯和鋰電池隔離箱也已經按場館要求備案,急停開關編號貼在演示台右側,陳硯和許曼各持一隻無線斷電遙控。」
梁知夏點頭,把所有文件按順序理好,放進文件袋裡。
十點二十分。
「通電。」
江臨話音落下,陳硯按下了展示機的電源鍵。
輕微的咔噠一聲,機身指示燈亮起淡藍色的光。
G-01C依次進行自檢,六足關節處傳來極輕的馬達運轉聲,隨即被周圍的嘈雜蓋得幾乎聽不見。
旁邊的二十寸小屏幕同步亮起。
陳硯接入了狀態機可視化界面。
這是專門為展會做的脫敏版本,前後改了三版。
屏幕上只有橫向時間軸、六條機械足的接觸狀態條帶、風險等級色塊,還有底部滾動的脫敏響應日誌。
沒有底層控制鏈,沒有參數生成器,沒有核心算法日誌,連恆泰礦山的場景數據痕跡都擦得一乾二淨。
「風險閾值只顯示等級,不顯示具體數值。」陳硯盯著屏幕,逐條核對,「觸發條件只顯示類型,不顯示組合權重。足端接觸狀態用圖標顯示,不輸出原始壓力波形。回撤動作只打時間戳,不顯示控制指令序列。」
他頓了頓,補充道:「所有日誌都是二級脫敏後的,反推不出核心邏輯。」
「可以。」江臨說。
陳硯心裡鬆了口氣。
許曼蹲在地形箱旁邊,戴著防滑手套,正用碎石重新鋪設坡面。
她把碎石塊按不同粒徑碼好,又在坡中段壓了幾塊模擬濕滑區域的橡膠墊。
「坡度最高調到十八度。」她站起身,拍了拍手上的灰,「比恆泰那次三十七度碎石坡保守太多了,相當於散步難度。」
「展會不是極限測試場。」江臨看著地形箱,「不在這兒炫技。」
「我知道。」許曼用腳輕輕碰了碰地形箱邊緣,「就是覺得十八度看著太溫和了,路過的人掃一眼,估計覺得這機器人走路慢吞吞的,沒什麼厲害的。」
「讓他們覺得沒什麼也可以。」
江臨的目光落在G-01C身上。
「這次展示的重點,不是它能過多難的坡。是它在不確定的接觸條件下,怎麼不出錯地走下來。」
「明白。」許曼點點頭,蹲下身,把一塊原本墊高的石頭拿了出來。
演示開始。
G-01C啟動行走模式,六條機械足依次抬起、落下、支撐、切換重心。速度很慢,一步一步,穩得像在丈量地面。
旁邊有兩個布展的工人抬著架子路過,掃了一眼,沒停下腳步,繼續聊著晚上去哪吃飯。
不遠處的大廠展台突然爆發出一陣掌聲,似乎是人形機器人完成了一段轉身揮手和動態平衡展示。
和那邊的炸裂效果比起來,這邊的六足機器人走路,平淡得像白開水。
但陳硯盯著屏幕,神情專注得像在看火箭發射。
第一段平整碎石路面,通過。
第二段低矮障礙,通過。
第三段,進入模擬濕滑區域。
左中足落下的瞬間,接觸狀態條帶猛地跳了一下。
模擬濕滑面的摩擦力低於預期,足端出現了零點三秒的滑動。
風險等級瞬間從綠色跳到黃色。
機器沒有繼續往前送重心。
幾乎是同一時刻,行進速度驟降,整體重心向後回調。
左中足立刻釋放支撐力,順著滑動方向回撤了半步,足尖輕輕點了兩下,重新尋找穩定接觸點。
確認抓地力恢復,風險等級落回綠色,它才繼續向前切入。
整個過程不到兩秒。
沒有摔倒,沒有顛簸,甚至連姿態都沒有太大變化。
如果不是盯著屏幕看,路過的人根本察覺不到剛才發生了一次異常識別,一次風險決策和一次回撤修正。
但江臨看著這一幕,眼神比看到任何高速特技都認真。
工程從來不是證明機器有多勇敢。
是證明機器知道,什麼時候不該勇敢。
十一點四十分,兩輪低速演示完成,零失控,零停機,零人工接管。
展板文字鎖定,組委會備案完成,現場用電回執歸檔,狀態機界面脫敏確認。所有事項列在一張A4紙上,每一項後面都打了勾。
梁知夏把整理好的清單遞給江臨:「下午我留在這裡盯最終布置,陳芷處理後續材料歸檔,許曼和陳硯守設備,每兩小時做一次待機巡檢。」
「三家行業媒體遞了採訪申請,還有兩個科技類自媒體想做現場直播。」
「拒絕直播。」
「已經拒了,理由是設備處於驗證期,不支持公開直播演示。」
「採訪只談公開參數和狀態機邏輯。」
「我跟他們統一口徑,技術細節不延伸,不做未來承諾。」
「不要提恆泰的灰度測試。」
「只說低熵工坊正在進行多場景封閉驗證,不提具體場地、測試指標和合作方。」 梁知夏接得很順,顯然早就想好了。
江臨點頭。
梁知夏停頓了一秒,又說:「資本那邊也有消息。紅圖、遠川、啟明的合伙人都在北京,應該是借大會順路,想約單獨見面聊融資。紅圖的張總還私下找了我,說可以給 pre-A 輪一個很好的估值。」
「不單獨約。」
「我也是這麼回的。」 梁知夏嘴角微不可察地揚了一下,「我說我們只參展,不安排一對一融資對接。想了解可以自己來展位看,統一接待。」
「展會不是融資路演。」
「知道。」
「他們如果自己過來看,就當普通觀眾接待。」
「明白。」
對話簡短,節奏飛快,沒有一句廢話。
旁邊的陳芷聽著,忽然覺得很奇妙。在江城的時候,她總覺得梁知夏是理性到近乎冷淡的人,江臨是話很少的技術宅。可這兩個人碰在一起,連確認事項都像兩個精密齒輪咬合,不用多說半句,彼此都知道對方的底線在哪裡。
他們要的從來不是一時的熱度和估值,是走得穩、走得遠。
她低頭繼續整理文件,眼角餘光瞥見主通道那邊,有個穿深灰色襯衫的男人站了一會兒。
那人戴黑框眼鏡,手裡沒拿任何布展工具,也沒掛組委會工作牌,對著他們的展板拍了張照,又對著展示機拍了一張,低頭在手機上敲了幾個字,轉身就走了。
不像路過的觀眾,也不像同行的工程師。
陳芷皺了皺眉,想跟江臨說一聲,又覺得可能只是個提前探館的參會者,便沒開口,只是在心裡多留了個心眼。
十二點十五分,江臨離開展館。
推開玻璃門的瞬間,正午的陽光潑下來,刺得人下意識眯起眼。
展館外的廣場上,世界機器人大會的巨型宣傳牌已經立了起來,智能賦能未來幾個大字在陽光下閃閃發光。
遠處陸續有參會者拖著行李箱走來,媒體的轉播車停在廣場側邊,工人在給戶外指示牌做最後的加固。
幾天後,這裡會湧進成千上萬的人。
觀眾、媒體、投資人、產業方、同行、競爭對手,帶著各種各樣的目的而來。
他們會看見低熵工坊的展位,看見G-01C走路,看見背景板上的字。
他們會有人覺得這機器厲害,有人覺得平平無奇,有人會讀懂那行小字里的克制,也有人會覺得這家公司故弄玄虛。
期待會來,誤解也會來。
公開本身不是壞事。
但不可控的公開,會毀掉一項還在生長的技術。
所以第一步公開,必須足夠窄。
窄到每一個詞,都能承擔對應的責任。
窄到每一個演示動作,都有完整的日誌可以回溯。
窄到所有觀眾,只能看見他們該看見的部分。
低熵工坊還太年輕,G-01也還太年輕。
它們需要走進世界裡,但不能被世界的喧囂過早地吞掉。
江臨收回目光,轉身走向地鐵站。
背影很快融進了正午的人流里。
回到酒店,江臨簡單吃了份外賣盒飯,打開筆記本電腦。
左側屏幕打開終端,黑色背景上白色字符滾動。
PFR/Marton v1.0 流通包第二輪冷啟動校驗正在運行。
右側屏幕上,是昨晚在車裡臨時新建的文件夾。
MPS-Compiler。
裡面只有一個README文件。
他點開。
第一行是中文,昨晚在不老屯回市區的路上,他看著窗外的夜色說過的話:
【編譯器不是為了追求性能峰值,而是為了讓智能體在不可控硬體環境中保留計算秩序】
第二行是英文。
【MPS-Compiler begins as an agent portability problem, not a performance problem】
江臨指尖落在鍵盤上,繼續往下寫。
初始目標——
1、建立MPS-Agent α核心算子的統一中間表示
2、建立不同硬體後端的代價模型,優先覆蓋通用架構
3、保留任務可中斷、可遷移、可回滾的執行結構
4、優先保證失效條件可見,而非追求局部性能最優
5、所有現實數據輸入必須經過A/B/C/D四級邊界分類
打到第五條的時候,他想起昨晚,想到如果一個運行時系統,連自己不該讀什麼不該碰什麼都識別不了,那它遲早會犯下比算錯了更嚴重的錯誤。
於是在文檔最底部,又加了一行。
6、硬體後端不可假定穩定、開放、可獲得。
晶片制裁不是新聞標題,不是論壇里吵來吵去的話題,也不是幾個年輕人坐在車裡忿忿不平的談資。
它會落到編譯器的中間表示層上,落到運行時的資源調度邏輯上,落到算子抽象層的每一次適配里。
更會落到每一次模型部署、每一次數據搬運、每一次替換硬體時,那些看不見的隱性成本里。
如果未來的MPS-Agent α只能在最理想的頂配硬體上跑,只能依賴穩定開放的供應鏈,那它根本不配叫工程系統。
那只會是個實驗室玩具。
江臨盯著那行字看了兩秒,按下保存。
「滴——」
Lean校驗窗口跳出綠色的結果提示。
第二輪冷啟動校驗:通過。
零錯誤,零警告。
江臨看著那抹綠色,臉上沒什麼表情。
第二輪通過,只說明v1.0流通包的核心邏輯已經穩定,接近可以發出的狀態。
但還不能發。
正式受控流通前,還需要最後一輪只讀鏡像校驗、完整哈希記錄生成,以及所有附錄引用的一致性檢查。
越大的東西,越不能在剛剛轉綠的時候就急著交出去。
多冷卻一輪,就多一層保險。
他打開日程表。
夜色深沉,遠處的城市燈火連成一片。
江臨沒有出門,晚飯叫了一份清淡的盒飯,吃完就一直坐在桌前。
他在逐條核對PFR/Marton流通包的附錄引用,確保每一篇參考文獻的標註都準確無誤,沒有遺漏,也沒有過度引申。
第三次校驗的前置準備全部完成。
哈希記錄腳本預跑通過,校驗和一致,所有附屬文件的目錄結構全部核對無誤。
……
翌日,16日。
當酒店窗簾拉開時,晨光鋪滿半張書桌。
江臨已經收拾好東西,準備出門。
背上的雙肩包里裝著14寸主力筆記本、兩塊加密移動硬碟、密封袋裡裝著錄取通知書和身份證、一疊列印好的學術證明材料。
最底層是一個帶物理撥碼鎖的黑色硬碟盒。
裡面存著PFR/Marton全量版本和MPS-Compiler的初始草稿。
這是他目前所有技術積累里最核心的東西,走到哪帶到哪,從不離身。
今天他得去一趟清華做新生報到。
他要走的是清華六月底就為他單獨制定,八月初又更新過一版的特殊入校方案。
九點二十六分,清華大學西門。
明天其實才是大一新生的報到日,但今天的校園已經熱鬧得像集市。
到處都是很多選擇提前來熟悉環境的新生和家長。
人聲混著蟬鳴,沸沸揚揚。
江臨沿著校門內側的樹蔭,往旁邊的教工通道走了幾步。
樹下已經站著兩個人,正朝著路口的方向望,顯然已經等了一會兒。
中年男人戴細框眼鏡,穿淺灰色短袖襯衫,褲子熨得筆挺,是求真書院的周明老師,之前和他郵件溝通了好幾次。
旁邊年輕些的女士穿藏青短袖襯衫,別著數學科學中心的工作牌,頭髮紮成馬尾,很乾練,是中心辦公室的趙嵐老師。
看見江臨過來,兩人立刻迎了上來。
周明老師率先伸出手,臉上帶著真切的笑意,語氣里滿是歡迎:「江臨同學你好,我是求真書院的周明,這位是數學中心的趙嵐老師。我們到了十來分鐘了,天熱,怕你找不到地方。」
趙嵐也笑著點頭,伸手想幫他接一下背包:「一路過來熱壞了吧,包里沉不沉,我幫你拿一段?」
「不用不用,我自己來就行,麻煩兩位老師了。」 江臨說。
「不麻煩不麻煩!」 周老師擺著手,「你的情況特殊,書院和學校都很重視,能來我們求真書院,是我們的榮幸啊。」
三個人順著林蔭道往裡走。
梧桐樹的枝葉遮天蔽日,比外面涼快不少。
路上時不時有學生騎著自行車經過,車鈴叮鈴叮鈴地響。
周明邊走邊說:「今天新生多,擠著耽誤時間。我們走這邊近道,直接去求真書院,手續都提前預審完了,今天就是簽個字確認一下,不讓你多跑。」
趙嵐在旁邊補充:「會議室空調提前半小時就開好了,水也備著,進去先歇口氣。」
沒有客套的場面話,卻處處透著周到。
求真書院二樓小會議室。
門一推開,涼意就裹著淡淡的茶香涌了出來。
長桌上整整齊齊擺著一沓文件,封皮印刷規整,旁邊放著兩瓶常溫礦泉水,還有一盤切好的西瓜,顯然是剛準備好的。
「坐,先坐。」 周明拉過主位旁邊的椅子,等江臨坐下了才自己落座,「丘先生本來是要親自過來,只是不巧今早臨時有個國際視頻會推不開,特意叮囑我們一定要接待好。」
他說著把文件往江臨面前推了推,語氣帶著笑意:「你的情況特殊,書院和數學中心前前後後開了三次會,把培養方案捋得特別細。今天咱們一項一項過,有什麼覺得不合適的,你直接提,咱們還能調。」
最先確認的是學籍。
周明翻開最上面一份《2022 級本科生學籍確認表》,指了指關鍵項,語氣鄭重:「學籍按 2022 級普通本科生錄入系統,專業數學與應用數學,培養管理歸口求真書院。」
江臨點頭,接過筆,在確認欄簽上名字。
第二份是《個性化培養檔案說明》。
周老師解釋說:「基礎課程不安排大班修讀,數學分析、高等代數、解析幾何、概率論、組合數學這五門核心基礎課,你可以通過課程組高階考核、專題學術報告、已發表成果審查三種方式完成學分認定,每一項都有對應的評審組和存檔記錄,全部可追溯。」
「公共必修環節按學校規定執行,如果後續有國際學術會議、跨洋審查會議或者企業工程事務衝突,可以提前走備案流程調整時間,書院會統一協調。」
說到這裡,他笑著補了一句。
「我們也知道你手頭的事比較多,制度上能給的彈性,我們都給足。」
學籍與培養檔案手續全部辦結。
趙嵐從文件袋裡拿出一張校園卡,雙手遞過來,笑著說:「卡面跟普通本科生的一模一樣,不顯眼,你平時出門帶著也方便。但權限都提前開好了,求真書院全樓、數學中心門禁、紫荊公寓17號樓的單元門和宿舍門,還有圖書館、食堂通用權限,現在刷就能用。校園網帳號和辦公室有線網口下午統一開通。」
江臨接過卡。
紫白色卡面,印著清華校徽、學號、他的高考報名證件照,和所有本科生的卡面沒有任何區別,普普通通,看不出任何特殊。
可這張普通卡片背後,是一整套為他單獨適配的制度體系。
他拿起卡,對著旁邊的會議室門禁刷了一下。
滴的一聲輕響,門鎖彈開。
真實的接入感,比任何說明都更有分量。
十點四十二分,清華數學科學中心。
灰白色的建築藏在梧桐樹後面,樓里很安靜,走廊鋪著地毯,腳步聲都被吞掉了大半。
偶爾有抱著書的老師走過,和趙嵐點頭打招呼,順便好奇地看江臨一眼。
趙老師帶著江臨上二樓,走到走廊最裡面的一間辦公室門口。
刷卡推門進去,房間有二十來個平方。
一張實木書桌對著窗戶,一把人體工學椅,靠牆立著空的三層書櫃,對面牆是一整塊白板,牆角有部老式固定電話。
窗外是茂密的梧桐,樹影落在桌面上,隨著風輕輕晃。
很樸素,但足夠安靜,足夠私密。
「門禁已經錄你校園卡里了,24小時都能進。」 趙嵐把一串備用鑰匙放在桌上,遞過一張交接單,「網線、電源我們都提前測過了,沒問題。辦公用品我放抽屜里了,白板筆、文件夾、訂書機都有。要是不夠用,或者需要添印表機、文件櫃什麼的,你直接給我發消息,我讓人當天送過來。」
她又補充了網絡的事,語氣很坦誠:「不過有個事特意跟你說一下,涉及未公開的學術材料、敏感項目數據,不建議接入公共網,也不要走雲盤同步。公共網有統一安全審計,但內容防護靠自己把控。」
從數學科學中心出來,趙嵐沒帶江臨往本科生宿舍區走,而是沿著紫荊路往北。
「16、17 號樓是博士和博士後住的樓棟,跟本科生1—13號樓分區管理,清淨很多。」 她邊走邊介紹,「都是獨立單人間,帶套內獨衛,隔音也好。你平時熬夜看論文、開跨洋會議,也不會吵到別人,也方便保管設備和材料。」
她特意補充了一句:「這個是走了特殊住宿審批的,申請理由寫的是跨時區學術交流、未公開審查材料保管、個人計算設備安全和作息管理,宿管中心特批的。」
江臨明白她的顧慮。
這不是優待,是匹配他需求的合理安排,所有安排都要有章可循、有檔可查。
走進17號樓單元門,樓道里安安靜靜。
房間在四樓,402室。
趙嵐刷卡開門,側身讓江臨進去:「我們上午特意讓宿管阿姨通了通風,被褥都是新換的。」
房間面積和辦公室差不多。
單人床、書桌、衣櫃、小型書架,裡面隔出一間獨衛,有淋浴和洗手台。
窗戶對著樓間的綠化帶,關上門,外面的蟬鳴都弱了很多。
書桌上甚至提前放了一盞檯燈和一小包抽紙。
「住宿確認單在這裡。」 趙嵐把單子遞過來,「你看一下,沒問題就簽個字。鑰匙給你兩把,一把隨身帶,一把可以放辦公室備用。宿管阿姨每天打掃公共區域,房間內部自己收拾就行。」
江臨接過單子掃了一眼。
上面清清楚楚印著:紫荊公寓 17 號樓、單人間、套內獨衛、特殊住宿備案、不納入本科生1—13號樓住宿分區管理。
條款清晰,手續正規。
他沒多問,提筆簽了字。
到這一刻,三樣東西全部落定了。
普通本科新生來清華,第一天最先擁有的,是宿舍里的一張床位,和教室里的一個座位。
而江臨入校的第一天,最先被確認的是三個空間。
求真書院裡,一份單獨建檔、可追溯的培養學籍。
數學科學中心裡,一間能鎖門、可離線的研究辦公室。
紫荊公寓裡,一間安靜、獨立、能保管設備的單人宿舍。
學籍、研究、生活,三條線被清華提前梳理得清清楚楚,全部納入正式制度。
至此,全部流程走完。
周明老師還有會,先回了書院,臨走前特意跟江臨說:「平時學習上、生活上有任何問題,直接找我或者找趙老師都行,別客氣。」
趙嵐也留了自己的手機號和微信:「辦公室、宿舍有任何事,隨時打我電話。我下午激活校園網了告訴你。」
兩人道別後離開,江臨沒留在宿舍。
他的行李都還在酒店,這裡現在只是一間空屋子。
一點二十五分,吃午飯的時候,手機震動了一下。
梁知夏發來消息。
【G-01C三號機兩次待機巡檢正常。展板下午送印,按我們定的最終版。】
【紅圖資本又聯繫了一次,想約明天下午單獨見面,我按之前的口徑回了:展會期間不安排融資對接。】
【上午有兩家同行公司的人過來打探,繞著展位看了半天,陳芷按公開口徑回了。】
江臨指尖點字,快速回復。
【按既定口徑,採訪只談公開內容,拒絕直播。】
下午三點二十七分,酒店房間。
江臨打開主力工作電腦,啟動PFR/Marton v1.0流通包的最後一輪只讀鏡像校驗。
黑色的終端窗口裡,白色字符一行行滾動,文件逐項核驗:
- 主論文:通過
- 殘餘譜攤銷引理集:通過
- Marton橋構造與切換證明:通過
- 驗證指南與審查說明:通過
- 47節點形式化藍圖:通過
- 第38號邊界見證附錄:通過
- Sanders/Voss 2014黑板筆記(待定版):通過
- README與版本說明:通過
四十分鐘後,校驗窗口跳出綠色的PASS。
哈希記錄腳本自動運行,生成唯一版本指紋,所有文件批量設為只讀,完整鏡像正式封存。
版本號:PFR/Marton v1.0-20220816。
再也不會有臨時的修改,再也不會有半夜的調整。
它從江臨一個人的工作,變成了一份有唯一編號、有哈希錨定的正式學術文本。
江臨打開寫了很久的郵件草稿。
收件人列表很長,每一個名字都分量十足:韓硯山、丁劍、丘成桐、陶哲軒、Tom Sanders、Heinrich Voss、Freddie Manners、Ben Green,還有國內幾位已經進入閉門審查鏈的數學家。
郵件標題很簡單:PFR/Marton v1.0 circulation package。
正文是中英雙語,寫得克制正式,沒有任何情緒化的表達。
……
各位好:
本郵件附版本說明、哈希指紋與審查導航README。PFR/Marton v1.0受控流通包已封存於只讀鏡像倉庫,訪問權限將通過單獨邀請發放。
附件中的47節點形式化藍圖為審查導航圖,不替代主手稿證明。第38號節點已納入回應Voss邊界可見性測試的第三層重型見證路線,相關說明見附錄B。
明日下午兩點半,清華大學數學科學中心將舉行閉門技術說明會,同步進行核心節點校準。
本次說明會以國內審查組現場校準為主,海外審查人不要求同步參會,會議紀要、節點索引和問題清單將在會後進入受控倉庫。
江臨
酒店遮光簾的縫隙里漏進一線青白的天光,剛好落在枕側。
江臨睜開眼時,意識有半秒的錯位。
鼻尖似乎還殘留著不老屯夜裡的草木氣息,耳邊卻已經是北京早高峰隱約的車流嗡鳴。
他坐起身,指尖按了按眉心。
凌晨兩點才踏進酒店大門,滿打滿算睡了不到四個小時,疲憊是實的,但大腦異常清醒。
天地遼闊,人很渺小,而那些跨越光年而來的信號被眼睛接住的畫面沒有被睡眠衝散,反而像被顯影液浸過,輪廓愈發清晰。
八點整。
手機震動了兩下。
梁知夏的消息準時進來,兩條,條理分明。
【陳芷已經到展館,許曼和陳硯在做展示機通電前檢查。】
【組委會宣傳組第三次過來,要求確認宣傳文案,想讓我們把表述往商用落地上靠。】
江臨站在洗手台前,冷水撲在臉上,涼意順著毛孔往裡鑽。
他用毛巾擦了擦臉,單手回消息。
【不改,九點到。】
回復發出去,他抬眼看向鏡子裡的自己。
眼底有淡青,但眼神很平靜。
鏡子裡的人和昨晚站在射電天線底下仰望星空的人,是同一個。
一個抬頭看宇宙邊界,一個低頭守工程邊界。
八點五十七分,北京亦創國際會展中心西三門。
江臨推門進去的時候,展館裡正處在一種爆發前的嘈雜里。
距離世界機器人大會正式開幕還有三天,所有展位都在搶最後的布展時間。
叉車的嗡鳴、電鑽的聲響、LED屏調試的音樂聲混在一起,撞在挑高十幾米的穹頂上,又亂糟糟地彈回來。
主幹道兩側的大廠展位已經初具規模,光鮮得刺眼。
某頭部機器人公司掛起了三層樓高的巨幕,循環播放著人形機器人奔跑跳躍的宣傳片,燈光打得亮如白晝。
隔壁的工業機械臂展台搭起了透明玻璃房,工程師正在調試焊接演示,火花一閃一閃。
穿著統一西裝的銷售團隊三三兩兩地站著,手裡捧著平板,臉上掛著標準的笑。
江臨目不斜視,沿著通道往產業對接區走。
越往裡走,展位越樸素,人流越少。
低熵工坊的展位在最側面的角落裡,背對著主通道,十二平米左右,不仔細找很容易錯過。
沒有巨幕,沒有燈效,沒有迎賓機器人。
一塊啞光灰的背景板,一張摺疊接待桌,一個一米二見方的封閉地形箱,靜靜趴著提前運過來的G-01C三號展示機。
旁邊立著兩隻帶密碼鎖的黑色備件箱,還有一台二十寸的小屏幕,用來做狀態機可視化。
和周圍的光鮮熱鬧比起來,這裡像個被遺忘的工具間。
梁知夏站在背景板前,深灰色西裝,頭髮低低挽在腦後,手裡捏著平板。
展館裡人來人往,噪聲幾乎要把人淹沒,她站在那裡,卻像自帶一層靜音罩,表情和在江城公司會議室里沒半點區別。
她身邊站著個穿組委會工作牌的中年男人,腆著肚子,臉上帶著點不耐煩的笑,正是宣傳組的劉組長。
「劉組長,這是我們公司的老闆。」梁知夏把江臨介紹出去。
劉組長像看到了主心骨,又像看到了難啃的骨頭:「江總你可來了,梁總這邊太堅持不必要的原則,我們都聊三輪了。」
梁知夏把平板遞過來,指尖點在屏幕上:「這是他們最新的修改建議。」
江臨低頭掃了一眼。
他們定稿的原句是——
【面向礦山、巡檢、救援前置偵察等非結構化場景的早期工程驗證平台】
組委會的建議稿用紅色標了出來——
【適用於礦山救援、複雜巡檢等多場景的智慧機器人平台】
早期驗證 四個字被吃得一乾二淨,用詞全往 成熟商用、通用智能 上靠,輕飄飄的,像市面上所有創業公司的宣傳話術。
「不行。」 江臨硬邦邦地說了兩個字,語氣沒有商量的餘地。
劉組長愣了一下,隨即苦口婆心地勸:「江總,我跟你說句實在的。今年參展的一百多家企業,哪家不寫智能?隔壁那家做巡檢機器人的,技術還不如你們穩,都敢寫全場景自適應智能巡檢系統。你寫個早期工程驗證平台,投資人看了扭頭就走,媒體也不會停步,這不白來一趟嗎?展會展會,不就是拼傳播、拼曝光嗎?」
「非常抱歉,但傳播其實不是我們參加展會的第一目標。」江臨說。
工作人員噎了一下。
他做了五屆展會宣傳對接,見過的創業公司沒有一千也有八百。
哪家不是恨不能把 世界領先、行業第一 焊在背景板上?
哪家不是把實驗室原型機吹成下一代產業革命入口?
這家倒好,主動往後退,往保守了說,生怕別人高看他們一眼。
「可,可智慧機器人是行業通用說法啊,大家都這麼寫。」他還想爭取。
江臨側過頭,看向旁邊的G-01C。
三號機六條腿收攏在身體兩側,處於鎖止狀態,外殼是啞光黑的工程塑料,連logo都只印了很小一個。
它沒有情緒,沒有意識,不會因為展板上多寫了智能兩個字,就突然擁有通用決策能力。
「改成狀態機響應平台。」他收回視線,語氣平淡卻堅定,「我們展示的是狀態機邏輯,不是智能。」
劉組長愣了足足三秒。
往回壓宣傳口徑的公司他見過,但壓到連智能兩個字都主動摘掉的,他是第一次見。
這哪裡是來參展的,這是來給自己上枷鎖的。
梁知夏已經在平板上快速修改,指尖起落乾脆利落。
最終定稿的背景板文字,比原稿還多了一行小號備註。
1、江城低熵智能裝備有限公司。
2、非周期六足移動平台·狀態機響應演示。
3、足端異常識別|降速|回撤|重切入。
4、面向礦山、巡檢、救援前置偵察等非結構化場景的早期工程驗證平台。
5、本次展示內容為封閉地形箱內狀態機響應演示,不構成生產場景適用承諾。
那些小字像一道冷冰冰的閘,直接把所有過度想像過度解讀過度期待攔在了外面。
劉組長看著屏幕,表情複雜得像吞了顆酸棗:「江總,這樣真的容易勸退觀眾。人家來逛展,就是看個新鮮,你先給人澆一盆冷水。」
梁知夏抬眼,目光平靜:「我們公司講究個實事求是。」
她的聲音不大,但落在旁邊低頭核對清單的陳芷耳朵里,像有根弦輕輕響了一聲。
「展示機入場資料齊了。」陳芷把最後一頁表格遞過去。
梁知夏接住,快速掃過:「鋰電池運輸說明?」
「在這裡,UN 編號和防爆包裝證明都附了。」
「設備價值確認函?」
「按物料成本加研發攤銷核算的,場館保險那邊已經核對過。」
「現場用電回執?」
「早上剛找場館工程部補簽的,額定功率、接地保護、漏電保護都標清楚了,不會跳閘。」
陳芷從文件夾里翻出一頁,指尖按在簽字欄上。
「另外,透明防護罩、實體急停按鈕、滅火毯和鋰電池隔離箱也已經按場館要求備案,急停開關編號貼在演示台右側,陳硯和許曼各持一隻無線斷電遙控。」
梁知夏點頭,把所有文件按順序理好,放進文件袋裡。
十點二十分。
「通電。」
江臨話音落下,陳硯按下了展示機的電源鍵。
輕微的咔噠一聲,機身指示燈亮起淡藍色的光。
G-01C依次進行自檢,六足關節處傳來極輕的馬達運轉聲,隨即被周圍的嘈雜蓋得幾乎聽不見。
旁邊的二十寸小屏幕同步亮起。
陳硯接入了狀態機可視化界面。
這是專門為展會做的脫敏版本,前後改了三版。
屏幕上只有橫向時間軸、六條機械足的接觸狀態條帶、風險等級色塊,還有底部滾動的脫敏響應日誌。
沒有底層控制鏈,沒有參數生成器,沒有核心算法日誌,連恆泰礦山的場景數據痕跡都擦得一乾二淨。
「風險閾值只顯示等級,不顯示具體數值。」陳硯盯著屏幕,逐條核對,「觸發條件只顯示類型,不顯示組合權重。足端接觸狀態用圖標顯示,不輸出原始壓力波形。回撤動作只打時間戳,不顯示控制指令序列。」
他頓了頓,補充道:「所有日誌都是二級脫敏後的,反推不出核心邏輯。」
「可以。」江臨說。
陳硯心裡鬆了口氣。
許曼蹲在地形箱旁邊,戴著防滑手套,正用碎石重新鋪設坡面。
她把碎石塊按不同粒徑碼好,又在坡中段壓了幾塊模擬濕滑區域的橡膠墊。
「坡度最高調到十八度。」她站起身,拍了拍手上的灰,「比恆泰那次三十七度碎石坡保守太多了,相當於散步難度。」
「展會不是極限測試場。」江臨看著地形箱,「不在這兒炫技。」
「我知道。」許曼用腳輕輕碰了碰地形箱邊緣,「就是覺得十八度看著太溫和了,路過的人掃一眼,估計覺得這機器人走路慢吞吞的,沒什麼厲害的。」
「讓他們覺得沒什麼也可以。」
江臨的目光落在G-01C身上。
「這次展示的重點,不是它能過多難的坡。是它在不確定的接觸條件下,怎麼不出錯地走下來。」
「明白。」許曼點點頭,蹲下身,把一塊原本墊高的石頭拿了出來。
演示開始。
G-01C啟動行走模式,六條機械足依次抬起、落下、支撐、切換重心。速度很慢,一步一步,穩得像在丈量地面。
旁邊有兩個布展的工人抬著架子路過,掃了一眼,沒停下腳步,繼續聊著晚上去哪吃飯。
不遠處的大廠展台突然爆發出一陣掌聲,似乎是人形機器人完成了一段轉身揮手和動態平衡展示。
和那邊的炸裂效果比起來,這邊的六足機器人走路,平淡得像白開水。
但陳硯盯著屏幕,神情專注得像在看火箭發射。
第一段平整碎石路面,通過。
第二段低矮障礙,通過。
第三段,進入模擬濕滑區域。
左中足落下的瞬間,接觸狀態條帶猛地跳了一下。
模擬濕滑面的摩擦力低於預期,足端出現了零點三秒的滑動。
風險等級瞬間從綠色跳到黃色。
機器沒有繼續往前送重心。
幾乎是同一時刻,行進速度驟降,整體重心向後回調。
左中足立刻釋放支撐力,順著滑動方向回撤了半步,足尖輕輕點了兩下,重新尋找穩定接觸點。
確認抓地力恢復,風險等級落回綠色,它才繼續向前切入。
整個過程不到兩秒。
沒有摔倒,沒有顛簸,甚至連姿態都沒有太大變化。
如果不是盯著屏幕看,路過的人根本察覺不到剛才發生了一次異常識別,一次風險決策和一次回撤修正。
但江臨看著這一幕,眼神比看到任何高速特技都認真。
工程從來不是證明機器有多勇敢。
是證明機器知道,什麼時候不該勇敢。
十一點四十分,兩輪低速演示完成,零失控,零停機,零人工接管。
展板文字鎖定,組委會備案完成,現場用電回執歸檔,狀態機界面脫敏確認。所有事項列在一張A4紙上,每一項後面都打了勾。
梁知夏把整理好的清單遞給江臨:「下午我留在這裡盯最終布置,陳芷處理後續材料歸檔,許曼和陳硯守設備,每兩小時做一次待機巡檢。」
「三家行業媒體遞了採訪申請,還有兩個科技類自媒體想做現場直播。」
「拒絕直播。」
「已經拒了,理由是設備處於驗證期,不支持公開直播演示。」
「採訪只談公開參數和狀態機邏輯。」
「我跟他們統一口徑,技術細節不延伸,不做未來承諾。」
「不要提恆泰的灰度測試。」
「只說低熵工坊正在進行多場景封閉驗證,不提具體場地、測試指標和合作方。」 梁知夏接得很順,顯然早就想好了。
江臨點頭。
梁知夏停頓了一秒,又說:「資本那邊也有消息。紅圖、遠川、啟明的合伙人都在北京,應該是借大會順路,想約單獨見面聊融資。紅圖的張總還私下找了我,說可以給 pre-A 輪一個很好的估值。」
「不單獨約。」
「我也是這麼回的。」 梁知夏嘴角微不可察地揚了一下,「我說我們只參展,不安排一對一融資對接。想了解可以自己來展位看,統一接待。」
「展會不是融資路演。」
「知道。」
「他們如果自己過來看,就當普通觀眾接待。」
「明白。」
對話簡短,節奏飛快,沒有一句廢話。
旁邊的陳芷聽著,忽然覺得很奇妙。在江城的時候,她總覺得梁知夏是理性到近乎冷淡的人,江臨是話很少的技術宅。可這兩個人碰在一起,連確認事項都像兩個精密齒輪咬合,不用多說半句,彼此都知道對方的底線在哪裡。
他們要的從來不是一時的熱度和估值,是走得穩、走得遠。
她低頭繼續整理文件,眼角餘光瞥見主通道那邊,有個穿深灰色襯衫的男人站了一會兒。
那人戴黑框眼鏡,手裡沒拿任何布展工具,也沒掛組委會工作牌,對著他們的展板拍了張照,又對著展示機拍了一張,低頭在手機上敲了幾個字,轉身就走了。
不像路過的觀眾,也不像同行的工程師。
陳芷皺了皺眉,想跟江臨說一聲,又覺得可能只是個提前探館的參會者,便沒開口,只是在心裡多留了個心眼。
十二點十五分,江臨離開展館。
推開玻璃門的瞬間,正午的陽光潑下來,刺得人下意識眯起眼。
展館外的廣場上,世界機器人大會的巨型宣傳牌已經立了起來,智能賦能未來幾個大字在陽光下閃閃發光。
遠處陸續有參會者拖著行李箱走來,媒體的轉播車停在廣場側邊,工人在給戶外指示牌做最後的加固。
幾天後,這裡會湧進成千上萬的人。
觀眾、媒體、投資人、產業方、同行、競爭對手,帶著各種各樣的目的而來。
他們會看見低熵工坊的展位,看見G-01C走路,看見背景板上的字。
他們會有人覺得這機器厲害,有人覺得平平無奇,有人會讀懂那行小字里的克制,也有人會覺得這家公司故弄玄虛。
期待會來,誤解也會來。
公開本身不是壞事。
但不可控的公開,會毀掉一項還在生長的技術。
所以第一步公開,必須足夠窄。
窄到每一個詞,都能承擔對應的責任。
窄到每一個演示動作,都有完整的日誌可以回溯。
窄到所有觀眾,只能看見他們該看見的部分。
低熵工坊還太年輕,G-01也還太年輕。
它們需要走進世界裡,但不能被世界的喧囂過早地吞掉。
江臨收回目光,轉身走向地鐵站。
背影很快融進了正午的人流里。
回到酒店,江臨簡單吃了份外賣盒飯,打開筆記本電腦。
左側屏幕打開終端,黑色背景上白色字符滾動。
PFR/Marton v1.0 流通包第二輪冷啟動校驗正在運行。
右側屏幕上,是昨晚在車裡臨時新建的文件夾。
MPS-Compiler。
裡面只有一個README文件。
他點開。
第一行是中文,昨晚在不老屯回市區的路上,他看著窗外的夜色說過的話:
【編譯器不是為了追求性能峰值,而是為了讓智能體在不可控硬體環境中保留計算秩序】
第二行是英文。
【MPS-Compiler begins as an agent portability problem, not a performance problem】
江臨指尖落在鍵盤上,繼續往下寫。
初始目標——
1、建立MPS-Agent α核心算子的統一中間表示
2、建立不同硬體後端的代價模型,優先覆蓋通用架構
3、保留任務可中斷、可遷移、可回滾的執行結構
4、優先保證失效條件可見,而非追求局部性能最優
5、所有現實數據輸入必須經過A/B/C/D四級邊界分類
打到第五條的時候,他想起昨晚,想到如果一個運行時系統,連自己不該讀什麼不該碰什麼都識別不了,那它遲早會犯下比算錯了更嚴重的錯誤。
於是在文檔最底部,又加了一行。
6、硬體後端不可假定穩定、開放、可獲得。
晶片制裁不是新聞標題,不是論壇里吵來吵去的話題,也不是幾個年輕人坐在車裡忿忿不平的談資。
它會落到編譯器的中間表示層上,落到運行時的資源調度邏輯上,落到算子抽象層的每一次適配里。
更會落到每一次模型部署、每一次數據搬運、每一次替換硬體時,那些看不見的隱性成本里。
如果未來的MPS-Agent α只能在最理想的頂配硬體上跑,只能依賴穩定開放的供應鏈,那它根本不配叫工程系統。
那只會是個實驗室玩具。
江臨盯著那行字看了兩秒,按下保存。
「滴——」
Lean校驗窗口跳出綠色的結果提示。
第二輪冷啟動校驗:通過。
零錯誤,零警告。
江臨看著那抹綠色,臉上沒什麼表情。
第二輪通過,只說明v1.0流通包的核心邏輯已經穩定,接近可以發出的狀態。
但還不能發。
正式受控流通前,還需要最後一輪只讀鏡像校驗、完整哈希記錄生成,以及所有附錄引用的一致性檢查。
越大的東西,越不能在剛剛轉綠的時候就急著交出去。
多冷卻一輪,就多一層保險。
他打開日程表。
夜色深沉,遠處的城市燈火連成一片。
江臨沒有出門,晚飯叫了一份清淡的盒飯,吃完就一直坐在桌前。
他在逐條核對PFR/Marton流通包的附錄引用,確保每一篇參考文獻的標註都準確無誤,沒有遺漏,也沒有過度引申。
第三次校驗的前置準備全部完成。
哈希記錄腳本預跑通過,校驗和一致,所有附屬文件的目錄結構全部核對無誤。
……
翌日,16日。
當酒店窗簾拉開時,晨光鋪滿半張書桌。
江臨已經收拾好東西,準備出門。
背上的雙肩包里裝著14寸主力筆記本、兩塊加密移動硬碟、密封袋裡裝著錄取通知書和身份證、一疊列印好的學術證明材料。
最底層是一個帶物理撥碼鎖的黑色硬碟盒。
裡面存著PFR/Marton全量版本和MPS-Compiler的初始草稿。
這是他目前所有技術積累里最核心的東西,走到哪帶到哪,從不離身。
今天他得去一趟清華做新生報到。
他要走的是清華六月底就為他單獨制定,八月初又更新過一版的特殊入校方案。
九點二十六分,清華大學西門。
明天其實才是大一新生的報到日,但今天的校園已經熱鬧得像集市。
到處都是很多選擇提前來熟悉環境的新生和家長。
人聲混著蟬鳴,沸沸揚揚。
江臨沿著校門內側的樹蔭,往旁邊的教工通道走了幾步。
樹下已經站著兩個人,正朝著路口的方向望,顯然已經等了一會兒。
中年男人戴細框眼鏡,穿淺灰色短袖襯衫,褲子熨得筆挺,是求真書院的周明老師,之前和他郵件溝通了好幾次。
旁邊年輕些的女士穿藏青短袖襯衫,別著數學科學中心的工作牌,頭髮紮成馬尾,很乾練,是中心辦公室的趙嵐老師。
看見江臨過來,兩人立刻迎了上來。
周明老師率先伸出手,臉上帶著真切的笑意,語氣里滿是歡迎:「江臨同學你好,我是求真書院的周明,這位是數學中心的趙嵐老師。我們到了十來分鐘了,天熱,怕你找不到地方。」
趙嵐也笑著點頭,伸手想幫他接一下背包:「一路過來熱壞了吧,包里沉不沉,我幫你拿一段?」
「不用不用,我自己來就行,麻煩兩位老師了。」 江臨說。
「不麻煩不麻煩!」 周老師擺著手,「你的情況特殊,書院和學校都很重視,能來我們求真書院,是我們的榮幸啊。」
三個人順著林蔭道往裡走。
梧桐樹的枝葉遮天蔽日,比外面涼快不少。
路上時不時有學生騎著自行車經過,車鈴叮鈴叮鈴地響。
周明邊走邊說:「今天新生多,擠著耽誤時間。我們走這邊近道,直接去求真書院,手續都提前預審完了,今天就是簽個字確認一下,不讓你多跑。」
趙嵐在旁邊補充:「會議室空調提前半小時就開好了,水也備著,進去先歇口氣。」
沒有客套的場面話,卻處處透著周到。
求真書院二樓小會議室。
門一推開,涼意就裹著淡淡的茶香涌了出來。
長桌上整整齊齊擺著一沓文件,封皮印刷規整,旁邊放著兩瓶常溫礦泉水,還有一盤切好的西瓜,顯然是剛準備好的。
「坐,先坐。」 周明拉過主位旁邊的椅子,等江臨坐下了才自己落座,「丘先生本來是要親自過來,只是不巧今早臨時有個國際視頻會推不開,特意叮囑我們一定要接待好。」
他說著把文件往江臨面前推了推,語氣帶著笑意:「你的情況特殊,書院和數學中心前前後後開了三次會,把培養方案捋得特別細。今天咱們一項一項過,有什麼覺得不合適的,你直接提,咱們還能調。」
最先確認的是學籍。
周明翻開最上面一份《2022 級本科生學籍確認表》,指了指關鍵項,語氣鄭重:「學籍按 2022 級普通本科生錄入系統,專業數學與應用數學,培養管理歸口求真書院。」
江臨點頭,接過筆,在確認欄簽上名字。
第二份是《個性化培養檔案說明》。
周老師解釋說:「基礎課程不安排大班修讀,數學分析、高等代數、解析幾何、概率論、組合數學這五門核心基礎課,你可以通過課程組高階考核、專題學術報告、已發表成果審查三種方式完成學分認定,每一項都有對應的評審組和存檔記錄,全部可追溯。」
「公共必修環節按學校規定執行,如果後續有國際學術會議、跨洋審查會議或者企業工程事務衝突,可以提前走備案流程調整時間,書院會統一協調。」
說到這裡,他笑著補了一句。
「我們也知道你手頭的事比較多,制度上能給的彈性,我們都給足。」
學籍與培養檔案手續全部辦結。
趙嵐從文件袋裡拿出一張校園卡,雙手遞過來,笑著說:「卡面跟普通本科生的一模一樣,不顯眼,你平時出門帶著也方便。但權限都提前開好了,求真書院全樓、數學中心門禁、紫荊公寓17號樓的單元門和宿舍門,還有圖書館、食堂通用權限,現在刷就能用。校園網帳號和辦公室有線網口下午統一開通。」
江臨接過卡。
紫白色卡面,印著清華校徽、學號、他的高考報名證件照,和所有本科生的卡面沒有任何區別,普普通通,看不出任何特殊。
可這張普通卡片背後,是一整套為他單獨適配的制度體系。
他拿起卡,對著旁邊的會議室門禁刷了一下。
滴的一聲輕響,門鎖彈開。
真實的接入感,比任何說明都更有分量。
十點四十二分,清華數學科學中心。
灰白色的建築藏在梧桐樹後面,樓里很安靜,走廊鋪著地毯,腳步聲都被吞掉了大半。
偶爾有抱著書的老師走過,和趙嵐點頭打招呼,順便好奇地看江臨一眼。
趙老師帶著江臨上二樓,走到走廊最裡面的一間辦公室門口。
刷卡推門進去,房間有二十來個平方。
一張實木書桌對著窗戶,一把人體工學椅,靠牆立著空的三層書櫃,對面牆是一整塊白板,牆角有部老式固定電話。
窗外是茂密的梧桐,樹影落在桌面上,隨著風輕輕晃。
很樸素,但足夠安靜,足夠私密。
「門禁已經錄你校園卡里了,24小時都能進。」 趙嵐把一串備用鑰匙放在桌上,遞過一張交接單,「網線、電源我們都提前測過了,沒問題。辦公用品我放抽屜里了,白板筆、文件夾、訂書機都有。要是不夠用,或者需要添印表機、文件櫃什麼的,你直接給我發消息,我讓人當天送過來。」
她又補充了網絡的事,語氣很坦誠:「不過有個事特意跟你說一下,涉及未公開的學術材料、敏感項目數據,不建議接入公共網,也不要走雲盤同步。公共網有統一安全審計,但內容防護靠自己把控。」
從數學科學中心出來,趙嵐沒帶江臨往本科生宿舍區走,而是沿著紫荊路往北。
「16、17 號樓是博士和博士後住的樓棟,跟本科生1—13號樓分區管理,清淨很多。」 她邊走邊介紹,「都是獨立單人間,帶套內獨衛,隔音也好。你平時熬夜看論文、開跨洋會議,也不會吵到別人,也方便保管設備和材料。」
她特意補充了一句:「這個是走了特殊住宿審批的,申請理由寫的是跨時區學術交流、未公開審查材料保管、個人計算設備安全和作息管理,宿管中心特批的。」
江臨明白她的顧慮。
這不是優待,是匹配他需求的合理安排,所有安排都要有章可循、有檔可查。
走進17號樓單元門,樓道里安安靜靜。
房間在四樓,402室。
趙嵐刷卡開門,側身讓江臨進去:「我們上午特意讓宿管阿姨通了通風,被褥都是新換的。」
房間面積和辦公室差不多。
單人床、書桌、衣櫃、小型書架,裡面隔出一間獨衛,有淋浴和洗手台。
窗戶對著樓間的綠化帶,關上門,外面的蟬鳴都弱了很多。
書桌上甚至提前放了一盞檯燈和一小包抽紙。
「住宿確認單在這裡。」 趙嵐把單子遞過來,「你看一下,沒問題就簽個字。鑰匙給你兩把,一把隨身帶,一把可以放辦公室備用。宿管阿姨每天打掃公共區域,房間內部自己收拾就行。」
江臨接過單子掃了一眼。
上面清清楚楚印著:紫荊公寓 17 號樓、單人間、套內獨衛、特殊住宿備案、不納入本科生1—13號樓住宿分區管理。
條款清晰,手續正規。
他沒多問,提筆簽了字。
到這一刻,三樣東西全部落定了。
普通本科新生來清華,第一天最先擁有的,是宿舍里的一張床位,和教室里的一個座位。
而江臨入校的第一天,最先被確認的是三個空間。
求真書院裡,一份單獨建檔、可追溯的培養學籍。
數學科學中心裡,一間能鎖門、可離線的研究辦公室。
紫荊公寓裡,一間安靜、獨立、能保管設備的單人宿舍。
學籍、研究、生活,三條線被清華提前梳理得清清楚楚,全部納入正式制度。
至此,全部流程走完。
周明老師還有會,先回了書院,臨走前特意跟江臨說:「平時學習上、生活上有任何問題,直接找我或者找趙老師都行,別客氣。」
趙嵐也留了自己的手機號和微信:「辦公室、宿舍有任何事,隨時打我電話。我下午激活校園網了告訴你。」
兩人道別後離開,江臨沒留在宿舍。
他的行李都還在酒店,這裡現在只是一間空屋子。
一點二十五分,吃午飯的時候,手機震動了一下。
梁知夏發來消息。
【G-01C三號機兩次待機巡檢正常。展板下午送印,按我們定的最終版。】
【紅圖資本又聯繫了一次,想約明天下午單獨見面,我按之前的口徑回了:展會期間不安排融資對接。】
【上午有兩家同行公司的人過來打探,繞著展位看了半天,陳芷按公開口徑回了。】
江臨指尖點字,快速回復。
【按既定口徑,採訪只談公開內容,拒絕直播。】
下午三點二十七分,酒店房間。
江臨打開主力工作電腦,啟動PFR/Marton v1.0流通包的最後一輪只讀鏡像校驗。
黑色的終端窗口裡,白色字符一行行滾動,文件逐項核驗:
- 主論文:通過
- 殘餘譜攤銷引理集:通過
- Marton橋構造與切換證明:通過
- 驗證指南與審查說明:通過
- 47節點形式化藍圖:通過
- 第38號邊界見證附錄:通過
- Sanders/Voss 2014黑板筆記(待定版):通過
- README與版本說明:通過
四十分鐘後,校驗窗口跳出綠色的PASS。
哈希記錄腳本自動運行,生成唯一版本指紋,所有文件批量設為只讀,完整鏡像正式封存。
版本號:PFR/Marton v1.0-20220816。
再也不會有臨時的修改,再也不會有半夜的調整。
它從江臨一個人的工作,變成了一份有唯一編號、有哈希錨定的正式學術文本。
江臨打開寫了很久的郵件草稿。
收件人列表很長,每一個名字都分量十足:韓硯山、丁劍、丘成桐、陶哲軒、Tom Sanders、Heinrich Voss、Freddie Manners、Ben Green,還有國內幾位已經進入閉門審查鏈的數學家。
郵件標題很簡單:PFR/Marton v1.0 circulation package。
正文是中英雙語,寫得克制正式,沒有任何情緒化的表達。
……
各位好:
本郵件附版本說明、哈希指紋與審查導航README。PFR/Marton v1.0受控流通包已封存於只讀鏡像倉庫,訪問權限將通過單獨邀請發放。
附件中的47節點形式化藍圖為審查導航圖,不替代主手稿證明。第38號節點已納入回應Voss邊界可見性測試的第三層重型見證路線,相關說明見附錄B。
明日下午兩點半,清華大學數學科學中心將舉行閉門技術說明會,同步進行核心節點校準。
本次說明會以國內審查組現場校準為主,海外審查人不要求同步參會,會議紀要、節點索引和問題清單將在會後進入受控倉庫。
江臨