AI验完Signal加密代码了

DeepMind 推出 AlphaProof Code：让 AI 智能体用形式化验证给 Signal 的加密协议代码做数学证明，生成了数百万行 Lean 证明，4 周干完了专家团队过去要花数年的活。关键是这次验的是真实部署的代码、不是纸面设计，还故意把两个已修复的旧 bug 塞回去、系统都成功识破了；验证成果已开源。

来源：https://deepmind.google/blog/introducing-alphaproof-code/