The Decoder· Manuel Uth·· 23 小时前AI 评分76
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 的加密协议上演示，四周完成了通常需要数年的工作，验证对象是用户设备上实际运行的加密核心代码，而非此前的理论设计阶段。
来源：The Decoder · the-decoder.com