标签 > 刚刚，Gemini 4 Carbon全球全量开放，四周、650万行数学证明验证「Signal安全」

谷歌 Gemini 4 Carbon 正式面向全球全量开放，这款主打网络安全、长任务 Agent 能力的前沿大模型，依托 AlphaProof Code 智能体，