第二处更为隐蔽的问题浮出水面。

“关于证据泄漏上界中，那个用于监测外界数据分布是否发生漂移的积分概率度量。”统计学习教授推了推眼镜，“这个Ipm，是严格针对预先声明的那一套损失函数类才有效的。”

“如果说，”教授提出了一种工程现实中的假设，“如果现场的工程团队在模型部署一年后，偷偷修改了底层的任务动作定义，比如把原本的立刻停机改成了降速运行。

那么，原有这套度量工具算出来的风险界，就会在瞬间自动失效。

但昨天的草稿虽然提到了要监控配置文件，却没有在最核心的定理表述中，强制要求在这种情况下进行重新认证。”

周志华二话没说，直接在相关的风险上界公式后面，像打补丁一样补上了一行字。

【一旦现实任务的损失函数，或底层的安全动作集合发生任何形式的更改，原有的全部证据证书立即宣告作废，模型必须停机重新接受审查。】

这句带着生杀大权的话一进入正文，整条证据保留压缩定理的适用范围，变得更加狭窄了。

但也正是因为这种狭窄，它更难被那些只想文水数据的科研混子拿去胡乱套用。

上午十点二十一分。

证明复核组完成第一轮的交叉检查。

几乎在同一时间。

隔壁那间完全物理断网的机房里，净室复现组开始运行他们昨晚连夜独立重写的底层审查程序。

他们像是一个被蒙上眼睛的执行者，没有拿到昨天江临敲下的任何一行原始实现代码。

这台孤立的终端上，他们能够读取的东西只有那三套已经被哈希冻结的压缩模型。

包含几十万条记录的公开测试数据。

一份由人工标注好的任务动作代价矩阵。

经批准的中间表示只读导出接口。

关于如何提取见证单元的外部ApI接口规范。

以及，仅仅存在于纸面上的，关于局部覆盖证书的数学定义。

他们昨晚重写的不是完整搜索框架，而是依据接口规范实现的审查调用层。

第一次试运行。

毫无意外地，失败了。

系统报错显示，模型b由于采用了特殊的张量低秩分解架构，它的部分中间隐藏层表示，根本无法按照预定的标准化接口向外导出。

面对这个工程阻碍，净室复现组的工程师没有去私自修改模型b的网络结构，也没有打开房门，向昨天参与实现的人员索要那份能够跑通的底层脚本。

他们严格遵守了净室原则。

把失败的底层原因原原本本地写进审查日志。

然后，几个人按照净室规则，从接口层重新适配，为这种特殊架构定义了一个统一的只读表示导出接口。

上午十一点三十七分。

三套模型在新的协议下，重新被推上了审查台。

几分钟后，结果在屏幕上跳了出来。

【模型A（最优压缩）：审查结论——拒绝上线】

【模型b（中等压缩）：审查结论——拒绝上线】

【模型c（最差压缩）：审查结论——有条件通过】

不是江临昨天写下的实现代码。

不是昨天参与推导的那批研究人员。
本章未完，请翻下一页继续阅读.........