# get merge: 2026年7月13日星期一

由 AI 翻译。相较于[英文原文](https://getmerge.ai/2026-07-13.md)，部分措辞或含义可能不准确。

从 4 份通讯整合了 20 条资讯

AI 与设计资讯，每日聚合。 每个工作日收到简明摘要，并附上原文链接。

https://getmerge.ai/2026-07-13?lang=zh

## 摘要

- Apple 因涉嫌窃取硬件商业机密起诉 OpenAI，GPT-5.6 Sol Ultra 利用 64 个并行子智能体证明了一个有 50 年历史的数学猜想，同时 OpenAI 的安全负责人离职。
- 模型路由正成为关键中间件，DeepSeek 和 Meta 均在大力推进自研 AI 芯片，而 Thinking Machines Lab 则主张发展以人为本的 AI 而非完全自主。
- Cursor 推出侧边聊天功能，Grok 4.5 以每百万 token $2/$6 的价格发布，而 ByteDance 的 Seedream 5.0 Pro 在价格上比 GPT Image 2 低了约 9 倍。

## 头条新闻

- **Apple 因硬件商业机密起诉 OpenAI**. Apple 指控前员工 Tang Tan 和 Chang Liu 将机密文件带到了 OpenAI 的 io 设备部门，目前该实验室已有 400 多名前 Apple 员工。OpenAI 表示对其他公司的商业机密“毫无兴趣”。双方目前仍是 Apple Intelligence 的合作伙伴。 信息来源: The Neuron, The Rundown AI. [1](https://www.documentcloud.org/documents/28453229-apple-v-openai/)
- **GPT-5.6 Sol Ultra 证明有 50 年历史的数学猜想**. 该模型利用 64 个并行子智能体，在不到一小时内完成了环双覆盖猜想（Cycle Double Cover Conjecture）的证明。OpenAI 已在 GitHub 上公布了证明的 PDF 文件及 Lean 形式化代码；数学界目前仍在验证中。 信息来源: AlphaSignal, The Rundown AI. [2](https://github.com/openai/cdc-lean)
- **OpenAI 安全负责人即将离职**. 继上周首席未来学家 Joshua Achiam 离职后，随着公司进一步整合安全与研究团队，Johannes Heidecke 也宣布离职。 信息来源: The Neuron, The Rundown AI. [3](https://www.wired.com/story/openai-head-of-safety-leaving/)
- **SK Hynix 在创纪录的美股上市中筹资 $26.5B，警告内存短缺将持续至 2030 年**. 这是有史以来规模最大的外国公司在美股票发行，认购需求超额 7 倍。其 CEO 表示 2027 年将是内存历史上供应短缺最严重的一年；SK Hynix 供应着对 AI 至关重要的 56.4% 的 HBM。 信息来源: The Neuron, The Strange Review. [4](https://finance.yahoo.com/technology/article/chip-giant-sk-hynix-jumps-13-in-us-market-debut-193700352.html)
- **Meta 在遭遇强烈抵制后暂停 Instagram 上的 Muse Image 功能**. 这项标记即混剪（tag-to-remix）的功能将所有公开账户自动纳入了 AI 编辑范围；Meta 承认此举“未能达到预期”。 信息来源: The Neuron, The Rundown AI. [5](https://www.bbc.com/news/articles/c2dy6e8klw0o)

## 深度解析

- **模型路由器成为不可或缺的中间件**. AlphaSignal 的深度分析涵盖了启发式路由器、学习分类器、级联和集成方法。OpenRouter 的 Fusion 在 DRACO 基准测试中以大约一半的 token 成本击败了独立的 GPT-5.5；像 NadirClaw 这样的开源方案可将 API 账单削减高达 70%。 信息来源: AlphaSignal. [6](https://openrouter.ai/blog/announcements/fusion-beats-frontier/)
- **据报道 DeepSeek 正在开发专注于推理的 AI 芯片**. Reuters 报道称，DeepSeek 已花费约一年时间设计一款推理芯片，目前正与代工合作伙伴洽谈。鉴于约 70% 的 AI 算力需求来自推理，一家同时设计模型和芯片的实验室可能会挤压 Nvidia 在中国的业务。 信息来源: The Strange Review. [7](https://finance.yahoo.com/technology/ai/articles/exclusive-chinas-deepseek-developing-own-103437335.html)
- **Meta 的 Iris AI 芯片将于 9 月投入量产**. 该芯片与 Broadcom 联合设计，由 TSMC 制造。Meta 计划在 2026 年实现 7GW 的算力容量，并在 2027 年通过 $125-145B 的支出将其翻倍至约 14GW。Broadcom 手握来自 Google、OpenAI、Meta 和 ByteDance 的总计 $73B 的 AI 芯片积压订单。 信息来源: The Strange Review. [8](https://techcrunch.com/2026/07/09/metas-new-ai-chips-will-begin-production-in-september/)
- **Microsoft 将部分 Copilot 提示词路由至内部模型**. GPT-5.6 已成为 Microsoft 365 Copilot 的首选模型，但 Microsoft 正将部分 Excel/Outlook 提示词路由至内部模型，以削减推理成本。 信息来源: The Neuron. [9](https://openai.com/index/gpt-5-6-preferred-model-microsoft-365-copilot/)
- **Thinking Machines Lab 主张发展以人为本的 AI**. 该实验室的文章反对以自主性时间尺度作为衡量进步的标准，认为用户应当训练并拥有自己的模型，这也同时为其 Tinker 产品提供了立论依据。 信息来源: The Strange Review. [10](https://thinkingmachines.ai/blog/the-future-worth-building-is-human/)
- **AI 2040 起草人类的“Plan A”**. AI Futures Project 最新的五种情景预测建议美国和中国在 2029 年暂停前沿模型训练，并扩大芯片追踪范围。合著者 Daniel Kokotajlo 预测“各家公司不会喜欢这个方案”。 信息来源: The Rundown AI. [11](https://ai-2040.com/)

## 工具与发布

- **Cursor v3.11**. 推出用于并行对话的侧边聊天（/side、/btw）、支持 Cmd+F 的可搜索智能体历史记录，以及用于自我纠错循环的云端智能体钩子（hooks）。 [12](https://cursor.com/changelog/side-chat)
- **Grok 4.5**. 由 xAI 和 Cursor 联合开发的模型，定价为每百万 token $2/$6，使用数万亿 token 的 Cursor 数据进行训练；声称在编程基准测试中击败了 Claude Opus 4.8。 [13](https://x.ai/news/grok-4-5)
- **Cognition SWE-1.7**. 基于 Kimi K2.7 构建的编程模型，通过 Cerebras 运行速度可达 1,000 tokens/sec，在 Devin 的标准订阅层中免费提供。 [14](https://cognition.com/blog/swe-1-7)
- **Runway Dev**. 通过单一 API 提供 Runway 的前沿视频模型以及第三方图像和音频生成器。 [15](https://runwayml.com/news/introducing-runway-dev)
- **Mistral Robostral Navigate**. Mistral 的首款机器人模型，支持使用自然语言在工厂和仓库中进行机器人导航。 [16](https://mistral.ai/news/robostral-navigate/)
- **GitHub Spec Kit**. 规格优先（Spec-first）的工作流，强制要求在编程智能体开始执行前完成需求定义、澄清和规划。 [17](https://github.com/github/spec-kit)
- **ByteDance Seedream 5.0 Pro**. 具备图层分离、信息图生成以及 10 多种语言文本渲染能力的图像模型，每张图像价格约为 $0.03，而 GPT Image 2 约为 $0.28。 [18](https://seed.bytedance.com/en/blog/beyond-generation-it-understands-design-introducing-seedream-5-0-pro)
- **Google AI Studio 自定义域名**. 已部署的应用可以申请 ai.studio 下的永久子域名，而不再使用随机 URL。 [19](https://aistudio.google.com/welcome)
- **a11y.quest**. 提供 128 道涵盖 WCAG 2.2、ARIA、语义化 HTML、键盘操作和对比度的练习题，并附有通俗易懂的英文解答。 [20](https://a11y.quest/)

## 参考资料

1. [DocumentCloud: Apple 诉 OpenAI 起诉书](https://www.documentcloud.org/documents/28453229-apple-v-openai/)
2. [GitHub: OpenAI CDC Lean 形式化代码](https://github.com/openai/cdc-lean)
3. [Wired: OpenAI 安全负责人即将离职](https://www.wired.com/story/openai-head-of-safety-leaving/)
4. [Yahoo Finance: SK Hynix 美股上市首日大涨](https://finance.yahoo.com/technology/article/chip-giant-sk-hynix-jumps-13-in-us-market-debut-193700352.html)
5. [BBC: Meta 移除 Instagram 的 Muse Image 功能](https://www.bbc.com/news/articles/c2dy6e8klw0o)
6. [OpenRouter: Fusion 击败前沿模型](https://openrouter.ai/blog/announcements/fusion-beats-frontier/)
7. [Yahoo Finance: DeepSeek 正在开发自研 AI 芯片](https://finance.yahoo.com/technology/ai/articles/exclusive-chinas-deepseek-developing-own-103437335.html)
8. [TechCrunch: Meta 新款 AI 芯片将于 9 月开始量产](https://techcrunch.com/2026/07/09/metas-new-ai-chips-will-begin-production-in-september/)
9. [OpenAI: GPT-5.6 成为 Microsoft 365 Copilot 的首选模型](https://openai.com/index/gpt-5-6-preferred-model-microsoft-365-copilot/)
10. [Thinking Machines Lab: 值得构建的未来属于人类](https://thinkingmachines.ai/blog/the-future-worth-building-is-human/)
11. [AI 2040: 五种情景预测](https://ai-2040.com/)
12. [Cursor: 侧边聊天更新日志](https://cursor.com/changelog/side-chat)
13. [xAI: Grok 4.5 发布公告](https://x.ai/news/grok-4-5)
14. [Cognition: SWE-1.7 发布公告](https://cognition.com/blog/swe-1-7)
15. [Runway: 推出 Runway Dev](https://runwayml.com/news/introducing-runway-dev)
16. [Mistral AI: Robostral Navigate](https://mistral.ai/news/robostral-navigate/)
17. [GitHub: Spec Kit](https://github.com/github/spec-kit)
18. [ByteDance Seed: Seedream 5.0 Pro](https://seed.bytedance.com/en/blog/beyond-generation-it-understands-design-introducing-seedream-5-0-pro)
19. [Google AI Studio](https://aistudio.google.com/welcome)
20. [a11y.quest: 无障碍设计练习题](https://a11y.quest/)

信息来源: [AlphaSignal](https://alphasignal.ai/), [The Neuron](https://www.theneurondaily.com/), [The Rundown AI](https://www.therundown.ai/), [Sidebar](https://sidebar.io/), [The Strange Review](https://thereview.strangevc.com/).