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

谷歌 DeepMind 用 AlphaProof Code 框架搭配 Gemini 4 Carbon 驱动 AI 智能体，只用 4 周就完成 Signal 加密协议底层 libs