The Decoder· Manuel Uth·· 2 天前AI 评分77
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