微软推出七款自研 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 首例，并经数学家独立验证。