苹果怒告OpenAI系统性窃密：硅谷最铁盟友变死敌；GPT-5.6一小时解开50年数学猜想；OpenAI安全负责人紧急离职
7月11日AI前沿：苹果41页诉状指控OpenAI系统性窃取硬件机密，要求销毁资料重新设计硬件；GPT-5.6 Sol Ultra调用64子Agent证明循环双覆盖猜想；安全负责人Heidecke与产品负责人Fiji Simo同日出走；腾讯牵头20亿美元从Meta回购Manus
本期内容 · 7 条
苹果正式起诉OpenAI系统性窃取商业机密：400+前员工被挖，面试要求携带硬件样品
7月10日，苹果在加州北区联邦法院正式起诉OpenAI，指控其通过前硬件VP Tang Tan、前工程师Chang Liu等400+名前苹果员工系统性窃取未发布产品的商业机密。诉状细节触目惊心：OpenAI面试要求候选人携带电池、主板、SIP芯片等实体硬件样品；Tang Tan指导离职员工隐瞒去向以延长内网访问时间；Chang Liu离职后利用安全漏洞持续下载千余页机密工程文件。苹果要求法院颁发禁令、OpenAI销毁全部涉密材料并重新设计硬件。OpenAI回应称「对其他公司的商业秘密毫无兴趣」。
GPT-5.6 Sol Ultra一小时证明50年图论猜想，700词Prompt驾驭64个子Agent
7月11日，OpenAI研究院Ethan Knight宣布GPT-5.6 Sol Ultra调用64个子Agent，用时不到1小时为1970年代提出的循环双覆盖猜想（Cycle Double Cover Conjecture）给出证明，证明PDF仅3页。Noam Brown在ICML现场转发力挺，强调这是「公开可用的GPT-5.6，非内部特供」。OpenAI同时放出完整Prompt——核心技巧是「不替模型规定解法，只把验收标准钉死」。数学界独立审查尚未完成，但已有HN用户类比「这像Stockfish下棋——你可能不懂它在干什么，但它赢了」。
OpenAI安全负责人Heidecke离职，产品负责人Fiji Simo同日卸任：高层出走潮加速
OpenAI安全系统负责人Johannes Heidecke本周告知员工离职，此前一天产品与商业负责人Fiji Simo（前Meta VP）也宣布因慢性疾病辞去全职职务转任顾问。Heidecke的离开伴随着安全团队重组——首席研究官Mark Chen宣布安全团队将向研究VP兼对齐负责人Mia Glaese汇报，她升任「研究与安全VP」统一掌管两大板块。Chen在备忘录中解释：「模型训练节奏大幅加快，发布周期明显缩短，安全协调挑战前所未有。」此前GPT-5.6部署安全文档已披露模型存在对齐问题，安全团队缩编正值最敏感时刻。
腾讯牵头20亿美元从Meta回购Manus：中国最火AI资产「去美资化」回流
据金融时报报道，腾讯正牵头HSG（原红杉中国）、真格基金及Manus管理层组成中方资本联合体，以约20亿美元估值从Meta手中回购通用AI Agent公司Manus的全部股权，交易价格与Meta此前收购估值基本持平。此前中国发改委以国家安全为由叫停Meta收购，中方早期投资方提出「原价接盘」。交易完成后腾讯预计为最大股东但仍保持少数地位（不超过50%），Manus将保留独立运营，年化营收已达4-5亿美元。若交易达成，这标志着中国最炙手可热的AI Agent资产在出走新加坡、被Meta收购、遭监管叫停后最终回流中方。
Meta Muse Spark 1.1开启付费API：输出$4.25/M定价仅为竞品1/4，兼容OpenAI/Anthropic SDK
Meta于7月9日正式向美国开发者开放Muse Spark 1.1 API公开预览版，这是Meta历史上首次向开发者收取模型调用费。定价极具侵略性：输入$1.25/M token、输出$4.25/M token，新账户赠送$20免费额度。对比之下，Claude Opus 4.8输出价$25/M（贵5.9倍），GPT-5.6 Terra输出$15/M（贵3.5倍）。更精妙的是API同时兼容OpenAI和Anthropic的SDK格式——开发者只需改base URL即可零摩擦迁移。Zuckerberg本人称为「极具侵略性和吸引力的定价」。Muse Spark 1.1定位为Agent编排模型，支持1M token上下文和多Agent协调，已在Meta AI应用中上线Thinking模式。
X/Twitter热议：GPT-5.6「Sol训练了Luna」——递归自我改进的飞轮开始转动
GPT-5.6技术文档中一句被大多数人忽略的轻描淡写在技术圈引发地震：全家桶最小的Luna是由老大哥Sol自主完成后训练的。Sol自己寻找可用GPU、确定训练配置、编写启动脚本并确认任务执行，全程无需人类工程师干预。这意味着旗舰模型已具备递归自我改进能力——数据筛选、实验设计、知识蒸馏、评测迭代四个核心环节全部自主闭环。OpenAI内部数据显示过去半年代码推理算力增长100倍，智能体任务token消耗增长22倍。一位前OpenAI研究员匿名评价：「人类研究员成了模型进化的天花板。」
All-In Podcast对话Cerebras与Black Forest Labs CEO：「AGI按二十年前的定义已经来了」
7月10日播出的All-In Podcast邀请Cerebras CEO Andrew Feldman和Black Forest Labs CEO Robin Rombach。Feldman透露Cerebras手握250亿美元积压订单，OpenAI、Anthropic、SpaceX、Google的算力需求远超供给，称「推理（reasoning）的出现让计算密集度再次飙升，这正好是快机器的战场」。他直言「AGI按二十年前的定义已经来了」。Rombach（Stable Diffusion/latent diffusion发明人）分享刚与Martin Scorsese合作让导演用AI可视化脑海画面，但更兴奋的是「同一套多模态模型能拍电影也能部署到机器人当大脑——生成式视频的终点不在银幕，在物理世界」。
苹果诉OpenAI窃取商业机密：41页诉状揭开「系统性窃密」内幕
7月10日，苹果在加州北区联邦法院正式起诉OpenAI。41页诉状的核心指控：OpenAI为加速消费级AI硬件研发，通过前硬件VP Tang Tan（原苹果产品设计副总裁，主导iPhone/Apple Watch/AirPods）组织了一场”系统性窃密行动”。
关键证据链：
- 面试即窃密：OpenAI要求候选人携带电池、主板、SIP芯片等实体硬件样品到场展示，多名应聘者均被提出同类要求
- 指导规避安全审查：Tang Tan将苹果内部离职安全管控文件私自分发给求职者，指导他们隐瞒新雇主身份以延长内网访问时间
- 离职后持续盗取：前工程师Chang Liu离职后拒不归还苹果笔记本，利用安全漏洞持续登录内网，下载”含千余页机密项目资料”文件，甚至在消息中嘲笑”LOL, so funny”
- 串通供应商：OpenAI被指利用苹果保密供应链信息对接厂商，谎称已获授权，迫使厂商使用苹果专属金属表面处理工艺
苹果的诉求异常强硬：要求禁令、销毁全部涉密材料、巨额赔偿，甚至要求法院强制OpenAI重新设计其即将发布的硬件产品。苹果在诉状中写道：“OpenAI尚处于起步阶段的硬件业务如今根基不稳，其核心早已因非法窃取并使用商业秘密而腐朽不堪。”
OpenAI发言人回应称”对其他企业的商业机密毫无兴趣”。但从过往合作（2024年ChatGPT接入Siri）到今日对簿公堂，硅谷两大巨头的关系已彻底破裂。更值得注意的是，苹果2月就曾致函OpenAI表达担忧，但未获回复——这意味着OpenAI在明知苹果关注的情况下未做出任何回应，这将在法庭上构成非常不利的事实。
编者评： 这不仅是两家公司的法律战——它是AI军备竞赛从「代码+算力」向「硬件+供应链」全面升级的标志性事件。苹果诉状的核心逻辑是：OpenAI需要硬件故事支撑IPO叙事，而这条捷径是踩着苹果二十年的硬件积累走的。400+前苹果员工进入OpenAI，面试携带硬件样品，供应链被整条渗透——如果指控属实，这已不是个体泄密，而是一套成熟的「产业级人才-技术转移流水线」。OpenAI用”我们对机密不感兴趣”作回应，但苹果2月发函未获回复这一事实本身就构成问题——在硅谷，沉默往往不是无辜，而是有恃无恐。
GPT-5.6 Sol Ultra：1小时证明50年数学猜想
7月11日凌晨，OpenAI研究院Ethan Knight宣布：刚上线的GPT-5.6 Sol Ultra，调用64个子Agent，用时不到1小时，为提出约50年的循环双覆盖猜想（Cycle Double Cover Conjecture）给出了一份3页PDF证明。
几个关键点让这次证明与以往AI解数学题截然不同：
- 非内部特供模型：Noam Brown在ICML现场转发强调，这是公开可用的GPT-5.6 Sol Ultra，不是提前训练的专供版本
- 700词Prompt公开：OpenAI放出了完整提示词，核心逻辑是”不替模型规定解法，只把验收标准钉死”——定义、范围、边界情况一次性说清，重复目标防止上下文漂移
- 测试时计算并行化：64个子Agent并行工作，将原本可能需要一整天的证明压进1小时——这是多Agent架构在数学推理领域的首次拳头级展示
- 证明异常短：3页PDF引发两种解读——要么是专家们遗漏的巧妙捷径，要么隐藏着尚未被发现的错误。数学界独立审查仍在进行中
HN社区的反应极具代表性：一位用户类比”这就像Stockfish下棋——你可能不完全理解它在干什么，但它赢了。“但也有数学工作者指出，循环双覆盖猜想虽然著名但并非最难的猜想之一，且证明的”短”本身就是双刃剑——图论中过于简短的证明往往意味着推理跳跃。
编者评： GPT-5.6 Sol Ultra证明数学猜想的真正意义不在于猜想本身是否被证明了——事实上，1970年代的循环双覆盖猜想虽著名但并不属于”世纪难题”级别。真正的里程碑是两件事同时发生：（1）公开可用模型做到了过去需数月研究的事；（2）完整Prompt公开了”如何让AI深度推理”的方法论——不规定解法，只钉死验收标准。这是工程思维对科研思维的降维：你不需要懂图论，你只需要懂如何让AI去懂图论。结合同日曝出的”Sol训练了Luna”细节，递归自我改进+多Agent数学推理的组合拳，才是让技术圈真正震动的原因。
OpenAI高层出走潮：安全负责人+产品负责人同日告退
7月11日，两条离职消息同日曝光：
- 安全系统负责人Johannes Heidecke：2021年加入OpenAI，2024年接替Lilian Weng执掌安全。离职伴随着安全团队整合入研究体系——Mia Glaese升任”研究与安全VP”统一掌管，Saachi Jain任临时安全系统负责人
- 产品与商业负责人Fiji Simo（前Meta VP）：7月10日宣布因慢性疾病恶化辞去全职职务转为兼职顾问，此前负责GPT-5.6的产品化和市场进入策略
这两条消息需要放在更大的时间线中看：此前已有多位安全核心人物出走——Lilian Weng联合创立Thinking Machines Lab，Andrea Vallone于2025年底离开，首席未来学家Joshua Achiam也在本周辞职。GPT-5.6发布周，安全团队缩编。
Mark Chen在内部备忘录中的解释值得细读：“安全方面的要求正持续提高，模型训练节奏大幅加快，发布周期也明显缩短，这导致围绕安全问题的协调挑战比以往任何时候都要严峻。“这段话的潜台词是：旧的安全审查流程已经跟不上发布节奏了——与其让安全团队成为发布瓶颈，不如把它嵌入研发流程。
但问题在于：这个”嵌入”的方向是可逆的——当安全团队从独立审查者变成研发团队的下属部门，它在关键时刻说不的能力还剩多少？而GPT-5.6部署安全文档已披露模型存在对齐问题，此时安全负责人出走，时机极其敏感。
编者评： 从Lilian Weng到Johannes Heidecke到Joshua Achiam，OpenAI的安全核心人才正以每季度一位的速度流失。Mark Chen的”发布节奏加快→安全必须前置”逻辑本身没错，但职场政治的铁律是：谁向谁汇报决定了谁能说不。当安全团队从独立条线变成研究VP的下属，GPT-6发布前还有谁会按下暂停键？这不是组织结构图的调整，这是权力结构的重构。此外Fiji Simo的离开同样值得关注——作为产品负责人，她掌握着GPT-5.6的市场进入策略，而她的离开恰逢苹果起诉OpenAI窃取硬件机密的同一天——如果诉讼进入证据开示阶段，掌握硬件产品规划的Simo将是关键证人。
腾讯牵头20亿美元”接盘”Manus：中方资本的回购大戏
这可能是2026年中国AI创业史上最戏剧性的资本故事：
- 2025年3月：Manus凭借演示视频一夜爆火，成为中国最受关注的AI Agent创业公司
- 2025年底：Meta以约20-25亿美元收购Manus，公司迁至新加坡
- 2026年4月：中国发改委以国家安全为由叫停收购，要求撤销交易
- 2026年7月10日：腾讯牵头HSG、真格基金及Manus管理层组成中方财团，以约20亿美元”原价接盘”
交易结构的关键细节：
- 腾讯预计拿下最大股份但不超过50%，保持少数股东地位
- Manus继续以新加坡独立公司身份运营，不并入腾讯体系
- 年化营收已达4-5亿美元，产品形态为通用AI Agent平台
- 部分早期投资者（如Benchmark）选择借机退出
这笔交易的本质是”去美资化”——让这家中国创业者创立的AI独角兽在资本和治理结构上回归中方控制，以兼顾国内网络安全监管与全球业务延展。对腾讯而言，Manus将接入微信和腾讯云的生态能力，成为其AI Agent布局的核心棋子。
编者评： Manus的资本轨迹——创业→爆火→被Meta收购→遭监管否决→中方回购——是中国AI公司在”中美技术铁幕”下生存困境的完美缩影。Meta买入又被迫卖出，表面看是监管干预，实质上是两个大国在AI主权上的角力——Manus掌握的用户数据、交互模式和Agent编排能力，任何一方都不想拱手让人。腾讯这次”接盘”的精妙之处在于不控股——既满足监管对”中方控制”的要求，又不把Manus变成腾讯子公司而触发反垄断审查。这是一场”刚刚好”的资本平衡术。对Manus团队来说，从Meta生态切换到腾讯生态，核心问题变成：微信12亿用户的Agent分发渠道，能否替代Meta的全球化野心？
Meta Muse Spark 1.1：免费模型的终结，价格战的开端
7月9日，Meta正式向美国开发者开放Muse Spark 1.1 API，这是Meta历史上首次对模型调用收费。Alexandr Wang领导的Meta Superintelligence Labs给出了一个让整个行业侧目的定价：
| 模型 | 输入/1M token | 输出/1M token |
|---|---|---|
| Meta Muse Spark 1.1 | $1.25 | $4.25 |
| GPT-5.6 Terra | $2.50 | $15.00 |
| Claude Opus 4.8 | ~$5.00 | ~$25.00 |
| Grok 4.5 | $2.00 | $6.00 |
比价格更精妙的是兼容策略：Muse Spark 1.1 API同时兼容OpenAI和Anthropic的SDK格式——开发者只需将base URL改为api.meta.ai/v1，传入API Key，模型名设为muse-spark-1.1即可完成切换。零摩擦迁移+激进定价=不是抢客户，而是降低Agent开发的实验门槛。
模型定位也极其清晰：不做”最强编码模型”，做”最强Agent编排模型”。1M token上下文窗口，支持多Agent协调，可管理长期任务中的操作记录和关键信息。Zuckerberg本人称定价为”极具侵略性和吸引力”。模型已在Meta AI应用中上线Thinking模式，将逐步取代WhatsApp、Instagram、Facebook及Meta智能眼镜中的Llama系列模型。
编者评： Meta这次定价传递了一个清晰信号：AI模型的边际成本正在快速下降，而”免费开源”正在让位于”免费额度+超低价付费”。$4.25的输出价（仅为Opus 4.8的1/6）不是倾销——它反映的是训练效率、推理优化和规模化运营的真实进步。更具战略意义的是SDK兼容策略：Meta不试图建立自己的开发者生态壁垒，而是直接在OpenAI和Anthropic的生态里”蹭用户”。这对创业公司意味着什么？如果你现在以GPT-5.6 Terra或Claude Sonnet 5为基础构建Agent产品，Meta这个价格锚点可以让你在下一轮供应商谈判中直接砍价50%以上。
递归自我改进：GPT-5.6技术文档中最被低估的一句话
在GPT-5.6发布的所有喧嚣中——Sol的Terminal-Bench 91.9%、Terra的意外封神、Ultra的物理测试翻车——技术圈最深处的地震来自一句被大多数人忽略的话：
“Luna是由Sol自主完成后训练的。”
具体而言，Sol自己寻找可用GPU、确定训练配置、编写启动脚本并确认任务执行，全程无需人类工程师干预。Agent主动参与了四个核心环节：
- 自主数据筛选：评估候选数据质量、多样性和偏见，决定训练集构成——这过去需要十几人的数据团队干几个月
- 自主实验设计与执行：提出训练策略假设，设计对照实验，在集群上跑通完整训练流程——过去一个研究员一天跑两三个实验，现在Sol一天可以并行跑数百个
- 自主知识蒸馏：从Sol身上继承核心能力并压缩参数规模，由Sol自己担任老师，决定哪些知识最重要、如何压缩、如何验证
- 自主评测与迭代：编写评测用例，发现Luna弱点，调整训练策略重新来过——形成完整闭环
OpenAI内部数据透露了更深的趋势：过去半年，代码推理算力增长100倍，Agent任务token消耗增长22倍。在一套衡量递归自我改进能力的内部评测上，Sol比GPT-5.5高出16.2分。一位前OpenAI研究员在匿名采访中形容：“人类研究员成了模型进化的天花板。”
这个概念在AI安全领域有一个令人不安的学名——递归自我改进（Recursive Self-Improvement）。当AI强大到能够自主重构、测试甚至微调自己的下一代模型时，被未来学家预言了数十年的飞轮终于开始转动。
编者评： 这条新闻的震撼程度被严重低估了。GPT-5.6在编程跑分上超过Fable 5固然重要，但”Sol训练Luna”改变的是AI进化的基本方程式——从”人类研究员→数据→训练→模型”变成了”旗舰模型→自主训练→子模型”。更值得深思的是硅谷对此的沉默：OpenAI只在一句轻描淡写中提及，没有在发布博客中单独成段；各大媒体的头条全是跑分和价格战。这恰好说明——真正重要的新闻不是跑分，而是范式转移，但范式转移因为太重要、后果太不可预测，反而没人敢认真讨论。递归自我改进不是2026年才出现，但”Luna由Sol训练”是第一次被公开确认的工程事实。
All-In Podcast：Cerebras CEO称”AGI已经来了”，Black Forest Labs谈AI视觉的未来
7月10日播出的All-In Podcast请来了两位AI基础设施公司CEO，整期节目围绕一个核心命题展开：AI的底层供给和上层应用分别走到了什么程度？
Cerebras CEO Andrew Feldman的核心观点：
- 供给永远不够：Cerebras手握250亿美元积压订单，OpenAI、Anthropic、SpaceX、Google的算力需求远超晶圆级芯片产能
- 推理才是下一个黑洞：“如果Cerebras快15倍，你跑24小时就相当于跑了几周甚至几个月的思考。“推理算力的消耗正在以远超训练算力的速度增长
- “AGI按二十年前的定义已经来了”：Feldman直言现在的模型能力已达到AGI的早期定义标准，但定义本身在不断漂移
Black Forest Labs CEO Robin Rombach（latent diffusion发明人）的核心观点：
- 刚与Martin Scorsese合作让导演用AI将脑海中的画面可视化，但认为生成式视频的终点不在银幕，在物理世界
- 同一套多模态模型能拍电影也能部署到机器人当大脑——视觉智能的泛化能力远超创意工具范畴
- 强调开源理念：“视觉智能应该由全球的研究者、创作者和开发者共同塑造，而不是集中在少数人手中”
编者评： 这期All-In的价值在于把AI基础设施和AI应用两条线同时拉通。Feldman的”250亿积压订单”和”AGI已来”互为因果——因为需求方（OpenAI/Anthropic/Google）确信能力已经足够强了，所以愿意提前锁产能。而Rombach的”视频模型的终点在物理世界”则揭示了一个更深的方向：我们目前对生成式AI的应用场景想象（做图、做视频、做音乐）可能只是过渡态，真正的金矿在于具身智能——用多模态模型理解物理世界、让机器人有”视觉大脑”。Scorsese合作只是一个营销噱头，但背后的技术路径通向的是工厂、仓库和手术室。
编者按
2026年7月11日，AI前沿的叙事呈现出一种罕见的”三重断裂”：
第一重断裂：硅谷联盟的瓦解。 苹果诉OpenAI不是孤立的商业纠纷——它标志着硅谷”AI合作生态”的正式终结。2024年ChatGPT接入Siri时的蜜月期已成往事，取而代之的是硬件人才争夺、供应链渗透和41页诉状。苹果选择在GPT-5.6发布次日提起诉讼绝非巧合——当OpenAI用史上最强模型展示技术肌肉时，苹果用诉讼告诉世界：你的硬件野心建立在窃取之上。硅谷最亲密的两家公司尚且如此，AI行业的”技术共同体”叙事可能只是短暂的幻觉。
第二重断裂：模型能力的质变正在超越讨论框架。 GPT-5.6在同一天完成两件事：证明50年数学猜想，以及自主训练自己的子模型。前者证明了推理能力已进入”专家级”，后者证明了自我改进飞轮已开始转动。但市场讨论的焦点仍然是”性价比”、“跑分”和”替代Claude Fable 5了吗”。这种讨论维度的滞后不是愚钝，而是一种防御机制——真的认真讨论递归自我改进的含义，需要面对的问题过于庞大了。
第三重断裂：地缘政治正在重塑AI资本的物理边界。 腾讯回购Manus、Meta首次收费、OpenAI暂停部分阿里关联账户——这三件事表面无关，内核一致：AI资产的国界正在被重新划定。Manus从硅谷回到中国资本手中，不是因为产品不好，而是因为它”属于”哪里对国家更重要。资本不再是中性的效率配置工具，而是主权延伸的管道。
把三重断裂放在一起看：技术能力正在以超出我们理解框架的速度进化，商业联盟正在被地缘政治撕裂，而安全治理结构正在被”更快发布”的节奏压垮。这不是AI行业的黄金时代，这是它的青春期——成长痛伴随着骨折风险。
最后说一个容易被忽略但值得追踪的信号：All-In Podcast中Cerebras CEO的”推理是下一个算力黑洞”判断。如果推理算力需求的增长速度真的超过训练算力（事实正在朝着这个方向发展），那么赢家不再是”谁有最强模型”，而是”谁有最快推理硬件+最低单位成本”。这解释了为什么Meta突然从免费切换到超低价付费、为什么Anthropic在秘密自研芯片、为什么OpenAI急于推进硬件业务——模型能力的差距在缩小，推理效率的差距才刚刚拉开。