标签 > 谷歌DeepMind用AI完成Signal协议安全验证

谷歌 DeepMind 推出 AlphaProof Code 多智能体框架，依靠 AI 智能体配合 Lean 证明器，完成了 Signal 协议 libsignal 参考实