The Decoder· Manuel Uth·· 2 天前同事件AI 评分85
Google DeepMind 推出 AlphaProof Code，四周完成 Signal 加密核心的形式化验证
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
AI 导读
Google DeepMind 发布 AlphaProof Code，用 AI 智能体对 Signal 加密协议的实际运行代码做形式化验证，原本通常需要数年的工作四周完成。
同一件事，精选收录的是《Google DeepMind 提出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码》
来源：The Decoder · the-decoder.com