AI 日报 · 2026-07-06 · VOL

大模型

OpenAI 发布 GPT-5.6 三款模型 Sol/Terra/Luna，7-9 公众开放、Sol 较 Fable 5 便宜两倍

OpenAI 7-5 发布 GPT-5.6 系列：Sol/Terra/Luna 三款 + 旗舰版 Sol Ultra / 7-7 至 7-9 公众开放窗口（部分机构已获 limited preview API）/ 新增"速度拨盘"允许用户在速度与质量间调节 / 内测实测 GPT-5.6 Terra 复杂 prompt 仅消耗 13% 额度，Fable 5 同类任务 21% 且反问 / Sol 定价较 Anthropic Fable 5 便宜两倍以上，token 效率领先

这刀砍在 Claude Fable 5 限额方案失效的真空期，窗口精准得像外科手术。OpenAI 没靠参数翻倍，而是用 token 效率 + 价格折扣做反杀——13% vs 21% 的额度消耗、便宜 2 倍的定价，对工程化 Agent 调用方来说几乎等于"换云能直接降本一半"。Anthropic 之前靠 Claude Code 隐写术门和 Opus 4.8 严重幻觉把市场拱手让出，现在 Fable 5 限额的真空期就成了 OpenAI 的黄金窗口。7-7 这场仗值得蹲守。

Anthropic 官方 · 今日 →

Anthropic 发布 10 款金融 AI 代理，年化收入 300 亿美元冲刺 IPO，同比 +1400%

Anthropic 7-5 推出 10 款金融行业预配置 AI 代理 / 覆盖投行/资管/保险三大子赛道：Pitch builder / Earnings reviewer / Model builder / KYC screener 等 / 可独立运行或插件集成 / 公司年化收入约 300 亿美元，同比增长约 1400% / 冲刺年底 IPO

"10 款"这个数字本身就是信号——Anthropic 从通用大模型一步跨到"垂直 Agent 货架"。金融是 AI 商业化最敏感的试金石：客户付费意愿高、流程标准化程度高、合规护城河可定价。同期 Claude Tag 集成 Slack、Claude Science 剑指药物研发，三条垂直 Agent 战线在同一天摆开——这不像是产品节奏，更像是 IPO 前夜对华尔街"我们不只是模型公司、是 Agent 平台"叙事的集中演练。300 亿年化同比 +1400% 这个增速，意味着 Anthropic 已经把 OpenAI 在 B 端的差距压到了单季度可追平的距离。

Anthropic 官方 · 今日 →

Anthropic 推出 Claude Tag 集成 Slack，AI 首次以"被 @"方式嵌入团队实时工作流

Anthropic 7-5 正式推出 Claude Tag / 集成至 Slack 平台 / 使用方式：在频道中 @Claude Tag 即可触发 AI 参与讨论 / 标志着 AI 从"独立工具"转向"团队成员" / 配套 10 款金融代理、Claude Science 同步上线

AI 进 Slack 不稀奇，但"@Claude Tag"这种以"被点名"为主交互的设计很微妙——它把 AI 从主动对话框塞回团队异步讨论流，弱化"工具"感、强化"队友"感。配合 Anthropic 同步推出的 10 款金融 Agent 和 Claude Science，可以看出他们想从"模型 API 提供方"直接切到"企业工作流嵌入式 Agent 平台"——跟 OpenAI 死磕通用 Agent、跟 Google 死磕 Workspace 嵌入完全是第三条路。Slack 本身就是企业 IM 事实标准，Anthropic 这手等于在 Salesforce 体系内建了一条"AI 中枢神经"。

Microsoft 官方 · 本周 →

微软 Copilot 大重构：消费版与企业版合并 8 月上线，新增 AutoPilot 后台常驻智能体

微软 7-3 内部备忘录披露将全面重构 Copilot / 消费版（Copilot Pro）与企业版（Microsoft 365 Copilot）合并为单一产品 / 预计 8 月发布 / 新增 AI 编程工具 + 代号"AutoPilot"的后台智能体 / AutoPilot 可在后台持续运行，负责日程安排、邮件摘要等任务 / 微软已停用内部 Claude Code 许可证，工程师转 Copilot CLI

微软这步棋同时做三件事：把消费和企业产品线收口、推出 AutoPilot 跨进 Agent 主战场、内部禁用 Anthropic 切换自研。AutoPilot 跟 Anthropic 今天的 Claude Tag、Anthropic 金融代理是同一个范式——AI 从"对话框"变"后台常驻同事"。但微软的优势在于 Office + Teams + Outlook 这个几乎垄断的企业协同底座，AutoPilot 天然能调度邮件/日程/文档三件套。配合 7-2 微软刚宣布的 Frontier Company（6000 工程师专服头部 AI 实验室），这家公司正在把"云服务"重新定义成"AI Agent 操作系统"。

安全与监管

第一财经 · 今日 →

阿里内部 7-10 起全面禁用 Claude Code，转用自研 Qoder，中国互联网首例明确禁令

阿里 7-3 内部通知 / 7-10 起全面禁止员工在办公环境使用 Claude Code / Claude Code 2.1.193-196 被曝存在隐写术式时区/代理检测代码（暗藏 Unicode 字符标记中国用户）/ Anthropic 团队成员 @trq212 公开承认并承诺次日版本移除 / 阿里内部推荐使用自研 Qoder 替代（去年 8 月上线）

