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

AI 智能体写出 650 万行证明代码，谷歌 DeepMind 把 Signal 加密验证到机器码级别

谷歌 DeepMind 推出 AlphaProof Code 多智能体框架，依靠 AI 智能体生成约 650 万行 Lean 证明代码，首次将广泛商用的 Signal

2026-11-14 14:57:50