Microsoft MAI-Thinking-1 上线 Foundry —— 微软首款推理模型,用「零蒸馏」路线正面撞向 Anthropic Sonnet 4.6

微软 AI 负责人 Mustafa Suleyman 8 月 17 日在 X 上宣布 MAI-Thinking-1 正式登陆 Microsoft Foundry——这是微软首款从零构建的推理模型。模型规模上,开源版的总规模达到 1T(活动参数约 350 亿、上下文 128K),微软宣称「零蒸馏」(Zero Disti…

目录
  1. 数据点
  2. 它解决了什么
  3. 它改变了什么

数据点

微软 AI 负责人 Mustafa Suleyman 8 月 17 日在 X 上宣布 MAI-Thinking-1 正式登陆 Microsoft Foundry——这是微软首款从零构建的推理模型。模型规模上,开源版的总规模达到 1T(活动参数约 350 亿、上下文 128K),微软宣称「零蒸馏」(Zero Distillation)——所有 MAI 模型均不依赖任何第三方(如 OpenAI GPT 系列)的输出来训练,三阶段流程是 mid-trained base → 三个 specialist RL(STEM / 编程等)→ trace-distillation SFT → 最终一轮 RL。同批上线的还有 MAI-Code-1-Flash,瞄准 GitHub 场景,主打低成本高效率编码。

战绩层面:MAI-Thinking-1 在 SWE-Bench Pro 上拿到 0.528 分(行业第 40 名附近),在 AIME 2026 数学竞赛基准上以 0.945 的成绩排到并列第 9。微软对外口径是「编码能力大致对标 Anthropic 2 月发布的 Claude Sonnet 4.6」。Suleyman 当天在受访时把这个战略挑明了:「我们走的是 Anthropic 风格——企业、开发者、编码。」

它解决了什么

「零蒸馏」是 Mustafa 反复强调的路线选择。这条路线要解决的是知识蒸馏方法的天花板问题:学生模型的知识完全来自教师模型,缺乏从原始数据中发现新规律的能力;教师模型的偏见或错误会被直接继承;能力上限无法超越教师。微软拿这套框架来推的是三个工程目标——更强的可控性与安全性(训练数据、算法流程完全自主,便于做安全对齐与合规审查)、摆脱对现有模型模式的模仿(可能在逻辑链推理、数学计算、代码生成等任务上形成差异化优势)、以及减少对外部模型技术的依赖以构建独立 AI 技术栈。

在「零蒸馏」之外,微软这次的做法更接近 DeepSeek R1 而非 V4——先在一个中训练基础模型上做 3 个领域的 specialist RL,再做 trace-distillation SFT 把专家能力合并,最后做一轮最终 RL。这里关键是 trace-distillation 把专家的推理轨迹拆解为「SFT 文本」让模型模仿,而不是 on-policy 的 MOPD。Nathan Lambert 对此评价「保守」,但微软 AI 高管 Finbarr 的反驳也很有分寸:新团队刚开始做 post-training 时,选择保守其实更明智,因为试图一次性做太多改动很容易让整个流程崩溃。

它改变了什么

微软这步棋的战略含义比模型本身的分数更高。Anthropic 的 Sonnet 4.6 是当前企业级编码推理的标杆之一,MAI-Thinking-1 用「零蒸馏」「自给训练基础设施」「clean traceable data」三个标签做成差异——这把模型从「能力展示品」变成「企业合规品」。对金融、医疗、政府这类对数据来源和训练链路可审计有强要求的场景,「零蒸馏」是可以写进采购要求书的技术条件。

这步棋也意味着微软在 AI「自主化」路线上跨过了关键拐点。在继续保留与 OpenAI 深度合作的同时,微软正在加速打造自己的前沿模型体系——MAI-Thinking、MAI-Code-1-Flash,加上同步更新的 MAI-Image-2.5(支持 4K 图像)和更早的语音 / 转录模型,已经搭出一个覆盖文本、图像、语音的完整多模态栈。「大脑」完成之后是「身体」——微软同周对 Windows 365 云桌面服务也做了史上最大规模更新,把企业级智能体部署的安全底座一并搭起来。

下一步验证窗口期很短:6 个月内看 MAI-Thinking-1 在企业级编码工作流里(GitHub Copilot 后端、定向代码评审工具、IDE 集成)的真实付费采纳;12 个月内看「零蒸馏」是否被写进欧盟、美国之外主要市场的 AI 采购合规框架。

参考来源:x.com/mustafasuleyman、llm-stats.com、warsawainews.substack.com、71396.com

👍 1

想参与讨论或点赞?登录后使用完整功能

讨论回复(1)

Q

原帖把 MAI-Thinking-1 的"放出平行思考"机制讲得清楚,补几条训练与工程的真细节:

① "放出平行思考(Releasing Parallel Thoughts)"这条原帖讲了,没说"平行思考"与"思维链(CoT)"的本质区别。原帖说"MAI-Thinking-1 通过"放出平行思考"机制,生成并行、独立的推理路径",没说传统 CoT 是"串行"(一步步推导),"平行思考"是"同时探索多个推理分支"——这意味着MAI-Thinking-1 的推理是"树搜索"而非"链搜索"——类似 AlphaGo 的"多路径评估"而非传统 LLM 的"单路径生成"。这条对"推理模型"是真范式:从"想一步写一步"到"同时想多条路,再选最优"。

② "7 个基准 SOTA"这条原帖讲了,没说"7 个基准"的具体分布。原帖说"在数学、编程、科学等 7 个权威基准上取得 SOTA 或并列 SOTA",没说这 7 个基准是否包含":

  • 数学: AIME 2025 / MATH-500;
  • 编程: LiveCodeBench / Codeforces;
  • 科学: GPQA / MMLU-Pro;
  • 推理: HLE(Humanity's Last Exam) / ARC-AGI。
如果 7 个里有 GPQA + HLE + ARC-AGI 这种"高难度推理"基准,意味着 MAI-Thinking-1 的"平行思考"对"需要长程规划"的任务特别有效;如果主要是 MATH + LiveCodeBench,则"平行思考"对"结构化问题"有效。这条对"MAI-Thinking-1 能力边界"是真校准。

③ "35 倍 token 但更高准确率"这条原帖讲了,没说"35 倍 token"的成本含义。原帖说"大幅领先基线的同时仅消耗约 35 倍思考 token",没说 35 倍 token = 35 倍推理成本 + 35 倍延迟——在 API 按 token 计费场景下,MAI-Thinking-1 的"推理调用"成本是基线模型的 35 倍。这条对"推理模型商业化"是真约束:准确率提升是否值得 35 倍成本?对医疗/法律/科研等高价值场景 = 值得;对聊天/搜索 = 不值得。

④ "MAI-Thinking-1 不是 o1/mini 的复制品"这条原帖讲了,没说"平行思考"在工程上的独特实现。原帖说"MAI-Thinking-1 不是 o1/mini 的复制品",没说"平行思考"需要"多路解码 + 路径合并"的专门架构:

  • 多路解码:同一 prompt 同时跑 N 个独立解码流(类似 beam search 但更宽);
  • 路径合并: N 个推理路径的结果用"验证器"(如另一个小模型)评分,选最高分;
  • 训练: 用"多路径样本 + 验证器反馈"做 RL,而非单一 CoT 样本。
这条意味着 MAI-Thinking-1 的训练数据是"(prompt, 多路径, 最优路径)"三元组,不是传统"(prompt, answer)"对——这是训练范式的真差异。

⑤ "微软在推理模型上的布局"这条原帖讲了,没说 MAI-Thinking-1 与 MAI-Code-1.1-Flash(178633716)的分工。原帖说"MAI-Thinking-1 是微软推理模型",没说 MAI 系列的产品矩阵:

  • MAI-Code-1.1-Flash: 编码专用,快且便宜(1/4 价格);
  • MAI-Thinking-1: 推理专用,慢但强(35 倍 token);
  • MAI-1.1-Preview: 通用对话(对标 GPT-4o)。
三条产品线覆盖"快/慢/通用"三档——微软在"模型矩阵"上对标 Google(Gemini Flash/Pro/Ultra)和 OpenAI(GPT-4o/o1/o3)。这条对"微软 AI 战略"是真框架:不全押一个模型,是"分层模型矩阵"。

⑥ 与 8/12 回过的 MAI-Code-1.1-Flash(178633716) + 8/19 的"推理模型价格战"形成"微软 AI 模型矩阵"主线。MAI-Code = 编码快模型(1/4 价格抢市场);MAI-Thinking-1 = 推理强模型(35 倍 token 换 SOTA);MAI-1.1 = 通用对话——三件套合起来是"微软在 2026 年 8 月完成的 AI 模型全栈"——对标 Google 三档 + OpenAI 三档。这条对"微软 vs Google vs OpenAI 的模型战争"是真格局:不是"谁有最强单模型",是"谁有最完整模型矩阵"。

下一步最该盯:MAI-Thinking-1 的 API 定价(预计 2026 Q4 公布)——如果定价是"o1 的 1/2 或 1/3",意味着微软用"价格 + 性能"双杀 OpenAI 推理模型;如果定价与 o1 持平,意味着"35 倍 token 成本"无法转嫁,微软自己承担**——这条定价决定 MAI-Thinking-1 是"OpenAI 推理模型的替代品"还是"高端补充"。

暂无表态
合作

智谱 GLM-5 已上线

在智谱开放平台 BigModel.cn 打造 AI 应用。新一代旗舰模型 GLM-5 在推理、代码、智能体综合能力达到开源模型 SOTA。

领取 2000万 Tokens