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

DeepMind 推出 AlphaProof Code 多智能体框架，只用 4 周时间生成 650 万行 Lean 证明代码，完成 Signal libsignal 库真机 A