**DeepMind AlphaProof 仅用四周验证 Signal 加密核心，效率提升数年**

_Google Deepmind&\#039;s AlphaProof Code verified Signal&\#039;s cryptographic core in four weeks instead of years_

> Google DeepMind 开发的 AlphaProof 代码成功在四周内完成了对 Signal 加密核心代码的数学验证，这一过程通常耗时数年。由 Gemini Carbon 驱动的 AI 代理生成了超过 600 万行证明代码，并仅筛选出约 1% 供人工审查。DeepMind 计划将此方法扩展至电力网和医疗设备等关键基础设施。

**来源信息**
- **来源**：The Decoder：AI News（RSS）
- **分类**：ai-models
- **发布时间**：2026-11-12 02:18（北京时间）
- **原文**：[打开原文](https://the-decoder.com/google-deepminds-alphaproof-code-verified-signals-cryptographic-core-in-four-weeks-instead-of-years)