Google发布Gemini 4 Carbon，称已在数周内验证Signal加密
来源标题：Google says its new AI proved Signal’s encryption in weeks
Google推出面向付费开发者的新模型Gemini 4 Carbon，定位高于Gemini 4 Argon，主打复杂软件工程、网络安全与科学推理。Google称该模型在数周内完成了对Signal加密的验证。发布同时上线Antigravity预览功能/swarm，可让多个编码智能体并行工作。
以下正文由 AI 翻译自 The New Stack（原文版权归原站所有），可能存在偏差，重要内容请以原文为准。
Google于周二向付费开发者发布了Gemini 4 Carbon，将其定位为在复杂软件工程、网络安全和科学推理方面超越Gemini 4 Argon的最前沿模型。
Argon仍是Google为日常工程和知识工作推荐的模型。Carbon则面向更高要求的任务，包括多包迁移、跨子系统调试和长周期智能体工作流。
Google DeepMind高级副总裁兼Google首席AI架构师Koray Kavukcuoglu在发布公告中将Carbon描述为公司用于复杂多步骤工作的最强模型。
此次发布还引入了/swarm，这是Google Antigravity中的一项预览功能，可通过单一提示协调多个编码智能体。
多智能体编码到来
/swarm已在Google Antigravity中提供预览，允许开发者在并行、隔离的工作区中运行智能体，并实时监控其进度。
Carbon能够构建、测试和调试全栈应用，同时检查代码和渲染后的UI。Google表示，它在多包迁移和跨子系统调试方面表现尤为出色。
Google尚未解释/swarm如何在智能体之间共享上下文、如何处理冲突变更，或如何决定哪些任务需要Carbon而非更轻量的模型。
Google声称Carbon在CursorBench 4.0、Perplexity的WANDR和Zapier的AutomationBench上排名第一，完成任务成本不到次优模型的一半。
Google尚未解释/swarm如何在智能体之间共享上下文、如何处理冲突变更，或如何决定哪些任务需要Carbon而非更轻量的模型。
11月30日价格翻倍
Google尚未提供足够细节，无法独立验证这些成本比较。Carbon发布价格为每百万输入token 2美元、每百万输出token 10美元，与Argon相同，11月30日之后将翻倍至4美元和20美元。
Carbon的性能能否抵消这些更高成本——包括多智能体编排和验证的开销——仍有待在生产环境中验证。
证明Signal的代码
Google公告中技术野心更大的示例之一涉及AlphaProof Code，这是一个用于形式化验证的新智能体框架。
Google研究人员使用Carbon及其他模型，从数学上证明了Signal加密协议底层代码的关键安全属性。
研究人员将安全需求转化为数学定理，并使用AlphaProof Code智能体生成数百万行Lean代码。Lean是一种用于表达和检查数学证明的语言。
Google表示，这项工作耗时数周，而类似验证工作过去需要专家团队花费数年时间。
公告未说明所验证属性的完整范围、需要多少人工干预，以及Google是否会公开证明产物。
Google表示，这项工作耗时数周，而类似验证工作过去需要专家团队花费数年时间。
双刃剑般的安全能力
Google最初于10月下旬通过其Fairwind Program向选定的防御方提供Carbon的网络安全能力。
Google表示，Carbon在SEC-bench Pro、ExploitGym和CWE-bench v1上领先，这些基准涵盖漏洞发现、利用和修补。
在Google的自主扫描、分类和修复系统Project Fortify中，Carbon在内部基准上实现了100%的扫描召回率和95%的分类精确率。Google还报告称，在测试开源代码库时，其召回率相较Argon提升了25%以上。
Google的Cloud Vulnerability Research团队使用Carbon确认了一个流行开源项目中的两个漏洞可被利用，促使维护者将其归类为严重漏洞并发布补丁。Google表示，这些漏洞的严重程度与近期的PHP2Shell漏洞利用相当，但由于披露流程仍在进行中，尚未公布受影响项目的名称。
另外，Wiz通过其Scan for Good计划使用Carbon，在不到两小时内发现了两家大型SaaS提供商的零日漏洞。受影响的组织与研究人员合作进行了修复。
网络安全的两面性
更强的利用能力也引发了滥用担忧。Google表示，Carbon的防护措施在模拟环境中阻止了自适应红队智能体99%的攻击轨迹，将每次尝试的入侵率降至0.8%，而Argon为3.1%。
Google还报告称，在Gray Swan的间接提示注入基准上攻击成功率为0%，同时承认更复杂的攻击仍是需要改进的领域。
这些结果来自特定的评估环境，并不能证明Carbon能够抵御所有现实世界的攻击。
这些结果来自特定的评估环境，并不能证明Carbon能够抵御所有现实世界的攻击。
获取Carbon
Gemini 4 Carbon可通过Google AI Studio和Android Studio中的付费Gemini API层级，以及Google的企业产品获取。
Google AI Ultra订阅者可通过Antigravity、Gemini应用和搜索中的AI Mode访问Carbon。/swarm编排功能仍处于预览阶段。
使用Carbon的高级网络安全工具仍需通过Fairwind审批。Google还为选定的科学家提供通过Antigravity免费使用Carbon六个月的机会，申请已开放，每周都会新增研究人员。
Google已发布更新的Gemini 4开发者指南，涵盖迁移和实现。
文章“Google says its new AI proved Signal’s encryption in weeks”最初发表于The New Stack。
正文由 探How 从来源站点 RSS 同步，内容未经改写；遇到排版缺失或需要图片、视频时请以原文为准。