Google DeepMind 发布 AlphaProof Code，四周内完成 Signal 加密核心的数学验证

导读

Google DeepMind 发布 AlphaProof Code，一个用数学方法证明软件符合安全规范的 AI 系统，并在 Signal 加密协议上完成验证，把通常需要数年的工作缩短到四周。