DeepMind 首次用 AI 数学证明验证 Signal 协议实际代码安全性

DeepMind 发布多智能体框架 AlphaProof Code，并用 AI 数学化证明了 Signal 协议实际代码的关键安全性质。研究团队将安全目标转化为形式化数学规范并逐条审阅，随后由 Gemini Carbon 驱动的智能体生成超过 600 万行 Lean 证明代码，相关技术论文同步发布。