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 .
本条情报归属 AITOP「产品」核心栏目，重点聚焦北美前沿实验室与硅谷科技巨头。在跨区域产业观察坐标中，该动态直接关联「AI 开发者工具链、Coding Agent 与工程化实践」研究主线，反映出当前技术演进与商业落地的最新风向。涉及核心实体与技术议题包括：AlphaProof Code、Google DeepMind、Gemini、Signal，读者可通过下方标签进入对应专题页查阅历史脉络与关联对比。
信源核验说明：本文原始线索采编自「Decoder」（@Manuel Uth），经 AITOP 多维评分管线结构化提炼。
