深城大學，理工樓四層。
走廊盡頭的麵試室門口掛著一塊臨時列印的白紙，上麵寫著“中科院英才計劃·深城考點”，字型是宋體加粗，右下角蓋了個紅章。
小林昭到得早。
門還沒開，走廊裏已經零散坐了七八個人，大多是大學生模樣，有的在翻筆記，有的戴著耳機閉目養神。他掃了一圈，年齡最小的看起來也比他大三四歲。
他找了個靠窗的位置坐下，把U盤從口袋裏掏出來，在指尖轉了兩圈。
U盤裏裝著降維雜湊樹的演示PPT。這套材料他上週給鵝廠和熊廠講過一次，效果炸裂。但今天要麵對的人不一樣。
周培德上週來學校找他，把麵試通知遞給他的時候，罕見地嚴肅了一回。
“我給你特批了一個名額。”老教授擰開保溫杯，語氣不緊不慢，“本來這個麵試是麵向高中生的。但你在研討會上的表現，委員會破例了。”
小林昭當時還沒來得及高興，周培德就補了下一句。
“麵試官兩個人。我一個，另一個叫陳知行。”
“清華姚班出來的，三十一歲博導，現在在中科院計算所做純理論研究。我跟他的評審理念不太一樣。我看重你能不能把東西做出來，他隻看你的理論底子紮不紮實。”
周培德把保溫杯放下，看著他。
“你那個降維雜湊樹，工程上很漂亮。但如果他問你核心演演算法的理論證明，確定性雜湊的保距性誤差上界。你能答上來嗎？”
小林昭沒有立刻回答。
周培德點了一下頭，像是早就知道答案。“還有一週。能補多少補多少。補不了的地方，就老實說不會。陳知行最討厭不懂裝懂。”
現在一週過去了。
小林昭翻過幾篇論文，磕磕絆絆地啃了Johnson-Lindenstrauss引理的證明過程。但他心裏清楚，如果陳知行真的要往深了問，他那點臨時抱佛腳的底子，撐不過三個回合。
走廊盡頭有腳步聲。
他抬起頭，正好看到許之微從樓梯口拐出來。她穿著深大附中的藍白校服，馬尾紮得比平時更高一些，手裏夾著一個透明的檔案袋，裏麵裝著幾頁列印的材料。
兩人對視了一眼。
許之微衝他微微點了一下頭，沒說話，徑直走到走廊另一頭，靠在窗台邊翻材料去了。
九點整，門開了。
周培德坐在長桌左側，衝他點了點頭。
右側坐著一個年輕男人。
瘦，發際線很高，戴一副無框眼鏡，穿深灰色的圓領毛衣，麵前擺著一摞列印好的論文。他沒抬頭，左手握著筆在紙上寫東西，右手端著一杯沒有熱氣的黑咖啡。
陳知行。
“坐。”周培德指了指對麵的椅子。
小林昭拉開椅子坐下，把U盤放在桌麵上。
“自我介紹就不用了。”周培德翻了翻手裏的材料，“你的檔案我們都看過。今天主要是技術展示和問答。先從你最近在實驗室做的那個聚類模型開始吧。”
小林昭點了下頭，插上U盤，開啟PPT。
這套展示他已經練過五遍以上——資料清洗流程、降維雜湊樹的核心邏輯、使用者分群後的行為畫像、以及上次在研討會上震住鵝廠和熊廠的商業價值推演。
他講得很穩。
語速比上次更慢了一點，學術場合不需要氣勢壓人，需要的是邏輯清晰。
周培德全程沒打斷，偶爾在筆記本上記兩筆。
陳知行也沒說話。
他一直在翻麵前的那摞論文，偶爾抬眼看一下螢幕，然後繼續低頭。表情始終沒變過。
像是在聽，又像是沒在聽。
十二分鍾，小林昭講完了。
“聚類效果確實不錯。”周培德率先開口，語氣裏帶著不加掩飾的認可，“上次研討會的反饋我也看了，鵝廠和熊廠都很認可。你在工程實現上的效率意識，在同齡人裏幾乎沒見過。”
他看向右側。
“知行，你覺得呢？”
陳知行終於放下了筆。
他把麵前的論文合上，摘下眼鏡擦了擦鏡片，重新戴回去，然後看向小林昭。
目光很平，沒有居高臨下，也沒有欣賞。
就是平。
“你這個模型，核心創新點在哪裏？”
小林昭道：“降維雜湊樹。通過分段雜湊壓縮高維特征向量，把傳統K-means的算力開銷降到......”
“我問的不是工程層麵。”
陳知行打斷了他。聲音不大，語速也很慢，但那種打斷幹脆利落。不是粗暴，是精確。
“工程上你做得很漂亮，我承認。但我問的是——在數學上，你的核心創新點是什麽？”
小林昭愣了一下。
“……分段雜湊的壓縮比和原始特征空間的拓撲保持性，已經經過實驗驗證......”
“實驗驗證不是數學證明。”
陳知行靠回椅背，雙手交叉放在胸前。
“壓縮之後的低維空間，保距性的誤差上界是多少？你能證明嗎？”
小林昭沒有立刻回答。
周培德上週的警告、這一週囫圇吞棗讀的那些論文，全部在腦子裏閃了一遍。
他選擇了誠實。
“目前還沒有做嚴格的理論推導。”
陳知行點了一下頭。沒有追問，也沒有嘲諷。
他站起來，走到白板前，拿起筆，寫下一行字。
Johnson-Lindenstrauss引理。
然後轉過身，看著小林昭。
“這個定理你聽過嗎？”
“聽過。隨機投影在高維空間中能以高概率保持距離。”
“那你知不知道，你的降維雜湊樹，本質上就是這個引理的一個工程化特例？”
小林昭沉默了。
陳知行把筆帽扣回去，走回座位。
“你做的事情，是把一個已經被證明過的理論，換了種寫法，套了層程式碼的殼——然後拿去賣給網際網路公司。”
這句話說得很平淡，沒有任何攻擊性。
但小林昭聽出了言下之意。
你不是在創造，你是在搬運。
“陳教授。”小林昭坐直了身體，“理論和應用並不矛盾。JL引理是1984年的成果，三十多年了，一直停留在論文裏。我把它工程化，讓它真的能幫到人。”
“幫電商多賣兩根魚竿？”
陳知行接得很快，聲音依舊平靜。
“你的模型能讓推薦更精準，讓廣告更高效。但這叫u0027商業優化u0027，不叫u0027科學突破u0027。”
他取下眼鏡，用鏡腿指了指白板上的公式。
“如果滿足於給資本家做工具，你和流水線上的技工有什麽區別？就是產出的東西貴一點罷了。”