8月7日
13:15
13:15官方一手arXiv: DeepSeek@Fanzhe Wei, Li Liu, Ziyang Wang, Chenyu Wang
精选
论文提出覆盖四类注意力内存的统一运行时可观测性契约,用三个算子实例化到五个架构族的六种模型配置。契约将误差度量作为类型,度量不匹配时组合被拒绝,并自动降级为经验性证据。在1240万条读取回放和八路并发下验证风险账本,零违规。应用于DeepSeek-V4压缩KV原型时,定位到静默损坏的结构边界。
推荐理由:MetaSk团队发了个监控注意力内存的工具,能跨四类缓存统一检测,实测定位了DeepSeek-V4的静默损坏,还有Lean证明。