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 通道費穩穩賺到了自己兜裡。