十月一日。
國慶假期的第一天，上午八點十二分。
南京大學人工智慧學院那棟大樓裡，並沒有多少節假日的閒適氣氛。
二樓那間核心會議室裡，昨天下午那塊曾經寫滿整麵白板又被擦掉重寫了好幾次的推導公式，此刻已經被研究員們連夜整理排版，變成了一份多達二十七頁的內部討論草稿。
證明覆核組的兩位教授，一大早便坐在了桌前。
他們沒有參加昨天的代碼實現和盲測環節，甚至為了保持視角的中立，他們被嚴禁接觸任何與模型結構相關的底層邏輯。
現在他們手裡拿到的，僅僅是數學草稿。
定理陳述，必須滿足的前提條件，脫敏後的匿名化推導示例，以及那條由任務損失函數強行誘導出來的風險上界。
最上方，先列了五項數學限製。
【必須為固定不變的任務目標】
【任務損失函數必須絕對有界，不允許無窮大損失】
【模型必須限定在具有有限覆蓋數的假設族內】
【壓縮映射在數學上必須是完全確定性的，不允許包含隨機量化噪聲】
【高風險見證單元必須攜帶可被獨立驗證的局部穩定性證書】
隻有滿足了這五項條件，這篇論文才有資格繼續往下讀。
一名專攻統計學習理論的教授，拿著紅筆，從第一行的公理定義開始，逐字逐句地往下檢查。
另一名頭髮花白的數學係老教師，則從最後一頁那長長的風險界不等式開始，利用逆向邏輯，一步步往回倒推。
上午九點零六分。
第一處潛在的問題被紅筆圈了出來。
「周教授，這裡有個縫隙。」數學係老教師指著中間的一行推導，叫住了剛進門的周誌華。
「見證單元的覆蓋半徑，在你們昨天的白板推導中，為了貼合現實，使用的是由任務損失誘導出來的特殊距離，這沒錯。」
老教師頓了頓，筆尖指向下一行。
「但是在計算局部穩定性項的時候，這裡的推導竟然又退回到了原本壓縮表示空間裡的普通歐氏範數。這兩把尺子，沒有在同一個維度裡完成統一。」
周誌華看了一眼，解釋道：「在普通的線性空間裡，這兩者確實可以相互等價約束，但這不會直接推翻整個主鏈的閉環。」
「確實不會推翻主鏈。」老教師堅持自己的觀點，「但如果不統一，一旦未來這項理論被用到某些高度非線性、甚至扭曲的複雜任務空間裡時，這份所謂的局部覆蓋證書就會在數學上失去明確的物理含義，變成一張空頭支票。」
覆核意見被迅速整理成文字，直接送到了周誌華的案頭。
周誌華看完，沒有任何包庇自己成果的意思。
直接在鍵盤上敲下退格鍵，把草稿中那句原本為了證明方便而寫得過於寬鬆的表述，刪得乾乾淨淨。
隨後，他重新增加了一條更嚴格的限製條件。
【模型特徵空間的局部穩定性，必須且隻能在與任務損失相容的特殊度量結構下，方可被認為成立】
北京那邊。
當江臨在低熵工坊那個簡陋的臨時測試場裡收到這條修改記錄時，他正盯著滿地的電纜和傳感器。
在手機上把這條修改看了兩遍，他沒有提出異議。
【同意，這個相容性條件必須進入主定理的前提，不能隻放在附錄。】
上午九點四十四分。
第二處更為隱蔽的問題浮出水麵。
「關於證據泄漏上界中，那個用於監測外界數據分布是否發生漂移的積分概率度量。」統計學習教授推了推眼鏡，「這個IPM，是嚴格針對預先聲明的那一套損失函數類才有效的。」
「如果說，」教授提出了一種工程現實中的假設，「如果現場的工程團隊在模型部署一年後，偷偷修改了底層的任務動作定義，比如把原本的立刻停機改成了降速運行。那麼，原有這套度量工具算出來的風險界，就會在瞬間自動失效。但昨天的草稿雖然提到了要監控配置文件，卻沒有在最核心的定理表述中，強製要求在這種情況下進行重新認證。」
周誌華二話沒說，直接在相關的風險上界公式後麵，像打補丁一樣補上了一行字。
【一旦現實任務的損失函數，或底層的安全動作集合發生任何形式的更改，原有的全部證據證書立即宣告作廢，模型必須停機重新接受審查。】
。了窄狹加更得變，圍範用適的理定縮壓留保據證條整，文正入進一話的權大殺生著帶句這
。用套亂胡去拿子混研科的據數水文論發想隻些那被難更它，窄狹種這為因是正也但
。分一十二點十午上
。查檢叉交的輪一第成完組核覆明證
節章整完看查𝐰𝐭.𝐩𝐨𝐨到請
。間時一同在乎幾
。序程查審層底的寫重立獨夜連晚昨們他行運始開組現復室淨，裡房機的網斷理物全完間那壁隔
。碼代現實始原行一何任的下敲臨江天昨到拿有沒，者行執的睛眼上蒙被個一是像們他
。型模縮壓的結凍希哈被經已套三那有隻西東的取讀夠能們他，上端終的立孤台這
。據數試測開公的錄記條萬十幾含包
。陣矩價代作動務任的好註標工人由份一
。口接出導讀隻示表間中的準批經
。範規口接IPA部外的元單證見取提何如於關
。義定學數的書證蓋覆部局於關，的上麵紙於在存僅僅，及以
。層用調查審的現實範規口接據依是而，架框索搜整完是不的寫重晚昨們他
。行運試次一第
。了敗失，地外意無毫
。出導外向口接化準標的定預照按法無本根，示表層藏隱間中分部的它，構架解分秩低量張的殊特了用採於由B型模，示顯錯報統係
向，門房開打有沒也，構結絡網的B型模改修自私去有沒師程工的組現復室淨，礙阻程工個這對麵
