The Decoder· Manuel Uth·· 19 小时前AI 评分61
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