Gemini 4 Carbon 转正：长程智能体走进生产环境
11月10日，谷歌正式让 Gemini 4 Carbon 转正。这款被谷歌定位为"最强模型"的产品结束预览，同步进入 GitHub Copilot、付费 API 与 AI Ultra 订阅层，开发者、企业与搜索用户都能直接调用。按照谷歌公布的数据，Carbon 在 CursorBench 4.0、Perplexity 的 WANDR 与 Zapier 的 AutomationBench 三项智能体基准上排名第一，单任务成本比次优的外部模型低一半以上，1M token 的上下文窗口则对准了需要长时间跨文件、跨步骤推进的复杂工程与科研任务。
与转正一同到来的是定价与分发策略：引导期内每百万输入 token 2 美元、输出 10 美元，11月30日后恢复为 4 美元与 20 美元；开发环境 Antigravity 则新增 /swarm 命令，一条指令即可协调多个智能体，在隔离工作区中并行作业并由对抗性验证器交叉检查。谷歌同时公布了 Carbon 网络安全防护的范围化测试结果，称对自适应红队智能体的拦截率达到 99%——在模型能力竞赛之外，"谁能安全地把模型放进生产环境"正在成为新的卖点。
650 万行 Lean 证明：AI 四周啃下加密协议验证硬骨头
比转正更有分量的，是 Carbon 转正前后披露的一项科学成果：DeepMind 的 AlphaProof Code 智能体系统用约四周时间，为 Signal 通信协议编译后的 libsignal 代码产出了机器可检验的 Lean 形式化证明，规模约 650 万行。这类关键软件的安全属性验证，过去通常需要人类专家团队以年为单位推进，而 Signal 恰好是全球最受信任的通信协议之一——一旦其加密实现存在缺陷，影响的是数亿用户的通信安全。
在安全研究者看来，AI 加速的形式化验证可能改变关键软件的证明方式：从最 trusted 的消息栈开始，逐步延伸到操作系统内核、加密库与工业控制系统。需要说明的是，这是谷歌自行报告的结果，650 万行证明的覆盖面与假设条件仍有待独立社区复核；但即便如此，"数周对数年"的时间差已经足够让形式化验证从学术议题变成工程选项。
ChatGPT 开商铺：从对话框到商业街
就在 Carbon 转正同一天，OpenAI 上线了 Businesses in ChatGPT 的测试版。企业可以在 Business Hub 中认领经过验证的品牌资料、管理信息并查看用户互动洞察，还能通过 Shopify Catalog 同步商品目录；符合条件的美国电商与在线服务企业，则能部署 Business Agents，让自主销售与客服智能体直接进入用户与 ChatGPT 的对话。助手与市场之间的墙正在被拆掉——OpenAI 想同时做对话的入口和交易的场。
商业化动作背后是持续放大的收入曲线。据多家媒体援引投资者电话会议信息，OpenAI 第三季度营收首次突破 100 亿美元，环比增长约 50%；此前一轮私募融资以约 1.25 万亿美元估值完成。与此同时，OpenAI 还公布了 Control Room 系统：它跟踪研究基础设施中所有模型负载，一旦出现安全或安保方面的疑虑，可在约 35 秒内停止模型输出。对一家把前沿模型训练形容为"离线世界"的公司来说，这道急停装置本身就是面向公众市场的信心工程。
Claude 进办公室：办公套件与微软的腹地
Anthropic 这一周的关键词则是"上班"。Claude Sheets 与 Claude Whiteboards 进入测试，Claude Data 转为正式可用，Claude Meetings 也一并预告；Adobe、Atlassian 等合作伙伴的应用可以直接嵌入 Claude。一句话做表、画白板、搭数据看板，Claude 正从聊天机器人变成生产力平台，直接对垒 Google Workspace 与微软 365 把守的企业办公腹地。有媒体报道，消息公布当日微软股价出现下跌。
如果把三家公司的动作放在同一张时间轴上，图景会清晰许多：谷歌让最深度的模型在生产工具链里转正，OpenAI 把对话框改成商铺，Anthropic 则把 Claude 塞进办公室。模型竞赛并没有结束，但发布会的 PPT 已经从跑分榜单换成了场景清单——谁的模型进了 Copilot，谁的对话框里有货架，谁的界面里能画白板。对采购决策者而言，比较的不再是单点分数，而是"完成一件工作的总价"。
阿里 Qwen 4 低价冲锋：1.2 万亿参数，每百万 token 一美元
中国厂商这一周的主攻方向是价格与开源。11月11日，阿里上线 Qwen 4 API：总参数 1.2 万亿的稀疏 MoE 架构、每 token 激活 56B，1M token 上下文，支持多模态输入与可切换的混合思考模式，定价为每百万输入 token 1 美元、输出 4 美元；官方同时承诺在 12月20日前以 Apache 2.0 协议开放权重。同步开跑的还有 Qwen4-Max 预览，窗口期至 11月25日，最高支持 393,216 个输出 token，限时价格低至标价的一成。
开发者工具链也在密集补课。阿里同日正式发布 Qwen Code 1.0，将 Qoder 与 Qwen Code Harness 融合开源；上海上智院则开源了 REMORY——仅 1.9B 的记忆模块，用两张 H800 完成全自监督训练，即可让小模型独立工作三天，产出接近 GPT-6.1 Terra 的水平。当"记忆"和"工具调用"成为独立组件，智能体的构建方式正在从微调大模型转向组装模块。
电与钱的账：甲骨文发债 200 亿美元，Anthropic 买下 1.7GW 燃气
应用层的热闹，终究要靠底层资本与电力买单。甲骨文计划通过债券与股票发行筹集 200 亿美元，为 AI 与云基础设施扩张输血，公司希望到 2030 财年实现收入较当前水平增长逾两倍；AWS 第三季度营收同比增长 39%，财富 500 强企业在 Bedrock 上的支出同比增近 7 倍，token 调用量增长约 17 倍。电力侧的动作更为直接：Anthropic 向发电企业 OnePWR 承诺 34 亿美元，采购 1.7GW 燃气发电机组——这是 AI 实验室已知最大规模的同类采购，模型公司的扩张计划里开始出现"自备电厂"的选项。
另一侧，数据中心的选址正在遭遇民意定价。据《华尔街日报》报道，在多地反数据中心选举结果落地后，OpenAI 正讨论修订 2027 年的容量计划，并承诺在数据中心谈判中放弃保密协议、不让当地居民承担电费、在高峰时段降低用电强度。算力承诺可以写进招股书，但电网与社区的接收度，正在成为比 GPU 交付更硬的约束。
花边与趣闻：AI 造引擎、AI 掌机与下海的 AI
硬新闻之外，这一周的花边同样热闹。Epic 发布虚幻 5.9，更新包主要由 AI 在一周内写完，公司 CEO 直言游戏开发进入新纪元；OpenAI 开卖定价 1334 元的 Codex 掌机，玩家可以直接游玩 Codex 生成的游戏；清华系团队历经二十年攻坚，让深海 AI 大脑攻破 71% 的感知盲区；酒店洗衣房里，双脑协同加 RSI 的机器人已经能接管顶级 Astra 驾驶员的活儿。谷歌云则发布美国预览版的 Gemini for Healthcare，用智能体打通医院、计费与保险之间碎片化的记录。
访问规则也在同步收紧。Anthropic 更新地区使用规则，自 11月12日起禁止在服务不受支持的地区（含中国大陆）使用 Claude，并可能要求用户通过政府身份证件加自拍完成身份验证；OpenAI 则宣布自 11月20日起，第三方平台提供 GPT 模型直连须事先获得批准，同时对多付费账号共用支付卡与设备的行为施加限制。规则趋严的背后，是模型能力外溢与合规成本的同时上升。
一周的密集动作勾勒出同一条曲线：模型还在发布，但竞争的坐标系已经更换。通用模型负责日常推理与调度，更深的模型攻坚架构与根因分析，低成本模型在海量工具调用中执行重复步骤，独立智能体与验证器负责交叉检查——这套正在成型的"模型栈"，让选择模型从排行榜决策变成路由与系统设计问题。而 650 万行加密验证与 60 秒首字延迟的同时出现，也提醒着这场应用层竞赛的另一面：最深的能力与最重的成本，仍是同一枚硬币的两面。
暂无评论内容