谷歌 DeepMind 研究人员在为期 4 周的概念验证中使用代理人工智能框架 AlphaProof Code 来验证 Signal 协议的加密保证（Lily Hay Newman/Wired）

原文：Google DeepMind researchers used agentic AI framework AlphaProof Code to verify the Signal protocol's cryptographic guarantees, in a four-week proof-of-concept (Lily Hay Newman/Wired)

Lily Hay Newman / Wired：谷歌 DeepMind 研究人员使用代理 AI 框架 AlphaProof Code 来验证 Signal 协议的加密保证，在为期 4 周的概念验证中，DeepMind 研究人员能够正式验证广泛使用的加密协议是否按预期工作。他们的延伸目标？

正文由本站服务器抓取保存（已自动过滤广告、推荐位与追踪图片），排版与原站可能不同；版权归原站所有。