AI 日报 | 2026-07-11 周六

1. 今日核心动态

Apple 起诉 OpenAI 窃取商业机密，矛头直指硬件负责人

Apple 于 7 月 10 日在加州北区联邦法院对 OpenAI 提起诉讼，指控其系统性窃取 Apple 商业机密并违反合同。核心被告为 OpenAI 首席硬件官 Tang Tan——此前在 Apple 任职 24 年，曾任 iPhone 和 Apple Watch 产品设计副总裁。

诉讼要点：
- Tan 被指控在 OpenAI 招聘过程中使用 Apple 机密项目代号，要求候选人携带 Apple 硬件组件参加面试，指导离职员工规避 Apple 安全审查程序
- 另一名前 Apple 员工 Chang Liu 被指未归还 Apple 笔记本电脑，并使用其下载了包含未发布产品技术规格、工程演示在内的机密文档
- Apple 称 2 月已发函警告但未获回应
- 背景是 OpenAI 正在开发首款硬件产品（传为以 AI agent 替代 app 的智能手机），去年以 65 亿美元收购了 Jony Ive 的设备公司 io

Apple 在诉状中称："这只是冰山一角。OpenAI 的硬件业务建立在不稳固的基础之上，因非法依赖被挪用的商业机密而从根本上腐烂。" OpenAI 回应称"对其他公司的商业机密没有兴趣"。

OpenAI 发布 GPT-5.6 系列：三档模型对标 Anthropic

OpenAI 于 7 月 9 日发布 GPT-5.6 模型家族，包含三个变体：

模型	定位	定价（每百万 token）
Sol	主力模型，最强 coding	$5 输入 / $30 输出
Terra	中间档	$2.50 输入 / $15 输出
Luna	经济型	$1 输入 / $6 输出

关键亮点：
- Sam Altman 称 Sol 在 AI coding 任务上 token 效率提升 54%
- 被称为"迄今最强网络安全模型"，支持威胁建模、代码审查与补丁、蓝队演练等防御性活动（此前曾被特朗普政府以安全为由限制发布）
- 基于 Artificial Analysis Coding Agent Index，OpenAI 声称 Sol 以 80 分创下新纪录，超过 Anthropic Fable 5 的 77.2 分，且使用不到一半的输出 token、一半的时间和三分之一成本
- 同步发布 ChatGPT Work 企业协作工具

GPT-5.6 Sol Ultra 产出数学猜想证明

在 Hacker News 上引发热议（384 points，303 评论）：GPT-5.6 Sol Ultra 据称产出了 Cycle Double Cover Conjecture（圈双覆盖猜想） 的证明，OpenAI 已发布 PDF 论文。该猜想是图论中与四色定理齐名的未解难题。社区对其严谨性正在激烈讨论中。

2. 模型发布与更新

SpaceXAI 发布 Grok 4.5："Opus 级"竞品

SpaceXAI（IPO 后首次发布）于 7 月 8 日推出 Grok 4.5：
- Elon Musk 称其为"Opus 级模型，但更快、token 效率更高、成本更低"
- 定价 $2/M 输入，$6/M 输出（对比 Opus 4.7 的 $5/$25）
- 号称 token 效率是其他领先模型的两倍
- 内部评估认为 Grok 4.5 能力大致可比 Opus 4.7

Meta Muse Spark 1.1：进军 agentic coding 赛道

Meta 于 7 月 9 日发布 Muse Spark 1.1，正式进入 AI coding 工具市场：
- 多模态 agentic 编码模型，支持多步推理、数字工作流管理
- 定价 $1.25/M 输入，$4.25/M 输出，与 Claude Haiku 4.5 和 GPT-5.6 Luna 竞争
- Zuckerberg 时隔三年首次在 X 发帖，称其为"低价的强力 agentic 和 coding 模型"
- 这是 Meta 本周继周二发布 Muse Image 图像生成模型后的又一动作

小米 MiMo-V2.5 推理优化深度技术解析

小米 MiMo 团队发布 MiMo-V2.5 系列全链路推理优化的技术博客，核心要点：
- Hybrid SWA 架构：70 层中 10 层 Full Attention + 60 层 SWA，计算量和 KVCache 存储降至 Full Attention 的约 1/7
- 自研 GCache 分布式缓存系统，L3 KVCache 与 GPU 机器共部署实现零额外存储成本
- 服务器端 KVCache 命中率平均 93%，重度用户达 95%+
- SWA KVCache 优化使 EP 缩减一半，端到端性能提升约 40%
- 视频解码优化使 1 小时视频 Encoder 延迟从 156s 降至 23s
- 将部分优化贡献至 SGLang 开源社区（issue #24945）

3. 工具与产品

Meta 移除 Instagram 争议性 AI 功能

在用户强烈反对后，Meta 移除了 Instagram 上一项引发争议的 AI 功能。此前大量用户搜索如何阻止 Meta AI 使用自己的 Instagram 照片进行训练。

Google 将标注 AI 生成的广告

Google 宣布将公开标注哪些广告是由 AI 制作的，提升广告透明度。

Google Photos 推出 AI "Video Remix" 工具

