Microsoft 上线 xAI Grok 4：主打第一性原理推理，接入 Azure 平台

马斯克一边在法庭上和微软吵得不可开交，另一边两家公司的企业级合作却悄悄上线了。

微软宣布在 Azure AI Foundry 正式上线 xAI 的旗舰大模型 Grok 4。除了这款满血旗舰，一同登场的还有三款专门定制的衍生型号。

强化学习堆出来的逻辑怪兽

xAI 训练 Grok 4 用的是自家的 Colossus 超算集群。据他们透露，这次的训练算力规模比 Grok 3 翻了整整 10 倍。

架构设计上，Grok 4 和前代最大的不同在于把重心从传统预训练转移到了强化学习和多智能体系统上。简单说，它不再只靠背语料猜下一个词，而是把精力放在了如何分步解决难题。

模型里主打的功能是第一性原理思考模式。它在面对复杂的数学竞赛题、科学假设或逻辑谜题时，会在后台先像个研究员一样拆解逻辑链条，再给出经过推演的答案。

它的上下文窗口达到了 128K。官方称模型具备所谓的智能记忆，能在长文本输入里自动压缩和标注重点，丢进整份代码库或者几百页厚的研究报告也不会漏掉关键线索。

此外，Grok 4 还自带了原生工具调用能力和实时联网检索，能抓取近 48 小时的外部动态来辅助作答。

除了主模型，微软这次还打包上线了另外三个轻量变体。专注于推导决策的 Grok 4 Fast Reasoning、用来做基础摘要分类的 Grok 4 Fast Non-Reasoning，以及主攻多语言编程与调试的 Grok Code Fast 1。

在定价上，接入 Azure AI Content Safety 安全审查后的 Grok 4 标准版，输入每百万 token 5.5 美元，输出每百万 token 27.5 美元。

为什么重要

对于已经在用 Azure 的企业和开发者来说，最大的价值是不用再去折腾第三方的 API 账号和合规审批。直接在现成的云工作流里调用 Grok 4，就能拿到极强的逻辑排错和复杂推理能力。

不过值不值得现在大面积替换，还得算一笔账。每百万 token 高达 27.5 美元的输出成本并不便宜，如果不是真正需要多轮深度逻辑验证的场景，更轻量的 Fast 版本反而更划算。

对行业而言，这一步再次印证了微软要把 Azure 办成中立大模型超市的决心。从最初近乎绑定 OpenAI，到接纳 Mistral、Meta，再到如今直接上线死对头 xAI 的招牌模型，微软在云端只认客户需求，不挑技术门派。

我们认为微软这步棋走得格外精明。它一边用成熟的云安全护栏包装了行事风格相对自由的 Grok，帮缺乏企业级销售渠道的 xAI 解决了信任难题，一边又把算力和 API 通道费稳稳赚到了自己兜里。