标签 > 谷歌 DeepMind 用 AI 完成 Signal 协议形式化验证，数学证明其端到端加密可靠性

谷歌 DeepMind 推出全新 AI 验证框架 AlphaProof Code，依靠 Gemini Carbon 多智能体，在四周时间内完成 Signal 协议 libsigna