标签 > AI 智能体写下 650 万行代码证明：谷歌 DeepMind 把 Signal 的加密实现验证到了机器码级 原创

谷歌 DeepMind 推出 AlphaProof Code 多智能体框架，依靠 Gemini 驱动的 AI 智能体生成 650 万行 Lean 证明代码，首次把 Sig