The Decoder· Manuel Uth·· 23 小时前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 发布 AlphaProof Code，一个能数学证明软件符合安全规格的 AI 系统，并在 Signal 加密协议上完成验证，用时四周，而这类工作通常需要数年。
来源：The Decoder · the-decoder.com