Google DeepMind发布AlphaProof Code，用AI智能体验证Signal协议代码

Google DeepMind发布AlphaProof Code，称其为多LLM智能体形式化验证框架，由人类专家与AI智能体协作，将Signal协议安全目标转为数学规范，并用Gemini Carbon驱动智能体生成超600万行Lean证明。

信源原题：Introducing AlphaProof Code: a breakthrough in verifying complex software at depth

阅读来源原文 ↗