#Gemini Carbon

12:02AI 科研传播指数 71

DeepMind 发布 AlphaProof Code：4 周完成 Signal 代码数学验证

Google DeepMind 推出多智能体框架 AlphaProof Code，首次对 Signal 加密协议的底层代码完成形式化验证。Gemini 驱动的智能体生成了超 600 万行 Lean 证明代码，把传统数年的工作压缩至 4 周，专家只需审核 1% 的关键代码。