Google DeepMind 用 AI 智能体为 Signal 加密实现生成超600万行形式验证证明

Google DeepMind 于11月10日宣布，用基于 Gemini 4 Carbon 的 AI 智能体和新框架 AlphaProof Code，对 Signal 加密协议的实际运行代码做形式验证，4周内生成超600万行 Lean 证明，人类需复核的部分被压缩到代码库的1%。