DeepMind 用 AlphaProof Code 四周生成约650万行 Lean 证明，将 Signal 加密协议验证到机器码层
650万行数学证明，4周交卷，Gemini 4 Carbon啃下加密协议验证硬骨头
AI 导读
DeepMind 推出 AlphaProof Code 方法，由 Gemini Carbon 驱动的 AI 智能体在4周内写出约650万行 Lean 数学证明，将 Signal 底层约14万条机器指令纳入验证，首次把广泛使用的加密协议验证到实际运行的机器码层。
同一件事，精选收录的是《Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议机器码并开源成果》