Google DeepMind 发布 AlphaProof Code，四周内完成 Signal 加密核心的数学验证

The Decoder：AI 新闻· Manuel Uth·2026-11-12 02:18· 37 分钟前AI 评分70

Google DeepMind 的 AlphaProof Code 在四周内而非数年完成了对 Signal 加密核心的验证

AI 导读

Google DeepMind 发布 AlphaProof Code，一个用数学方法证明软件符合安全规范的 AI 系统，并在 Signal 加密协议上完成验证，把通常需要数年的工作缩短到四周。

正文 · 原文

2026年11月11日

Google DeepMind 发布了 AlphaProof Code，这是一个能够以数学方法证明软件无差错地符合其安全规范的 AI 系统。研究人员在 Signal 的加密协议上演示了这项技术，在四周内完成了通常需要数年的工作。据 DeepMind 研究人员 Pushmeet Kohli 和 Swarat Chaudhuri 的博客文章称，此前的验证工作止步于理论设计阶段。AlphaProof Code 验证了运行在用户设备上的实际加密核心代码。在专家定义形式化安全要求后，基于 Gemini Carbon 的 AI 智能体用 Lean 证明语言编写了超过六百万行代码，并标记出约百分之一的代码库供人工审查。为测试而故意植入的两个漏洞被立即发现。

Signal 首席技术官 Ehren Kret 表示，随着 AI 威胁日益增长，这种方法增强了对数据隐私的信任。DeepMind 计划通过 CodeMender 等系统将该方法扩展到电网和医疗设备领域。

没有炒作的 AI 新闻——由人工精选

订阅 THE DECODER，享受无广告阅读、每周 AI 新闻通讯、每年六期独家“AI Radar”前沿报告、完整档案访问权限以及评论区访问权限。

来源：The Decoder：AI 新闻 · the-decoder.com

事件后续 · 1

查看事件全部

• 同事件Google DeepMind 用 AlphaProof Code 对 Signal 协议机器码完成形式化安全验证Rohan Paul · 1 天前