The Decoder· Manuel Uth·· 1 小时前同新闻AI 评分88
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，可在数学上证明软件符合安全规范。研究团队以 Signal 加密协议为演示，四周完成通常需要数年的验证工作，验证对象是用户设备上实际运行的加密核心代码。
同一新闻，精选展示《Google DeepMind 推出 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码》
来源：The Decoder · the-decoder.com