DeepMind用AlphaProof Code验证Signal密码核心
先了解这件事
2026年11月10日，Google DeepMind公布多LLM智能体框架AlphaProof Code，称其在四周内完成Signal协议核心密码代码关键安全属性的形式化验证。11月11日，Ars Technica报道，所检查部分未发现新漏洞；框架正确识别了旧版本中已知且早已修复的漏洞，判定其无法通过验证。验证不涵盖整个Signal移动应用，研究人员正公开分析规范与证明。11月12日，The Decoder补充称，这项验证通常需要数年；专家定义安全要求后，基于Gemini Carbon的AI智能体编写了超过600万行Lean证明代码，并将约1%的代码库标记为需要人工审查。
AI 根据报道生成 · 7 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The DecoderGoogle DeepMind 推出 AlphaProof Code，用 4 周验证 Signal 密码核心代码
Google DeepMind 推出 AlphaProof Code，在 4 周内完成了通常需要数年的 Signal 密码核心代码形式化验证。专家定义安全要求后，基于 Gemini Carbon 的 AI 智能体编写了超过 6000000 行 Lean 证明代码，并将约 1% 的代码库标记为需要人工审查。
- Ars Technica · AIGoogle DeepMind 对 Signal 协议关键密码学保证完成数学验证
Google DeepMind 研究人员用 AlphaProof Code 智能体框架，在四周内对 Signal 协议的多项关键密码学保证完成形式化验证。研究未在所检查部分发现新漏洞，并在含有已知且早已修复漏洞的旧版本中正确识别问题，判定其无法通过形式化验证。验证范围不涵盖整个 Signal 移动应用，研究人员正公开此次分析的规范与证明，以支持其他形式化验证工作。
- Google DeepMind精选Google DeepMind 公布 AlphaProof Code，完成 Signal 核心密码代码的形式化验证
Google DeepMind 公布 AlphaProof Code 多 LLM 智能体框架，在四周内完成 Signal 协议核心密码代码关键安全属性的形式化验证。
本事件热度走势
当前热度 19·可比范围峰值 22（11月12日 04:00）·近 24 小时可比范围变化 +176%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。