2026年7月13日星期一

摘要

• 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 的合作伙伴。 ^[1]
• GPT-5.6 Sol Ultra 证明有 50 年历史的数学猜想. 该模型利用 64 个并行子智能体，在不到一小时内完成了环双覆盖猜想（Cycle Double Cover Conjecture）的证明。OpenAI 已在 GitHub 上公布了证明的 PDF 文件及 Lean 形式化代码；数学界目前仍在验证中。 ^[2]
• OpenAI 安全负责人即将离职. 继上周首席未来学家 Joshua Achiam 离职后，随着公司进一步整合安全与研究团队，Johannes Heidecke 也宣布离职。 ^[3]
• SK Hynix 在创纪录的美股上市中筹资 $26.5B，警告内存短缺将持续至 2030 年. 这是有史以来规模最大的外国公司在美股票发行，认购需求超额 7 倍。其 CEO 表示 2027 年将是内存历史上供应短缺最严重的一年；SK Hynix 供应着对 AI 至关重要的 56.4% 的 HBM。 ^[4]
• Meta 在遭遇强烈抵制后暂停 Instagram 上的 Muse Image 功能. 这项标记即混剪（tag-to-remix）的功能将所有公开账户自动纳入了 AI 编辑范围；Meta 承认此举“未能达到预期”。 ^[5]

深度解析

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

工具与发布

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

Prompt of the day