标签 > 4周狂写600万行证明，DeepMind把Signal真机代码彻底证安全了

DeepMind 推出 AlphaProof Code 多智能体验证框架，只用 4 周时间，AI 自动生成约 650 万行 Lean 证明代码，完成对 Signal 协