週一，深大理工樓，四樓。
陳知行的辦公室裏，空調開得很足。
小林昭坐在陳知行對麵。
麵前放著一台膝上型電腦。
螢幕上是他花了一個週末，整理出來的JL引理證明過程，已經翻譯成了英文。
他自認為寫得不錯，邏輯通順。
“陳教授，初稿我整理出來了，您看看。”
小林昭把膝上型電腦轉向陳知行。
陳知行沒說話。
他推了推鼻梁上的無框眼鏡，身體微傾，目光落在螢幕上。
他看得很快。
滑鼠滾輪勻速下滑。
辦公室裏隻剩下滾輪輕微的“哢噠”聲和空調的出風聲。
五分鍾後，陳知行看完了。
他靠回椅背，雙手交叉放在身前，沒有立刻給出評價。
“你覺得，一篇頂刊論文，最重要的是什麽？”
小林昭愣了一下，答道：“結論的創新性？”
“那是給外行看的。”
陳知行搖頭。
“對於審稿人來說，最重要的是兩點——論證的嚴謹性，和表述的規範性。”
他把膝上型電腦轉回來，滑鼠指標點在論文標題上。
“《A Faster Proof for Johnson-Lindenstrauss Lemma》——引理的快速證明。”
陳知行唸完，看了小林昭一眼。
“不準確。”
“像是在寫廣告語，不是在寫論文。”
陳知行語氣平淡，沒有起伏。
“應該改成《On the Error Bound of Deterministic Hashing Projection》——《關於確定性雜湊的誤差界》，準確，把你的核心貢獻點出來就行。”
小林昭臉頰有些發燙。
他沒想到一個標題都有這麽多講究。
“摘要。”
陳知行的滑鼠往下移。
“u0027This paper provides a revolutionary proofu0027——革命性的證明？”
他抬起頭，目光落在小林昭臉上。
“在學術界，沒有革命，隻有演進。這個詞刪掉。”
“這裏，u0027Our method significantly outperforms all existing approachesu0027——顯著優於所有現有方法？”
陳知行的手指在“significantly”和“all”兩個詞上分別點了一下。
“u0027顯著u0027，你做了對比實驗嗎？沒有就不能用。”
“u0027所有u0027，你敢保證你看完了人類曆史上關於JL引理的全部文獻嗎？不敢就不能用。”
小林昭隻覺得一陣陣發懵。
他以為自己隻是來潤色語言，沒想到從標題開始就被全盤否定。
陳知行一口氣又指出了五六個類似的問題。
全都是小林昭自認為寫得最漂亮的地方。
“這些都是浮誇的、沒有資訊量的形容詞。”
陳知行的結論很簡短。
“論文是用來交流的，不是用來吹牛的。”
小林昭坐在椅子上，後背挺得筆直。
陳知行進入正文部分。
“證明思路沒問題。”
“但過程太跳躍了。”
陳知行的手指點在螢幕上一行公式的位置。
“從第二步到第三步，你直接跳過了一個關鍵前提。你預設了特征向量滿足某種分佈假設，依據是什麽？”
小林昭張了張嘴。
“這裏需要額外加一個引理來證明前提成立。”
陳知行手指滑向下一處。
“還有這裏，你選擇了一個最粗糙的放縮工具。為什麽不用更精確的？是因為你不會，還是因為你能證明在這個場景下它們等價？”
小林昭答不上來。
大林昭發過來的證明，來自2023年的頂會論文，結果絕對沒有錯。
但“為什麽可以這麽做”，他從來沒有認真想過。
陳知行放下滑鼠。
“你腦子裏那些結論，就像別人替你蓋好的樓。你站在五樓往下看，覺得風景很好。”
“但你不知道一樓的地基是怎麽打的，二樓的承重牆用了什麽材料，三樓的梁柱為什麽要放在那個位置。”
“哪天有人問你，你答不出來。這棟樓在別人眼裏，就是紙糊的。”
“陳教授，我……”
“你是不是覺得，這些都是細枝末節，不影響最終結論的正確性？”
小林昭沒說話。
“我之前說過，科學研究不落地，就是故紙堆。但反過來也一樣——工程應用沒有堅實的理論基礎，那就是沙灘上蓋樓。看起來很高，風一吹就倒。”
陳知行站起身。
他從書架上抽出一本厚厚的黃皮英文書，放在小林昭麵前。
《The Elements of Statistical Learning》。
“這本書，拿回去看。特別是第五章，關於模型評估和選擇的部分。”
陳知行的語氣不容置疑。
“你什麽時候能把這一章裏所有的公式，都用最笨的辦法，一個一個推導一遍，你再來找我。”
小林昭看著那本厚書，頭皮一陣發麻。
“這……得看到什麽時候？”
“我不管你看到什麽時候。我隻看結果。”
陳知行坐回椅子上，重新拿起紅筆，開始批改另一份檔案。
“論文的事不急。你先把基本功打紮實。不然就算我幫你把這篇論文發出去了，下次審稿人線上上會議問你一個問題，你答不上來......”
他頓了一下。
“丟的不是你一個人的臉。”