标签 > 650万行数学证明，四周交卷！Gemini 4 Carbon啃下加密协议验证硬骨头

谷歌 DeepMind 借助 AlphaProof Code 框架，用 Gemini 4 Carbon 驱动 AI 智能体，仅花费四周时间生成约 650 万行 Lean 证明