Google DeepMind 用 AlphaProof Code 四周验证 Signal 密码学代码

Google DeepMind 发布 AlphaProof Code，用于通过多 LLM 智能体协作完成深度形式化验证。人类专家与 Gemini Carbon 驱动的智能体四周内生成超过 600 万行 Lean 证明代码，最终仅将约 1% 的代码库标记为需人工复查，并已发布技术论文。