四個人的郵件------------------------------------------。四件事。每一件都定義了他接下來十年要做的全部工作。。旁聽方遠。，坐在了計算機系大實驗室的最后一排。沒有自我介紹。沒有人注意到他。方遠的討論組每周四下午三點，討論Lean5自動生成的證明路徑。今天是周四。。歐幾里得空間的拓撲性質。Lean5自動生成的證明路徑比已知人類最短證明短百分之四十。省掉了七個中間引理。利用了一個所有人，包括在場六位數學博士，都沒想到的群論嵌入。"路徑對就行。"方遠靠在椅背上，"跑通了就是對的。糾結為什么選這條不選那條有什么意義？系統給出的輸出自洽。三條人類基準全對。還要什么？"："但這七個被跳過的引理，""被跳過不代表系統不理解。只代表系統覺得中間步驟不需要向人類匯報。"方遠說這話時嘴角的弧度很淺。沒在傲慢。是從未被挑戰過。。?？此沃獗环穸?。。生命科學樓三樓討論室。宋知意的導師在內。四個師兄師姐圍坐。她站在白板前。手里的記號筆是藍色的。白板上的圖是一個沙堆模型，沙粒從上方落下，底座形成一個小丘，坡度逐漸增大。旁邊標注了皮層神經網絡的層級結構，箭頭的方向從微觀到宏觀再回到微觀。"沙堆自組織臨界模型在皮層神經動態中有直接類比，"她的聲音不高但很穩，"第一，沙堆崩塌沒有特征尺度：一粒沙可能觸發局部崩塌，也可能觸發全局崩塌，這與皮層中的神經元雪崩統計性質完全一致。第二，臨界態的維持不需要外部調控，沙堆靠沙粒之間的局部摩擦力自己維持在臨界坡角。皮層不是被某個指揮中心維持在臨界態，是靠神經元之間的局部突觸動態自己維持的。"。"知意，"導師摘下眼鏡，"直覺不是科學。你用一個物理現象類比一個生物現象，中間缺了所有因果機制推導。沙堆的摩擦力和神經元的遞質釋放，有什么因果聯系？沒有。你只是在說它們看起來像。看起來像，不是論證。"。。凌徹看得出，她確信自己是對的但還不知道怎么證明。她的手指在筆記本邊緣停留了半秒。那種停留，是一個人的直覺和理性在內部辯論。直覺贏了。但贏了之后不知道下一步往哪走。
凌徹站在教室門口。三秒。
什么都沒說。
那三秒后來被宋知意記了十年。
第三件。被簡默攔住。
第二天上午。計算科學系走廊。自動販賣機旁邊。一個二十二歲的女生站在橙汁和可樂之間，手里一本翻舊了的《心靈哲學》。凌徹從沈清河辦公室出來往電梯方向走，她在走廊中間讓了一步，然后又挪回來。"凌老師。"
凌徹停住。
她不是計算科學系的學生。哲學系本科生。主動來這條走廊等人的。她等的人不是方遠。
"你的研究計劃里提到了理解這個概念。"她直接翻到打印出來的凌徹研究計劃某頁，紙角已經折過了，說明她不是今天才讀。"你寫：驗證者系統在什么意義上可以說理解一個證明？我想問，它和計算器理解算術有什么區別？""你說。"
"區別在于，"她沒有看稿子，"計算器不會告訴你哪種人生值得過。但未來的系統可能會。不是因為它們會有意見。是因為它們給出的答案會改變人類做選擇的方式。而人類會用它們的自洽性作為理由，因為跑通了。"
凌徹看著她。她沒有提方遠的名字。但她說的"跑通了"三個字和前一天方遠在討論組里說的語調完全一致。
"每周六下午。物理樓307。你想聊嗎？"
簡默點了點頭。沒有問"聊什么"。她已經知道主題了。她把《心靈哲學》夾回胳膊下，轉身往走廊另一頭走了。走了三步回頭說："那間教室窗外能看到湖。"
**件。接受溫晚的采訪。
四十八小時的最后三小時。北大校刊實習記者。她在郵件里的自我介紹很簡單："?？瘜嵙曈浾邷赝?。選題，AI會取代科學家嗎？需要約訪一線研究者。沈老師推薦了你。"
沈清河推薦的。凌徹沒有拒絕。
采訪在?？庉嫴俊Ｒ婚g只有兩張桌子的小房間，窗戶朝北。溫晚面前的桌上擺了一支錄音筆，一個硬皮筆記本，和一支筆帽被咬過的圓珠筆。她問題不多，每個都短。
前七個問題關于AI和科學的關系。凌徹的回答在技術上是標準的，不會取代，會改變工具，任何一個AI研究者都會這樣回答。
第八個問題。
"凌老師，你剛才每一次回答之前都停頓了。其他問題停頓一兩秒。但當我問AI會取代科學家嗎時，你停頓了三秒。"
凌徹看著她。她的眼神不是記者在追問。是記者在觀察。她不是在等答案。她在等答案之外的什么東西。
"三秒。"她重復了，"被采訪人停頓超過兩秒，意味著沒有說完完整的答案。我說完了我不追問。但我會記住。"
凌徹沉默了一會兒。然后回答了那個問題。
"不會取代。但會改變科學家的定義。"
采訪結束。溫晚關掉錄音筆。收起筆記本。
"凌老師，"她在門口回頭，"你知道你說話的方式像一個在斟酌每一個字的人嗎？不是怕說錯。是怕說出全部。"
凌徹沒有回答。
**十八小時。
凌徹坐在物理樓307教室。他選了這間教室。窗外能看到一小片未名湖，簡默說的沒錯。教室已經不再排課了。***有粉筆灰。最后一堂課是什么時候上的他不知道。白板是舊的，擦痕疊擦痕。
他打開筆記本電腦，寫了同一封郵件。四個收件人。
主題：理解是什么意思，一個讀書會。正文只有五行：
周六下午，物理樓307。如果你曾經問過一個沒人回答的問題，來。不需要準備任何東西。只需要帶來你忘不掉的那個問題。
他點了發送。
窗外的湖面在午后的光里反射出一個窄窄的白色矩形。凌徹盯著那個矩形看了很久。他不知道自己有沒有做對。這不是一個計劃。沒有關鍵績效指標來衡量這一步的成敗。他只是把自己能做的做了。剩下的，在四個人的手里。
他翻開筆記本。
第3天。四個人。一封郵件。我不知道誰會來。但我知道，如果這個周六下午沒有人來，那未來的每一封郵件都不會有人來。種子不會自己打開硬殼。需要土。需要水。需要等。我提供了土。水在他們自己那里。