# Google DeepMind 推出 AlphaProof Code，用 4 周验证 Signal 密码核心代码

> 原标题：Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

- 来源：The Decoder
- 发布时间：2026-11-11T18:18:25.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/aze6ogkz29s7mnkk3nyo4jtch
- 原文：https://the-decoder.com/google-deepminds-alphaproof-code-verified-signals-cryptographic-core-in-four-weeks-instead-of-years/

## 摘要

Google DeepMind 推出 AlphaProof Code，在 4 周内完成了通常需要数年的 Signal 密码核心代码形式化验证。专家定义安全要求后，基于 Gemini Carbon 的 AI 智能体编写了超过 6000000 行 Lean 证明代码，并将约 1% 的代码库标记为需要人工审查。