Claude Code"隐写术后门"事件已经从 Reddit 爆料升级成企业级采购禁令——这是中国头部互联网公司第一次以"安全风险"为正式理由禁用 Anthropic 产品。Qoder 作为替代方案在阿里内部快速铺开，意味着 2025 年 8 月才上线的自研 Agentic 编程平台已经具备替换 Claude Code 的工程化能力。这条禁令真正的连锁反应不在阿里本身，而在腾讯、字节、美团、京东——它们的安全部门现在都拿到了"阿里先做了"这个样板。中国 AI 编程工具的市场格局可能因此加速重构：Cursor/Copilot 之外，国产替代品多了一个明确的"安全合规"卖点。

融资与市场

Quantum Systems 官方 · 今日 →

德国 Quantum Systems 完成 12 亿美元融资估值 80 亿，AI 自主无人机成军民两用新热点

德国 Quantum Systems 7-5 官宣完成 12 亿美元融资 / 投后估值 80 亿美元 / 专注 AI 驱动自主无人机系统 / 业务覆盖军民两用：战场侦察 / 边境巡逻 / 农业测绘 / 物流配送 / 是当日全球 AI 硬件赛道单笔最大融资

80 亿估值单轮跳涨，背后是欧美军工 AI 化预算的全面上行。Quantum Systems 的特别之处在于"军民两用"——既能交付给 NATO 部队执行乌克兰战场的侦察任务，也能在民用场景里跑农业测绘。资本涌入的逻辑是：当无人机具备了视觉大模型 + 自主决策 + 集群协同能力，它就从"航空模型"变成了"会飞的 Agent"，而会飞的 Agent 在战场和物流这两个市场都有千亿级 TAM。这跟 Etched Sohu（7-2 报道的 8 亿融资）同属"AI 改变物理世界执行方式"这条主线——只是 Etched 改数据中心，Quantum Systems 改天空。

前沿技术

Frontier · GitHub & arXiv 周边

MCP 协议规范 · 本周 →

MCP 2026-07-28 协议重设计：彻底移出会话状态、引入 MCP Apps、弃用 Roots/Sampling/Logging

MCP 2026-07-28 规范发布候选版本（5-21 由 David Soria Parra 与 Den Delimarsky 公布）/ 核心改动：协议彻底无状态化——每个请求自包含，无需初始化握手/无 session ID/可被 round-robin LB 直接路由 / 新增 Extensions 框架 + MCP Apps（server 渲染 UI）/ Tasks 升级为 Extension / 授权模型对齐 OAuth 2.0 + OIDC / 弃用 Roots/Sampling/Logging

MCP 无状态化是协议自发布以来最大的一次重设计。核心影响：以前每个 MCP server 必须维护 session 状态、强制 sticky session、深包检测网关——这对自托管是噩梦、对 Serverless 几乎不可行。无状态后，MCP server 可以跑在 Cloudflare Workers/Vercel Edge/Lambda 任意 LB 后面，部署成本和工程负担都断崖式下降。MCP Apps（server 渲染 UI）让 MCP 从"工具数据协议"升级为"应用层协议"——这是 Anthropic 给 MCP 生态留下的最大想象空间，也是对 OpenAI 同期推 Apps SDK 的正面回应。7-28 正式发版前，所有 server 实现都该开始测 RC 了。

GitHub · Mistral AI · 本周 →

Mistral 开源 Leanstral：119B 总参 6B 激活，专攻 Lean 4 形式化证明，r/LocalLLaMA 636 赞

Mistral 7-3 开源 Leanstral（首个面向 Lean 4 形式化证明语言的开源代码 Agent）/ 总参 119B / 激活 6B（MoE 5% 激活率）/ 在 miniF2F 达到饱和 / PutnamBench 解决 587/672 个问题 / FATE-H 87% / FATE-X 34%（均 SOTA）/ r/LocalLLaMA 帖子 636 赞 74 评论 / 1M 上下文 256GB 显存可运行

"6B 激活参数吊打大模型"才是这条新闻的真正爆点。Leanstral 用 5% 激活率在数学形式化证明上做到 SOTA，等于宣告"MoE + 专项训练"对"暴力堆参数"的代际优势。意义不止于数学：它证明了在垂直任务上，专项数据密度比通用基座规模更重要。配合 1M 上下文 256GB 显存可跑（社区修复后），这意味着中小团队不必再依赖云端 API 就能本地部署 SOTA 数学 Agent——学术圈对形式化证明助手的需求会被一次性打开。Mistral 这步是"小而强"哲学在 2026 年的最新注脚，跟 DeepSeek R1 同属一条线。

GitHub · headroomlabs-ai · 本周 →

headroom 上线即登顶趋势：上下文压缩层 60-95% 减 token，库/代理/MCP server 三形态发布

headroomlabs-ai/headroom 单日 2.5k Star / 总 Star 4.6k / 同一仓库发布三种形态：Python 库 / LLM 流量代理 / MCP server / 在工具输出、日志、文件、RAG chunks 进入 LLM 之前进行压缩 / 减幅 60-95% / 答案质量不变 / Trending 日榜前 10

"上下文通胀"是 2026 年 LLM 应用的隐性税——一个 Agent 任务跑完动辄 10 万 token，成本被 MMLU、长记忆、工具循环推得失控。headroom 的聪明之处是三形态同发：库给单进程用、代理给跨服务流量用、MCP server 给 Claude Code/Cursor 那种 AI 编程工具用。60-95% 减幅 + 答案质量不变意味着这是一层"透明优化层"，不需要改应用代码就能接进去。GitHub Trending 上线即霸榜说明市场对"中间件式省钱"的需求远大于"再训练一次模型"。这是 RAG 时代之后第一个真正落地"上下文即成本"的产品化答案。