**Gemini 4 Carbon 全球全量开放，以 650 万行数学证明验证 Signal 安全**

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

> Google DeepMind 宣布 Gemini 4 Carbon 正式向全球开放，该模型专为复杂长周期任务设计，能投入更多推理资源进行深度探索与自我修正。此次发布特别强调其在网络安全领域的应用，通过 4 周的计算验证了 Signal 端到端加密的安全性，并包含 650 万行数学证明，展示了其在软件工程与科学研究中的强大能力。

**来源信息**
- **来源**：机器之心：文章库（API）
- **分类**：ai-models
- **发布时间**：2026-11-11 11:40（北京时间）
- **原文**：[打开原文](https://www.jiqizhixin.com/articles/2026-11-11-7)