The Decoder· Manuel Uth·· 4 天前同事件AI 评分80
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 加密协议核心代码的数学验证，而这类工作通常需要数年。
同一件事，精选收录的是《Google DeepMind 发布 AlphaProof Code，用 AI 智能体形式化验证 Signal 协议代码》
来源：The Decoder · the-decoder.com