没有立刻响起掌声。
靠近白板一侧的两位数学系教授重新低下头，对照任务风险上界的四个组成部分，检查见证覆盖证书与分布漂移项之间是否还藏着没有被说明的依赖关系。
长桌另一侧，负责模型压缩的几名研究人员则把公开准确率、压缩比例和隐藏任务结果重新排进同一张表格。
模型A的公开准确率最高。
参数最少。
运行速度最快。
如果没有今天这套审查框架，它几乎一定会成为三套模型中最先获得部署资格的那一个。
而现在，它的结果栏后面只剩下一个清楚的结论。
【REJEct】
不是因为它不够快。
也不是因为它不够准。
而是因为它在真正不能混淆的地方，失去了区分能力。
孙教授看着那张重新整理出来的表格，过了片刻才说道：“这条定理真正改变的，恐怕不是我们怎么评价一种压缩方法。”
周志华转过头。
“那是什么？”
“是以后有人说，模型压缩以后仍然完成了原来的任务。”孙教授指了指幕布，“这句话不能再只靠一张平均准确率表来证明了。”
没有人反驳。
因为左边的审查判断和右边的隐藏结果还并排停在那里。
它们已经替这句话给出了第一份证据。
周志华重新拿起马克笔，在【联合论文：进入书面核验与扩展阶段】下面，又补了一行。
【下一步：独立复核、随机映射扩展、连续控制验证】
“今天闭合的是第一条主链。”他说，“不是整个问题。”
“够了。”江临看着白板，“至少从现在开始，我们知道下一步该往哪里走。”
这已经比带着一个听起来很重要，却不知道该如何验证的问题离开南京，好得太多。
下午的讨论开始时，桌面上只有三份来自不同领域的材料。
一份来自数学证明中的损失账。
一份来自错误接受非停机证书的统一核验器。
一份来自工程系统中不能被彻底删除的失败候选。
几个小时后，它们不再只是三个相似的案例。
它们共同构成了一套能够定义、计算、拒绝、复核，并接受隐藏测试的审查框架。
窗外，走廊尽头的门被人推开。
傍晚的光沿着地面照进会议室，越过桌脚，停在写满公式的白板下方。
江临低头保存联合草稿。
文件名的最后，不再是【pRobLEdEFINEd】。
而是——【Epc_theore01_Internal_closed】
靠近白板一侧的两位数学系教授重新低下头，对照任务风险上界的四个组成部分，检查见证覆盖证书与分布漂移项之间是否还藏着没有被说明的依赖关系。
长桌另一侧，负责模型压缩的几名研究人员则把公开准确率、压缩比例和隐藏任务结果重新排进同一张表格。
模型A的公开准确率最高。
参数最少。
运行速度最快。
如果没有今天这套审查框架，它几乎一定会成为三套模型中最先获得部署资格的那一个。
而现在，它的结果栏后面只剩下一个清楚的结论。
【REJEct】
不是因为它不够快。
也不是因为它不够准。
而是因为它在真正不能混淆的地方，失去了区分能力。
孙教授看着那张重新整理出来的表格，过了片刻才说道：“这条定理真正改变的，恐怕不是我们怎么评价一种压缩方法。”
周志华转过头。
“那是什么？”
“是以后有人说，模型压缩以后仍然完成了原来的任务。”孙教授指了指幕布，“这句话不能再只靠一张平均准确率表来证明了。”
没有人反驳。
因为左边的审查判断和右边的隐藏结果还并排停在那里。
它们已经替这句话给出了第一份证据。
周志华重新拿起马克笔，在【联合论文：进入书面核验与扩展阶段】下面，又补了一行。
【下一步：独立复核、随机映射扩展、连续控制验证】
“今天闭合的是第一条主链。”他说，“不是整个问题。”
“够了。”江临看着白板，“至少从现在开始，我们知道下一步该往哪里走。”
这已经比带着一个听起来很重要，却不知道该如何验证的问题离开南京，好得太多。
下午的讨论开始时，桌面上只有三份来自不同领域的材料。
一份来自数学证明中的损失账。
一份来自错误接受非停机证书的统一核验器。
一份来自工程系统中不能被彻底删除的失败候选。
几个小时后，它们不再只是三个相似的案例。
它们共同构成了一套能够定义、计算、拒绝、复核，并接受隐藏测试的审查框架。
窗外，走廊尽头的门被人推开。
傍晚的光沿着地面照进会议室，越过桌脚，停在写满公式的白板下方。
江临低头保存联合草稿。
文件名的最后，不再是【pRobLEdEFINEd】。
而是——【Epc_theore01_Internal_closed】