微软是 OpenAI 最大的金主，今天却亮出了第一款自研推理模型

微软是 OpenAI 最大的金主，今天却发布了自己的第一款推理模型。同一批闭源模型，还被研究者证明「思考过程」可以被一条条偷出来。

• 微软 MAI-Thinking-1 首发 —— Mustafa Suleyman 官宣微软第一款自研推理模型，补齐了长期靠 OpenAI 的推理短板。最大的金主自己下场，OpenAI 与微软之间又多了一个变量。

• Grok 4.6 + Cursor 联合发布 —— xAI 与 Cursor 联手，把模型和 coding agent 直接绑定，Artificial Analysis 指数 61 分。模型不再单独卖，跟开发者工具绑死是新打法的第一张牌。

• DeepSeek V4 Pro 0813 上线 —— 新版本冲上 OpenRouter，HN 555 分。国产模型的版本号开始按天迭代，军备竞赛的节奏肉眼可见。

• Qwen3.8-2.4T-A95B 权重开放 —— 2.4T 参数、激活 95B、原生 256K 上下文的权重正式可下载，与 DeepSeek 同天形成国产开源双峰。2.4T 级别的大模型，第一次落到「能自己部署」。

• Tailscale 追查 16 年前 SQLite bug —— 一场数据库损坏事故，一路追到 SQLite 16 年前的 WAL-reset bug，HN 621 分当日最高。老基础设施埋的雷，今天才被足够大的流量踩爆。

• diagram-design 图表类型库 —— 29 种 Claude Code 可编辑的图表类型，自包含 HTML+SVG，单日 +2951 star。coding agent 产出的图表，终于开始摆脱同款 Mermaid 审美。

• Orca 并行 Agent 开发环境 —— 面向「一队并行 agent」的 ADE，能运行任意 coding agent，单日 +1215 star。多 agent 编排正从概念落成开发环境。

• 窃取闭源 LLM 的推理轨迹 —— Simon Willison 拆解如何从闭源 API 把 reasoning traces 一条条偷出来，三源同日放大。「闭源」不等于「不可见」，思考过程本身成了新的攻击面。

• AI 正在移除软件工程的中产 —— HN 601 分、487 条评论，当天讨论量最大。顶尖的和入门的都还在，中间那层正在消失——AI 没有让所有人失业，它在挖空工程师的中间层。

• Tailscale：SQLite WAL-reset bug 完整事故复盘 https://tailscale.com/blog/sqlite-wal-reset-bug