字体
大
中
小
关灯
上一页 回目录    收藏 下一页

第182章 被叫停的物理世界(4/12)

【敬请暂缓引用:关于深度压缩后模型任务同一性的一个内部初步验证结果】

正文的第一句是——

【同仁如晤,我们希望您在阅读后,能优先寻找这条定理在哪些条件下会失效。】

邮件发出后,仅仅过了不到二十分钟。

中午十二点二十九分。

第一封回信抵达。

发件人是国内一位以数学证明严谨着称的院士。

【周教授,邮件已阅。

贵团队提出的主定理中,最核心的前提,其实并不是那个有限覆盖数。

而是那个所谓的高风险分歧区域能够获得可信的局部覆盖证书。】

【我在这里提出一个质疑:在真正的高维混沌空间里,只要这个局部覆盖在数学上无法被低成本地严格成立,那么你们费尽心机找出的那组反例见证基,就极有可能瞬间退化成一组在测试集上看起来很漂亮,但在真实分布中毫无泛化能力的过拟合测试点。

这个问题你们如何约束?】

中午十二点四十六分。

第二封回复紧随其后。

来自硅谷一家顶尖科技大厂长期研究模型剪枝的首席科学家。

【周教授,这封邮件很有意思,但这根本不是在提出一种新的压缩算法。】

【你们这套理论,更像是在那些狂飙突进的压缩算法,和最终的现实物理部署之间,强行设立了一道资格审查海关。】

【过去的压缩算法,只要负责向世界证明看,我变小了,变快了就足够了。

而你们现在,却拿着枪指着它的头,要求它再交出一份证明:变小以后,你没有偷偷把我要命的任务给改掉。

这太苛刻了,但我很喜欢。】

这封回复第一次替这项成果找到了最准确的位置。

它不是在原有压缩榜单上增加一个新指标。

而是在压缩算法与现实部署之间,增加了一道决定模型有没有资格继续向前的门。

邮件末尾,对方又单独问了一句。

【请确认一下,第一作者Jiang Lin,是刚刚完成bb(5)工作的江临?】

周志华回复。

【是。】

下午一点零二分。

第三封回复只有一行简短的英文。

【please allow us to test our own model once.

(请允许我们拿自己的内部高危模型去你们的框架里试一次。)】

下午一点十四分。

第四封回复抵达,带着强烈的反对意见和底层逻辑拷问。

【周教授、江临同学:关于这个证据保留框架,我有一个基础性疑问。】

【这套审查体系依赖预先定义的任务动作与代价矩阵。

如果任务定义本身遗漏了某类关键危险状态,定理是否只能证明压缩过程没有改变既定任务,却无法保证这个任务定义本身完整?】
本章未完,请翻下一页继续阅读.........
上一页 回目录    收藏 下一页