The Decoder· Manuel Uth·· 2 天前AI 评分74
Google DeepMind 发布 AlphaProof Code，四周验证 Signal 加密核心代码
Google Deepmind's AlphaProof Code verified Signal's cryptographic core in four weeks instead of years
AI 导读
Google DeepMind 发布 AI 系统 AlphaProof Code，可在数学层面证明软件符合安全规格，并在四周内完成通常需数年的 Signal 加密协议验证工作。
来源：The Decoder · the-decoder.com