Gemini 4 Carbon 这次面向全球全量开放了，官方还专门花 4 周时间、用 650 万行数学证明做了「Signal 安全」验证。关心大模型上线节奏和安全性的读者可以留意一下，这篇讲的就是这件事。

最值得看的是那个验证规模：650 万行数学证明，不是随口说说的安全承诺。对做模型评测、安全合规或者想了解官方怎么自证的人来说，这点信息量最大。

整体上这篇是个简短的消息式报道，重点放在开放范围和验证数据上，没有太多展开。想快速知道 Gemini 4 Carbon 现在能用了、官方拿什么证明安全，看这几句就够了。