#DeepMind

Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议关键密码学保证

Google DeepMind 研究人员用智能体 AI 对 Signal 协议的多项关键密码学保证完成形式化验证，项目以概念验证形式在四周内完成，使用的是名为 AlphaProof Code 的新 AI 框架。