刚刚，Gemini 4 Carbon全球全量开放，4周、650万行数学证明验证「Signal安全」：官方表示，目前从今天起，Gemini 4 Carbon 将通过以下渠道开放：
消费者：Google AI Ultra 订阅用户可以通过 Gemini App 和 Google 搜索中的 AI Mode 使用。
开发者与企业：可以通过 Google AI Studio 和 Android Studio 中的 API 进行开发；Google AI Ultra 订阅用户还可以通过 Google Antigravity 使用，企业用户则可以通过 Gemini for Business 使用。
科学家与研究人员：可以通过 Google Antigravity 申请，有机会获得为期 6 个月的免费使用资格。
网络安全防御人员：可以申请加入 Fairwind 计划，获得 Carbon 在网络安全领域的使用权限。
此外，为了证明 Gemini 4 Carbon 在处理科学研究中复杂任务的能力，就在刚刚模型正式发布后，Google DeepMind 给出了一个颇具代表性的案例，公布了一项名为 AlphaProof Code 的研究：研究人员利用 Gemini 4 Carbon 驱动的 AI Agent，对 Signal 加密协议的底层代码进行了形式化验证，最终生成了超过 650 万行经过机器检查的数学证明代码。
这项原本可能需要专家团队耗费数年完成的工作，最终只用了四周。
更重要的是，这意味着 AI 开始从「写出代码」，走向「用数学证明代码是安全的」。