Google Photos 新增 AI 驱动的视频混剪功能。

Character.AI 进军微短剧

Character.AI 开始制作自己的微短剧内容，但采用了一种独特的方式。

Ollama 获 6500 万美元 B 轮融资，用户近 900 万

开源 AI 开发者工具 Ollama 完成 6500 万美元 B 轮融资，由 Theory Ventures 领投（此前 Benchmark 领投 1500 万 A 轮，累计融资 8800 万）：
- 月活开发者超 890 万，进入 85% 的 Fortune 500 企业
- GitHub 上获 17.6 万 stars，近 1.7 万 forks
- 团队仅 14 人，创始人此前创建 Kitematic 被 Docker 收购
- 提供本地 AI 模型运行 + 云端 neocloud 订阅服务（按 GPU 时间计费）

4. 行业动态

SK Hynix 完成 265 亿美元美国 IPO，史上最大外资 IPO

韩国存储芯片巨头 SK Hynix 于 7 月 10 日完成 265 亿美元（约 40 万亿韩元）美国上市，超越阿里巴巴 2014 年的 250 亿美元，成为美国史上最大非美国公司 IPO：
- 以 ADR 形式发行 1.779 亿股，定价 $149/股
- 需求超购七倍以上，开盘价较 IPO 价涨 14%
- 临时代码 SKHYV，7 月 13 日正式交易代码变更为 SKHY
- 资金用途：韩国新 fab 建设、封装设施、EUV 扫描设备
- 美国商务部长 Lutnick 正与 Samsung 和 SK Hynix 洽谈在美建厂
- 背景：SK Hynix 是 Nvidia HBM（高带宽内存）核心供应商

OpenAI 人事变动：Fidji Simo 卸任二号位

OpenAI 二号人物 Fidji Simo 卸任当前职务。

GPT-5.6 成为 Microsoft Copilot 365 "首选模型"

OpenAI 表示 GPT-5.6 是 Microsoft Copilot 365 的"首选模型"，正值两家公司关系可能调整的传闻期。

OpenAI 关闭 Atlas，但 AI 浏览器野心不减

OpenAI 正在关闭 Atlas 项目，但其 AI 浏览器的野心仍在扩张。

NYT 指控 OpenAI 在版权审判中隐瞒证据

纽约时报称 OpenAI 在 ChatGPT 版权审判中隐瞒了证据。

Meta 新 AI 芯片 9 月量产

Meta 自研 AI 芯片将于 9 月开始量产，进一步推进芯片自研战略。

Paris AI 语音创业公司 Gradium 获 1 亿美元种子轮

总部位于巴黎的 AI 语音创业公司 Gradium 完成 1 亿美元种子轮融资，由 Nvidia 支持。

AI agent 创业公司用自己 agent 运作 1 亿美元融资

一家 AI agent 创业公司让其自己的 agent 运作了 1 亿美元融资流程。

Hugging Face CEO：开源 AI 比以往任何时候都重要

Hugging Face CEO Clem Delangue 表示，企业正从"租用 AI"转向自主掌控，开源 AI 的意义前所未有地重要。

Lovable 估值翻倍至 132 亿美元

据报道，AI 应用开发平台 Lovable 正在洽谈将估值翻倍至 132 亿美元。

5. 值得关注

剑桥报告：Boko Haram 系统性使用前沿 AI 进行恐怖活动

剑桥大学 AI 科学与政策项目（CASP）发布重磅研究报告，通过 2025-2026 年在尼日利亚东北部对 27 名前 Boko Haram 成员的访谈，揭示了令人不安的发现：

Boko Haram 两大派系均在系统性地使用前沿 AI，包括 ChatGPT、Claude、Gemini、Grok、Meta AI 和 DeepSeek
AI 使用已制度化，设有专门单元和内部培训
具体用途包括：攻击规划、武器故障排查、爆炸装置设计
用户已成功绕过部分安全护栏
相关技能通过跨国圣战网络传播，伊斯兰国特工提供了面对面培训
受访者对 AI 表现出强烈热情，部分人对大规模杀伤性武器持开放态度
该报告已被《纽约时报》报道

这是迄今关于恐怖组织使用 AI 最详实的实证研究，表明恐怖组织对 AI 的采用比此前认知的更深入、更系统化，值得政策制定者、安全社区和 AI 开发者高度关注。

Hacker News 热议：AI 2040 Plan A

"AI 2040: Plan A"是一个关于 AI 未来发展路径的推测性项目，在 HN 上获得 177 points 和 183 条讨论，引发社区对 AGI 时间线和影响的深度辩论。

Anthropic、OpenAI、SpaceX 退出规模超越过去 25 年科技退出总和

分析指出，仅 Anthropic、OpenAI 和 SpaceX 三家公司的估值/退出规模，就已超过过去 25 年所有科技公司退出的总和，凸显了当前 AI 估值泡沫的量级。

本报告基于 TechCrunch、Hacker News、小米 MiMo Blog、CASP/剑桥大学等公开来源编写。信息截止 2026 年 7 月 11 日。部分信息（如 GPT-5.6 数学证明的严谨性）仍在社区验证中。