Global AI · 2026-07-12
Global AI Daily · 每日全球 AI 情报
AI 大事件
2026-07-12
AI「自证数学」的惊雷仍在发酵：OpenAI 称 GPT-5.6 Sol Ultra 不到 1 小时给出 50 年数学猜想证明（尚未同行评审）；同日苹果起诉 OpenAI 窃密造硬件、坐实 Siri 转投 Gemini；SK 海力士纳斯达克首日大涨、募资 265 亿美元——能力上限、专利归属、算力资本三线同时升温。
10Top 大事件
4产品上新
6融资商业
00
TL;DR · 今日速览
TL;DR = Too Long; Didn't Read（太长不看版）· 读这一屏就够AI「自己证明数学猜想」的惊雷还在发酵，苹果与 OpenAI 撕破脸对簿公堂，SK 海力士登陆纳斯达克首日大涨——AI 从能力上限、专利归属到算力资本三线同时升温（本期为周末，以 7/10 首发集群领衔）。
1
AI 自证数学（7/10）：OpenAI 称 GPT-5.6 Sol Ultra 用 64 个子智能体、不到 1 小时给出困扰数学界 50 年的「循环双覆盖猜想」证明——但尚未同行评审，学界正在逐行核验。
2
苹果起诉 OpenAI（7/10）：指控其「在每一个层级」窃取商业机密以造硬件，并坐实新版 Siri 改用 Google Gemini 而非 ChatGPT。
3
SK 海力士上市（7/10）：纳斯达克首日收涨约 13%，募资 265 亿美元，外国公司史上最大美股 IPO——HBM/AI 内存成资本新宠。
4
企业 Agent 竞赛：OpenAI 本周公开发布 GPT-5.6（Sol/Terra/Luna）与办公智能体 ChatGPT Work，直接对标 Claude Cowork。
5
中国主线：腾讯混元 Hy3 开源、可灵 AI 近 30 亿美元融资，WAIC 2026 下周（7/17–20）开幕、300+ 产品待全球首发。
🏆 全球 AI 大事件 Top 10① 今日优先 · 1–4
1
真实日期：2026-07-10
OpenAI 在其 CDN 发布 PDF，称由 GPT-5.6 Sol Ultra 独立完成「循环双覆盖猜想」（Cycle Double Cover，Szekeres 1973 / Seymour 1979 提出）的证明：模型调度 64 个子智能体并行，归约到三次图、借 8-flow 定理构造边标号，号称不到 1 小时完成。为何重要：若成立，这是 AI 首次独立攻克半世纪级开放难题，堪比范式转折。但必须泼冷水：证明尚未经同行评审、署名全归模型本身，数学社区正在逐行核验，目前仍是「声称的证明」而非公认成果。
2
真实日期：2026-07-10
苹果在加州北区联邦法院起诉 OpenAI，指控其「从技术员工到首席硬件官、协同商业伙伴，在每一个层级」窃取苹果商业机密以开发消费硬件；点名 OpenAI 硬件负责人、前苹果副总裁 Tang Tan，称其指使跳槽面试者交出苹果机密。诉状同时坐实：今秋新版 Siri 将基于 Google Gemini 而非 OpenAI 技术。为何重要：2024 年高调联手的两家如今反目，AI 硬件（io Products / Jony Ive）之争升级为法律战，也标志苹果 AI 押注全面转向 Google。
来源：CNBC · CNN Business
3
真实日期：2026-07-10
全球 HBM 高带宽内存龙头 SK 海力士（代码 SKHY）挂牌纳斯达克，发行价 149 美元、首日收涨约 13% 至 168 美元，募资 265 亿美元——外国公司史上最大美股 IPO、美股史上第二大发行（仅次于上月 SpaceX 860 亿美元），认购超额 7 倍。为何重要：AI 内存/HBM 供不应求被资本市场直接兑现为估值，是 AI 算力周期从芯片延伸到存储的强信号。
4
真实日期：2026-07-08 ~ 07-09
在美国政府先前限制解除后，OpenAI 面向 ChatGPT、API、Codex 公开发布 GPT-5.6 三档：Sol（最强）、Luna（速度）、Terra（日常均衡）。同期推出 ChatGPT Work——由 GPT-5.6 驱动的办公智能体，跨应用/文件抓取上下文，直接产出文档、表格、PPT、报告乃至网站，先向 Pro/Enterprise/Edu 开放。为何重要：直接对标 Anthropic Claude Cowork，企业级「会干活的 Agent」成大厂主战场。
来源：CNBC · BNN Bloomberg
🏆 全球 AI 大事件 Top 10② 5–8
5
真实日期：2026-07-08
OpenAI 发布新一代语音模型 GPT-Live（含 GPT-Live-1 与 mini），采用全双工架构，可「边听边说边推理」，支持实时翻译、联网搜索与任务委派，向 ChatGPT 用户滚动开放。为何重要：语音交互从「录一句答一句」迈向真正的实时对话，是语音助手体验的一次台阶式升级。
6
真实日期：2026-07-06
腾讯发布升级版混元 Hy3——快慢思考融合的 MoE 架构，总参 295B / 激活 21B，支持 256K 上下文，已在多个核心业务接入，并以 Apache 2.0 在 GitHub/HuggingFace/ModelScope 开源。官方称效果比肩参数规模数倍的旗舰模型。为何重要：国产头部大模型「高性价比 + 开源 + 智能体能力跃升」路线再进一步。
7
真实日期：2026-07-02 ~ 07-03
快手旗下视频生成大模型可灵 AI 完成近 30 亿美元外部融资，投后估值有望达 180 亿美元，创全球视频大模型公司最大单笔融资纪录；腾讯、CPE、国方创投、中信证券、阿里云、百度等数十家机构参投。市场传快手拟 12 个月内分拆可灵赴港独立上市。为何重要：视频生成赛道资本战升级，中国 AI 视频（可灵 vs 字节 Seedance）进入「烧钱换规模」阶段。
来源：TechNode · Caixin Global
8
真实日期：预告 · 会期 2026-07-17 ~ 07-20
2026 世界人工智能大会暨 AI 全球治理高级别会议 7 月 17–20 日在上海举行，展览面积首破 10 万㎡、1100+ 企业参展、3000+ 展品，其中 300+ 产品全球首发：华为最大规模超节点 Atlas 950 真机、MiniMax M3 多模态大模型、阶跃 Agent 操作系统、近存计算 3D 芯片、全球首款 AI 智能体手机等。为何重要：国产 AI「算力—模型—智能体—具身」全栈集中亮相，是观察中国 AI 产业年中战力的窗口。
来源：新华网
🏆 全球 AI 大事件 Top 10③ 9–10 · 持续跟踪
9
真实日期：2026-06-15 ~ 06-17（持续跟踪）
据 The Information / 路透，高通正就整体收购 Jim Keller 执掌的 AI 芯片公司 Tenstorrent 谈判，作价 80–100 亿美元。Tenstorrent 主打开放 RISC-V 架构与 AI 优化设计。为何重要：智能手机增长放缓下，高通以并购切入数据中心 AI 芯片，直指英伟达的 RISC-V「盲区」；一旦成交将重塑 AI 芯片格局。（本条为本周内持续跟踪的重要商业动作，非当日新闻。）
10
真实日期：本周持续（9-15 起生效）
Cloudflare 允许网站分别管控 Search / Agent / Training 三类爬虫（默认对广告页拦截 Agent 与 Training，9 月 15 日起生效）；并基于 x402 协议开放 Monetization Gateway 内测，让网站、API、数据集乃至 AI 智能体可即时按次付费。为何重要：内容方与「Agent 经济」的博弈进入基础设施层——既要挡住白嫖训练爬虫，又要给愿意付费的智能体开一条计费通道。
📌 历史事件·持续跟踪（不占榜）：OpenAI 1220 亿美元融资、估值 8520 亿美元实为 2026-03-31 完成（亚马逊 500 亿、英伟达/软银各 300 亿），非本周新闻；美团 LongCat-2.0 开源万亿参数模型（6/30，1.6T/48B，全程国产算力）；Mistral Leanstral 1.5 开源形式化验证模型（7/2，Lean 4）；Google 非洲应用 AI 实验室（7/1，Accra）。
🚀 产品 & 上新4 条
办公 Agent · 7/9
GPT-5.6 驱动的办公智能体，跨应用/文件抓取上下文，直接产出文档/表格/PPT/报告乃至网站，可长时间自主推进。谁该用：需要「AI 直接交付成品」的企业知识工作者。
Agent 经济 · 本周
基于 x402 协议的按次付费网关内测，让 API/数据集乃至 AI 智能体即时付费；并可分别管控 Search/Agent/Training 爬虫。谁该用：内容方与 Agent 基础设施团队。
具身安全 · 趋势
把自动驾驶安全栈延伸到人形与工业机器人的全栈安全架构，Agility 的 Digit 成首个商用采用者。谁该用：做具身智能安全合规的团队。
💰 融资 & 商业6 起
🇨🇳 中国精选5 条
大会 · 7/17–20
上海举办，300+ 产品全球首发：华为 Atlas 950、MiniMax M3、阶跃 Agent OS、全球首款 AI 智能体手机等（详见 Top 8）。
🟠 Claude Code 专区作者私货 · 5 条
Skill
/skill-a /skill-b 做 XYZ 现加载全部前导 skill（至多 5 个），而非只第一个；并修复重复调用已载入 skill 会向上下文追加副本的问题。
MCP
server 配了 url 无 type 时建议 "type":"http"，不再误导为 command 报错；修复 --mcp-config/.mcp.json 里 per-server request_timeout_ms 被忽略、导致长任务在新会话 60s 超时。
MCP 导入
add-from-claude-desktop 稳健化
修复 claude mcp add-from-claude-desktop 遇到服务器名含非法字符时卡死：非法名会被报告、其余服务器仍照常导入。
企业 MCP
管理员一次配置、用户首次登录零接触获取，覆盖 Claude 网页 / Claude Code / Cowork（Team 与 Enterprise 版），集中授权。
彩蛋提示
本区为重度用户彩蛋，不喧宾夺主
Claude Code 生态版本更新以官方 Changelog 为准；本期因周末、GitHub Releases API 被代理拦截，要点取自官方文档与 Releasebot 汇总。
数据源状态 · 生成速记
本期为周末（周日），全球企业级硬新闻偏少，以 7/10 首发集群领衔；逐条经多源交叉核对真实日期（聚合页只当线索）。
✅ 可用
WebSearch 多轮中英文检索：OpenAI CDN · CNBC · CNN · Fortune · TechNode · Caixin · 新浪财经 · 新华网 · OSCHINA · The Register · Hacker News · Claude Code Changelog 等，均含日期与出处。
⚠️ 受限(403)
出口网络策略限制，WebFetch 对 techcrunch、openai、theverge、HN Algolia、crescendo、medium、GitHub Releases API 等返回 403，无法直取；日期与数字均经多源交叉确认。
📝 核实说明
对聚合页多条「today」标签均回一手源核实：OpenAI $122B 实为 3/31、Terafab/Glasswing 实为 3–4 月、Leanstral/Kling/LongCat 实为 6/30–7/2，据此降级为持续跟踪或剔除出榜首。
💬 今日鸡汤：再快的答案，也替代不了亲手求证的那份笃定；世界越喧嚣，越要守住自己判断的定力。