Google DeepMind AlphaProof Code 四周完成 Signal 加密核心验证
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
DeepMind 用 AlphaProof Code 给 Signal 的加密代码做了数学证明，四周搞定过去要几年的活，600 万行证明代码只有 1% 需要人看。做安全或写密码学库的团队应该关注，这套方法以后可能用来验证电网和医疗设备软件。
Google DeepMind 的 AlphaProof Code 在四周内对 Signal 的加密核心代码完成了数学验证，而传统形式化验证通常需要数年。由 Gemini Carbon 驱动的 AI 智能体为此编写了超过 600 万行证明代码，最终仅需人工复核约 1% 的内容。
技术流程上，智能体将 Signal 密码学实现转化为可机器检查的形式化证明，大部分证明代码自动生成，只有极小比例的疑难片段交由人类审查，大幅压缩了验证周期。DeepMind 计划把这一方法推广到电网、医疗设备等关键基础设施的软件验证场景。
对安全行业而言，这次结果展示了 AI 驱动的形式化验证开始具备工程可用性：过去只有极少数高价值项目能承担数年的验证成本，如今核心密码库可以在一个月内完成验证，开源密码学和关键基础设施团队都可能跟进采用。
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
Google Deepmind's AlphaProof Code mathematically verified Signal's cryptographic core code in four weeks, a process that typically takes years. AI agents powered by Gemini Carbon wrote more than six million lines of proof code and flagged only about one percent for human review. Deepmind plans to extend the method to critical infrastructure like power grids and medical devices. The article Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years appeared first on The Decoder .
This report is categorized under AITOP's "Products" desk, focusing on US frontier AI labs and Silicon Valley technology leaders. Within our cross-regional analytical framework, it directly maps to AI developer toolchains, coding agents, and engineering workflows. Key entities and technical topics under continuous tracking include AlphaProof Code, Google DeepMind, Gemini, Signal.
Source attribution: curated from Decoder (@Manuel Uth).
