AI前沿速递 · 2026年08月03日
微软Polaris取代OpenAI模型成Copilot默认；OpenAI IPO推迟至2027；DeepSeek-V4-Flash正式版Agent能力追平旗舰；AI知识垄断争议升温
8月伊始，AI行业迎来三重信号：微软正式与OpenAI”脱钩”——自研Polaris模型取代GPT-4成为Copilot默认引擎；OpenAI自身IPO推迟至2027，万亿估值梦遇冷；而DeepSeek用130亿激活参数的Flash模型追平旗舰级表现，再次改写”性价比”定义。
微软 Project Polaris 取代 OpenAI 模型，成为 GitHub Copilot 默认引擎
事件概述： 本月起，微软自研的 MoE（混合专家）编码模型 Project Polaris 正式替换 GPT-4 Turbo，成为所有 GitHub Copilot 订阅层（Individual / Business / Enterprise）的默认模型。Polaris 运行在微软自研 Maia AI 加速器上，完全不再调用 OpenAI API。企业客户可选用三个月回退窗口（至11月）继续使用 GPT-4 Turbo。Pro 及 Pro+ 用户同步获得 10 万行多文件上下文和自主测试生成能力，定价不变。
为什么值得关注： 这是 Copilot 自 2022 年上线以来最核心的模型层变更，标志着微软从”OpenAI 分销商”正式转向”模型自主”。Polaris 的 MoE 架构针对不同编程语言设有专用专家子模块（Rust、Haskell、Go 等低资源语言宣称提升最大），让每次推理仅激活相关专家，降低计算开销。从商业角度看，每一条 Copilot 补全不再向 OpenAI 付 token 过路费——这是一次利润率决策，包装在产品公告里。
相关链接：
- Microsoft Build 2026: Copilot Gets Its Own AI Model
- GitHub Copilot Replaces GPT-4 With Project Polaris
OpenAI IPO 推迟至 2027 年：万亿估值底线与市场现实的碰撞
事件概述： 据多家媒体报道，OpenAI 已从最初的”最快今年秋季上市”大幅后退，目前倾向于将 IPO 时间表推迟至 2027 年。核心矛盾在于：奥特曼坚持万亿估值底线，但顾问团队警告散户投资者热情不足。SpaceX 上市后从 225 美元暴跌至 108 美元的”前车之鉴”，直接动摇了 AI 板块的 IPO 信心。与此同时，公司二号人物 Fidji Simo 因病情恶化正式离职，加剧了领导层真空。
为什么值得关注： OpenAI 的推迟不仅是上市节奏调整，更是 AI 定价逻辑的转折信号——一级市场认可的”技术领先→估值扩张”叙事，二级市场未必买单。2026 年 Q1 OpenAI 烧掉 37 亿美元现金（超过同期 57 亿营收的一半），而 Anthropic 正全速推进秋季 IPO（估值 9650 亿美元已反超 OpenAI 的 8520 亿）。两家头部 AI 公司的上市节奏分化，将深刻影响整个 AI 板块的估值锚定。
相关链接：
DeepSeek-V4-Flash 正式版上线：130 亿激活参数追平旗舰级 Agent 能力
事件概述： 7 月 31 日，DeepSeek-V4-Flash 正式版 API 开启公测。模型架构与预览版一致（MoE 架构，2840 亿总参数 / 130 亿激活参数 / 1M 上下文），仅重新进行后训练，Agent 能力便大幅跃升：Terminal Bench 2.1 得分从 61.8 涨至 82.7，DeepSWE 得分从 7.3 飙升至 54.4。官方对比显示，V4-Flash 正式版整体性能超过 GLM-5.2（7440 亿总参 / 400 亿激活），逼近 Opus 4.8。价格极低：输入命中缓存仅 0.2 元/百万 token。
为什么值得关注： 一个激活参数仅为竞品 1/30 的模型，通过后训练优化在 Agent 基准上追平旗舰——这验证了”小模型 + 精调”路线的可行性，也再次挑战了”参数规模即能力”的简单等式。V4-Pro 正式版也将于 8 月上线，届时 Flash 与 Pro 的组合拳将进一步挤压中端模型的定价空间。
相关链接：
AI 知识垄断争议升温：从”工具提供者”到”知识生产商”的权力重构
事件概述： 8 月 3 日，虎嗅刊发长文《AI不会成为世界的主人，但AI公司可能会》，引发广泛讨论。文章指出：AI 已能自主生成数学猜想证明（Erdős 单位距离猜想、雅可比猜想等），顶级 AI 公司正从”工具提供者”转变为”新知识生产商”。若这些公司在内部完成发现与验证闭环、截留新知识作为合成数据，可能形成全球性”私人准主权”式知识垄断。同日，2026 年菲尔兹奖得主 Jacob Tsimerman 领奖后即赴 OpenAI，研究用数学方法证明 AI 智能体行为可控。
为什么值得关注： 这一讨论触及了 AI 发展的深层结构性问题：当 AI 自我验证能力进化到可以绕过学术界时，知识的生产与分配将发生根本性变化。这不是遥远的假设——OpenAI 的 Astra 已在内部解决 10 项数学开放问题，而论文仅以 249 页技术报告形式发布，未走传统同行评审。Tsimerman 的加盟则从另一面说明：头部公司正在用数学工具加速”可控性证明”，但可控性证明本身也可能成为私有资产。
相关链接：
Grok 4.6 / 4.7 密集发布在即：马斯克两周内两次大版本升级
事件概述： 马斯克 7 月 28 日在 X 平台预告：Grok 4.6 预计 8 月 7 日前后上线，参数规模约 1.5 万亿，在 SFT 和 RL 方面显著升级；Grok 4.7 将在数周后推出，参数达 2.1 万亿，“各方面优于 4.6，但推理速度略慢、token 效率更高”。这意味着 Grok 系列在不到一个月内将连续完成两次大版本升级，加速对标 Opus 5 和 Kimi K3。
为什么值得关注： 马斯克的”高频迭代”策略正在改写大模型发布的节奏惯例——从季度级缩短到双周级。但这种激进节奏的隐忧也很明显：Grok 4.5 发布时尚未同步发布模型卡和安全评估，4.6/4.7 能否在速度与安全审查之间找到平衡，仍是开放问号。对行业而言，更快的发布节奏可能倒逼竞争对手压缩测试周期，形成”速度压力传导”效应。
相关链接：