论文精选13:15运行时可观测性契约覆盖异构注意力内存MetaSk团队发了个监控注意力内存的工具，能跨四类缓存统一检测，实测定位了DeepSeek-V4的静默损坏，还有Lean证明。#注意力内存#可观测性#KV缓存#DeepSeek-V4aarXiv: DeepSeek@Fanzhe Wei 等 4 人原文稍后读已读值得跟进有用关注 注意力内存