Google DeepMind 推出 AlphaProof Code，四周验证 Signal 加密核心
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
谷歌 DeepMind 发布 AlphaProof Code，一款符合安全规范的 AI 数学证明软件，并在四周内完成了通常需要数年才能在 Signal 加密协议上完成的验证工作。
AlphaProof Code 将形式化验证从理论设计推进到实际运行代码，四周完成通常需数年的工作，并给出人工复核比例。
同一件事另外 2 家也报道了
- Google DeepMind··首发
- Ars Technica · AI··+26 小时 6 分
Google DeepMind 用 AI 对 Signal 协议关键部分完成数学验证
新增信息：为 Signal 应用、Google Messages 和 WhatsApp 提供独立验证
- The Decoder··+30 小时 16 分·当前阅读
Google DeepMind 推出 AlphaProof Code，四周验证 Signal 加密核心
新增信息：软件符合安全规格的数学证明
按发布时间排列 · 事件后续出现时自动追加 · 由模型根据各家标题与摘要比对
2026年11月11日
Google Deepmind 发布了 AlphaProof Code，这是一个能够通过数学方法证明软件符合其安全规范的 AI 系统。 研究人员在 Signal 的加密协议上展示了这项技术，完成了通常需要数年才能完成的工作，仅用了四周时间。根据 DeepMind 研究人员 Pushmeet Kohli 和 Swarat Chaudhuri 的 博客文章，早期的验证工作停留在理论设计阶段。AlphaProof Code 验证了用户设备上实际运行的加密核心代码。在专家定义了正式的安全要求后，基于 Gemini Carbon 的 AI 代理用 Lean 证明语言编写了超过六百万行的代码，并将大约百分之一的代码库标记为供人工审查。为了测试，故意植入了两个错误，AI 代理立即发现了它们。
Signal 的首席技术官 Ehren Kret 表示，这种方法随着 AI 威胁的增长加强了数据隐私的信任。DeepMind 计划通过像 CodeMender 这样的系统将该方法扩展到电网和医疗设备。
AI 新闻无浮夸之谈 – 由人类编辑
订阅 THE DECODER 以获得无广告阅读、每周 AI 新闻简报、我们独有的 "AI 雷达" 前沿报告（每年六次）、完整档案访问以及访问我们的评论部分。
来源: The Decoder · the-decoder.com