谷歌发布新模型Gemini 4 Carbon，不再迁就只想聊天的普通用户了。
11月10日，谷歌正式上线Gemini 4 Carbon。大批月付20美元的用户在抱怨订阅分级混乱、首字响应慢达60秒。
这批人还在用聊天软件的逻辑看问题。Carbon压根不是造出来陪人即时问答的，它只服务于高复杂度、长周期的专业工作流。
Carbon的核心特征是多消耗Token去跑长链路验证循环，拿算力换确定性。在安全机构Wiz的测试中，它不到两小时就挖出两家大型SaaS服务商的零日漏洞；谷歌团队还用AlphaProof Code框架调动它生成数百万行Lean代码，几周内完成了Signal加密协议的数学证明，这在过去要耗费专家团队数年。面对缺失的实验数据，它更有98%的概率拒绝编造。大模型开始真正交付科研与核心工程级的严谨结果。
在Google Antigravity预览的swarm功能更值得留意。开发者可以让Carbon担任总架构师和审计员，调度轻量模型并行干活、互相挑刺。这种分工让它在CursorBench 4.0拿到榜首的同时，单任务总成本反而比外部竞品低了一半以上。
本质上，大模型的竞争已经从拼响应速度转向拼结果确定性。能定义复杂工程问题、懂得编排智能体集群的人会被持续放大。
而只把AI当问答框用的人，以后也许连核心算力的门槛都摸不着。