Apple诉OpenAI、Sol Ultra数学猜想、Workweave路由

• Apple正式起诉OpenAI窃取商业机密：前iPhone设计VP被指控要求候选人带"实物零件"面试
• GPT-5.6 Sol Ultra用64个子Agent一小时证明50年数学猜想
• Workweave Router：开源模型路由代理接入Claude Code/Codex/Cursor
• Prismata：首个Web Agent跨站Prompt注入防御框架

Apple 在加州北区联邦法院正式起诉 OpenAI，指控其系统性窃取商业机密用于开发 AI 硬件设备；OpenAI 公布 GPT-5.6 Sol Ultra 以 64 个子 Agent 在一小时内自主完成 50 年未解的 Cycle Double Cover 猜想证明；开源项目 Workweave Router 宣称可降低 40-70% 的 AI 编程 API 成本；HN 首页出现首个 Web Agent 跨站 prompt 注入防御框架 Prismata。

本文首发地址 https://h89.cn/archives/678.html

Apple正式起诉OpenAI窃取商业机密：前iPhone设计VP被指控要求候选人带"实物零件"面试

2026 年 7 月 10 日，Apple 在加州北区联邦法院正式起诉 OpenAI，指控其系统性窃取商业机密用于开发 AI 硬件设备。这是 2026 年迄今科技行业最大的法律纠纷。

被指控的关键人物与细节：

1. Tang Yew Tan（OpenAI 首席硬件官）——在 Apple 工作 24 年，曾任 iPhone 和 Apple Watch 产品设计 VP。Apple 指控其在 OpenAI 招聘过程中：使用 Apple 内部保密项目代号进行招聘；要求仍在 Apple 任职的求职者携带"实际零件"（actual parts）参加面试，进行"show and tell"展示；指导离职 Apple 员工如何规避安全审查流程；系统性诱导 Apple 员工泄露未发布产品的详细信息。
2. Chang Liu（前 Apple 员工，现 OpenAI 员工）——被指控在离职前访问并下载了"数十份 Apple 机密硬件相关文件"，包含未发布产品的工程演示、技术规格和专有项目数据，并窃取了一台 Apple 笔记本电脑。
3. Apple 称发现了"长达数月的协调窃密计划"，涉及"各个层级"（at every level）。

背景方面，OpenAI 正在开发自有 AI 硬件设备，与 Apple 在 AI 终端市场构成直接竞争。Tang Yew Tan 于 2025 年加入 OpenAI 领导硬件团队。

行业反应方面，CNBC、Reuters、Bloomberg、MacRumors、The Guardian、TechCrunch、CNN、AppleInsider 等主流科技财经媒体均在 7 月 10 日同步报道，HN 首页出现讨论帖。

来源：

• CNBC - Apple sues OpenAI alleging trade secret theft（2026-07-10）
• Reuters - Apple sues OpenAI, two former employees（2026-07-10）
• Bloomberg - Apple Sues OpenAI for Trade Secret Theft（2026-07-10）
• MacRumors - Apple Sues OpenAI for Stealing Trade Secrets（2026-07-10）
• TechCrunch - Apple sues OpenAI over alleged trade secret theft（2026-07-10）
• The Guardian - Apple sues OpenAI（2026-07-10）
• CNN Business - Apple accuses OpenAI of using stolen trade secrets（2026-07-10）
• AppleInsider - Apple sues OpenAI & previous VP of product design（2026-07-10）
• HN首页讨论

GPT-5.6 Sol Ultra用64个子Agent一小时证明50年数学猜想

2026 年 7 月 10 日，OpenAI 研究员 Ethan Knight 在 X 上宣布：GPT-5.6 Sol Ultra 使用 64 个子 Agent（subagents），在不到一小时内，自主完成了对"Cycle Double Cover Conjecture"（圈双覆盖猜想）的证明。OpenAI 同步公开了完整的 prompt 和证明 PDF。

Cycle Double Cover Conjecture 是图论中 50 年未解决的重要猜想——"对于每个没有桥的图，存在一组圈，使得每条边恰好被包含在两个圈中"。GPT-5.6 Sol Ultra 的 Ultra 模式自动将任务分解，生成 64 个并行子 Agent，各子 Agent 独立工作并相互协调，最终合并结果。整个证明耗时不到 1 小时，传统数学研究可能需要数年。

Ultra 模式是 GPT-5.6 Sol 的内置多 Agent 系统，可将 Terminal-Bench 2.1 从 88.8% 提升到 91.9%。OpenAI 公开了完整 prompt 和证明 PDF，接受学术界验证。

HN 首页讨论帖出现争议：部分用户质疑"AI 证明"的价值，认为"如果没有人类能理解的验证过程，proof 的价值有限"；另一些用户认为这是 AI 辅助科学发现的里程碑。

来源：

• Ethan Knight X post（2026-07-10）
• OpenAI官方CDC Proof PDF（cdn.openai.com）
• HN首页讨论
• AI Weekly - OpenAI Attributes Cycle Double Cover Proof to GPT-5.6 Sol Ultra
• MarkTechPost - GPT-5.6 Three-Tier Model Family（2026-07-09）

Workweave Router：开源模型路由代理接入Claude Code/Codex/Cursor

HN Today 出现 Show HN 帖：Workweave Router——一个开源模型路由代理，可直接集成到 Claude Code、Codex CLI 和 Cursor 中，通过智能模型调度宣称可降低 40-70% 的 API 成本。

核心机制上，它作为代理层插入 AI 编程工具和模型 API 之间，根据不同任务类型（简单补全/复杂推理/长文理解）自动路由到不同模型：简单任务走便宜模型（如 Luna/Grok 4.5），复杂任务走旗舰模型（Sol/Opus），最大化性价比。项目开源（GitHub 可获取），支持自定义路由规则。

行业背景方面，7 月以来 V2EX 和 HN 关于 AI 编程成本的讨论持续升温（Claude Code 日耗 600 元、Ponytail 省 Token、GPT-5.6 分层定价引发的成本焦虑）。

来源：

• HN Show HN: Workweave Router（2026-07-10）
• Workweave Router GitHub仓库
• Anthropic AI Weekly - Workweave Router coverage
• Ponytail GitHub（74K Stars，背景参考）

Prismata：首个Web Agent跨站Prompt注入防御框架

HN 今日首页出现论文/项目 Prismata，提出了一种在 Web Agent 中隔离跨站 prompt 注入攻击的新方法。

技术要点上，核心思路是将 Web Agent 的浏览上下文和指令上下文严格隔离；通过浏览器扩展/代理层实现，不需要修改 Agent 本身；对"indirect prompt injection"（隐藏在网页 HTML/CSS 中的恶意指令）提供结构性防御。

行业背景方面，7 月 9 日集中爆发的 Agent 安全攻击研究（HalluSquatting/GhostApproval/Agentjacking 等）之后，Prismata 提供了相反的叙事——防御。

来源：

• HN首页 - Prismata: Confining cross-site prompt injection in web agents
• Unit42 (Palo Alto Networks) - Fooling AI Agents: Web-Based Indirect Prompt Injection