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

谷歌 DeepMind 对外公布，依靠自研 AlphaProof Code 框架、Gemini 4 Carbon AI 智能体，完成了 Signal 协议的形式化验证，直接