Ars Technica · AI· Lily Hay Newman, wired.com·· 4 天前AI 评分60
Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议关键密码学保证
Google DeepMind just mathematically verified key parts of Signal
AI 导读
Google DeepMind 研究人员用智能体 AI 对 Signal 协议的多项关键密码学保证完成形式化验证，项目以概念验证形式在四周内完成，使用的是名为 AlphaProof Code 的新 AI 框架。
来源：Ars Technica · AI · arstechnica.com