微軟推出七款自研 MAI 模型，包含首款推理模型，以降低對 OpenAI 的依賴
為什麼值得讀 一個大型平台擁有者推出自家推理模型，並公開將其框定為少付 OpenAI 費用的途徑，這是一個結構性的故事，而不只是一次產品發布——它為整個前沿模型供應鏈重新定價。
在 6 月 2 日的 Build 2026 上，微軟發布七款從零打造的 MAI 模型，由推理模型 MAI-Thinking-1 領銜，以降低成本並減少對 OpenAI 的依賴。
標籤 · #reasoning-models
OpenAI 推理模型推翻 80 年的 Erdős 猜想——而且它不是數學專用模型
為什麼值得讀 標題是「AI 會做數學」。真正的訊號是：它出自一個通用推理模型，而非數學專用系統——並以建構出 80 年來無人找到的反例來推翻舊有信念。一個結果不算革命，但「通用性」才是重點。
OpenAI 表示一個內部推理模型自主推翻了 Erdős 1946 年的單位距離猜想（5/20）——AI 首例，並經數學家獨立驗證。