The Decoder· Manuel Uth·· 23 小时前精选AI 评分83
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 的加密协议上完成通常需数年的验证工作，用时四周。
推荐理由
DeepMind 用 AI 智能体在四周内完成 Signal 加密核心的形式化验证，并说明约 1% 代码需人工复核这一人机分工细节。
来源：The Decoder · the-decoder.com