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 加密核心
新增信息：软件符合安全规格的数学证明
按发布时间排列 · 事件后续出现时自动追加 · 由模型根据各家标题与摘要比对
Nov 11, 2026
Google Deepmind has unveiled AlphaProof Code, an AI system that mathematically proves software meets its security specs without errors. Researchers demonstrated the technology on Signal's encryption protocol, completing in four weeks work that typically takes years. Earlier verification efforts stopped at the theoretical design stage, according to a blog post by DeepMind researchers Pushmeet Kohli and Swarat Chaudhuri. AlphaProof Code verified the actual cryptographic core code running on users' devices. After experts defined formal security requirements, AI agents built on Gemini Carbon wrote over six million lines in the Lean proof language, flagging roughly one percent of the codebase for human review. Two bugs planted deliberately for testing were caught immediately.
Signal CTO Ehren Kret says the approach strengthens trust in data privacy as AI threats grow. DeepMind plans to extend the method to power grids and medical devices through systems like CodeMender.
AI News Without the Hype – Curated by Humans
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
来源: The Decoder · the-decoder.com