Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years

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