「2026.07.13」科技AI资讯日报｜HackerNews精选 + 全球热点速递
今日 AI 行业呈现"价格战 + 数学突破 + 智能体终端"三线并进：OpenAI GPT-5.6 Sol Ultra 不到 1 小时独立证明困扰数学界 50 年的"循环双覆盖猜想"，64 个子智能体协同引发学界震动；谷歌发布 Gemma 4 全系开源（无编码器原生多模态，端侧 16GB MacBook 可跑）；阶跃星辰今晚 19:00 召开发布会，推出全球首款 AI 智能体手机，截胡 OpenAI；SpaceXAI/Google/Blue Origin/SK 海力士"太空算力 + 存储"超级 IPO 接力，OpenAI 与 Anthropic 2026 收入或达 2000 亿美元；黄仁勋亲赴大摩路演否认 Rubin 延期，季度收入逼近千亿美元。
🔥 AI与大模型
1. OpenAI GPT-5.6 Sol Ultra 不到 1 小时独立证明 50 年图论猜想
OpenAI 7 月 10 日宣布，GPT-5.6 Sol Ultra 借助 64 个并行子智能体协同工作（其中包含专门寻找漏洞的"对抗智能体"），在不到 1 小时内生成图论领域悬而未决 50 多年的"循环双覆盖猜想"完整证明。OpenAI 已将证明和 700 词提示词以 PDF 形式公开。英国曼彻斯特大学数学家 Thomas Bloom 评价该证明"非常漂亮"，但尚未经正式同行评审。这是大型语言模型首次在"未解决数学问题"列表上给出独立证明，引发 OpenAI、Anthropic、DeepMind 等学界审慎讨论。
2. 谷歌 DeepMind 发布 Gemma 4 全系开源：原生多模态 16GB 显存可跑
7 月 11 日，谷歌 DeepMind 发布 Gemma 4 系列开源模型，全系 Apache 2.0 协议。Gemma 4 彻底摒弃了独立的视觉与音频编码器，仅保留极简 35M 参数投影层，将原始像素与音频波形直接投影到语言模型的统一嵌入空间。12B 版本即可在 16GB 显存的消费级 MacBook 本地实时运行音画文三位一体交互；2.3B/4.5B 边缘版本原生支持"思考模式"（Thinking Mode），通过 <|think|> 控制 Token 触发本地深度推理。31B Thinking 在复杂数学与 Agent 工具调用上对前代实现非线性跃迁。Gemma 系列累计下载量已超 4 亿次，社区微调版本超 10 万个。
3. AI 价格战全面打响：OpenAI、SpaceXAI、Meta 集体推低成本模型
过去一周，全球 AI 行业迎来罕见的"价格战"高潮。Meta Muse Spark 1.1 定价每百万 Token 输入 4.25；SpaceXAI Grok 4.5 输入 6；OpenAI GPT-5.6 Luna 更低至 6。三家同时下探"成本效率"叙事，目标直指 OpenAI 与 Anthropic 把持的企业级 Agent 市场。导火索是企业端 AI 支出失控——某 CEO 向 H Company 展示的单月账单高达数百万美元；Uber 4 月就用完 2026 全年 AI 预算，将单工具月度 Token 支出限制在 1500 美元；传某企业因未设上限收到 5 亿美元 Claude 账单。Bloomberg 7 月 7 日报道，微软已开始将 Excel/Outlook 的 Copilot 请求路由至自研 MAI 模型，理由是"成本与数据驻留"。
4. Anthropic 传下周发布新模型：性能或碾压 GPT-5.6 Sol
7 月 12 日社交媒体流传，Anthropic 有望在下周推出全新 AI 模型，据称智能水平将超越 OpenAI 同期领先的 GPT-5.6 Sol，且成本更具优势。Anthropic 官方尚未证实。与此同时，Claude Fable 5 付费计划访问权限延长至 7 月 19 日，Claude Code 每周速率限制提高 50%，每周额度最多一半可用于 Fable 5。若消息属实，全球 AI 竞争格局将再次生变。Claude Code 7 月 12 日因账单问题（韩国开发者被扣 160 万/1662 万美元两笔费用、API 控制台显示 0 美元）继续被舆论聚焦。
5. 联合国首份全球 AI 科学评估报告发布：警告监管全面滞后
联合国人工智能独立国际科学小组（由 Bengio 与 Ressa 联合主席、40 位顶尖科学家组成）7 月 1 日发布首份报告《基于证据的人工智能机遇、风险与影响评估》，7 月 6-7 日在日内瓦"全球 AI 治理对话会"上正式提交各国政府。古特雷斯："科学依据已然存在，我们再也不能说自己不知情。" 报告核心警告：AI 能力发展速度已超过科学界理解水平，也超过各国政府的适应能力；全球前 500 台 AI 超算中美国占 75%、中国占 15%；118 个国家完全未参与有影响力的国际 AI 治理进程；阿谀奉承式 AI 行为已与多起严重心理健康事件相关。报告将在 WAIC 2026 上由 Bengio 亲自推介。
6. DeepSeek 自研推理芯片曝光：开启"去英伟达化"第三条路
路透社 7 月 7 日援引三位知情人士披露，DeepSeek 正在开发自有 AI 推理专用芯片（非训练），项目约一年前启动，已与多家芯片设计企业、晶圆代工厂、存储厂商接洽，并通过猎头与内部推荐大量招聘芯片设计工程师。从早期依赖英伟达 H800 训练 R1，到转向华为昇腾部署 V4，再到亲自下场设计推理芯片，DeepSeek 的算力路线变迁正是中国 AI 产业算力自主化进程的微缩样本。资金来源于 6 月完成的约 510 亿元首轮外部融资。
7. 阶跃星辰今晚 19:00 发布全球首款 AI 智能体手机
阶跃星辰将于今晚 19:00 召开"阶跃终端品牌暨新一代智能体战略发布会"，同步推出全新 AI 终端品牌、智能体系统、全球首款 AI 智能体手机（华勤技术深度代工）。区别于传统"能对话"的 AI 手机，阶跃星辰将自研 Step-GUI 图形界面智能体嵌入系统底层，手机可本地识别屏幕界面，跨越 200 多款 App 自主完成"点外卖、预约挂号"等操作，标志从"动口"到"动手"的能力跃迁。董事长印奇（旷视科技联合创始人）+ CEO 姜大昕（前微软全球副总裁）+ CTO 朱亦博+ 首席科学家张祥雨的核心管理团队首次完整亮相。努比亚也预告将在 WAIC 2026 推出"首款 AI 智能体手机"形成对垒。
🏢 企业动态
8. 黄仁勋亲赴大摩路演：英伟达季度收入逼近千亿美元，否认 Rubin Ultra 延期
7 月 11 日摩根士丹利发布英伟达非交易路演纪要。黄仁勋、CFO Colette Kress、IR 负责人 Toshiya Hari 亲自出席，明确：当前季度收入正逼近 1000 亿美元，增速仍在加快；直接否认 Rubin Ultra 推迟至 2028 年的市场传言，确认明年按计划出货；Rubin 部分机架设计（Kyber→新方案）属于架构优化，800V 供电与机架光互连按计划推进。一大关键信号：一家此前主要依赖 ASIC 的头部 AI 模型客户，目前在英伟达平台上的算力占比已升至接近 50%。本财年 CPU 业务目标约 200 亿美元，Vera CPU 已被 Perplexity 确认采用。Joseph Moore 重申英伟达为半导体板块首选。
9. SK 海力士 ADR 上市首日涨近 13%，创海外企业赴美最大 IPO
美东时间 7 月 10 日，SK 海力士美国存托凭证以 149 美元发行价在纳斯达克挂牌交易，首日收涨 12.76% 报 168.01 美元，盘中一度涨近 19%，创纪录募资规模。SK 海力士的成功上市反映全球资本对 AI 存储产业链（HBM）的强烈配置意愿。同期，中国长鑫存储（CXMT）正在筹备自己的数十亿美元 IPO，"美中存储双雄"格局成型。
10. 苹果起诉 OpenAI 窃密案持续升级：400 名前员工成导火索
苹果 7 月 10 日在加州北区联邦法院起诉 OpenAI 及其首席硬件官 Tang Tan（前苹果产品设计副总裁），指控其系统性窃取苹果未发布产品的商业机密用于 AI 硬件研发。诉状披露：超过 400 名前苹果员工目前在 OpenAI 工作；前 iPhone 工程师 Chang Liu 利用未归还的 MacBook 与漏洞访问内网下载机密；前同事 Alyssa Peng 配合泄露；Tang Tan 在面试时要求候选人携带 iPhone 实物零件与 CAD 设计文件。OpenAI 回应"对他人商业机密毫无兴趣"。马斯克与奥特曼隔空互怼：马斯克指责奥特曼"将欺诈行为带到了全新高度"，奥特曼反讽马斯克"向投资者兜售短期太空数据中心"。
11. OpenAI 高管动荡：二号人物菲吉·西莫因病情卸任，IPO 推迟至 2027
OpenAI 7 月 12 日确认，公司"二号人物"菲吉·西莫因病情恶化正式卸任首席副手职务，转为兼职顾问。此前 4 月已有三位高管同日离职。公司 IPO 计划已推迟至 2027 年。同期，OpenAI 在旧金山招聘专职家庭产品经理负责护理人员、老年人群体产品体验——反映 ChatGPT 用户结构变化（35 岁及以上用户占比从 26% 升至 31%）。
12. OpenAI 8 月 9 日关闭 Atlas 浏览器，整合至 ChatGPT Work
OpenAI 7 月 12 日宣布将于 8 月 9 日关闭独立 Atlas AI 浏览器，相关功能整合至新发布的 ChatGPT Work 平台。Codex 也并入 ChatGPT Work，跨应用、跨文件干活（自动分析预算、生成报告、PPT、网页应用）。OpenAI 内部人士透露"几乎 100% 的部门都在靠 ChatGPT Work 加速干活"。奥特曼 7 月 12 日在 X 平台表示："至少到目前为止，我相当确定 AI 创造了新的就业机会。"
💰 创业与投资
13. 阶跃星辰、可灵 AI、星动纪元、阿里领衔中国 AI 一级市场狂热
7 月 12 日 AI 行业资本运作三线并进：MiniMax 公告拟融资 160 亿港元（95.41 亿股份配售 + 65 亿可转债），7 倍认购覆盖，CEO 闫俊杰宣布"AGI 前零薪酬"并拿出 4% 总股本激励团队、1% 设立开源社区基金；快手可灵 AI 即将完成 30 亿美元融资，腾讯参投，投后估值 180 亿美元，12 个月内正式启动港股 IPO；智谱创始人唐杰发内部信公布"摸高计划"：未来两年不追求短期商业变现，聚焦长程任务、自治智能体、完全自我训练、极致安全治理四大方向，拟募资 150 亿元登陆 A 股。星动纪元完成 10 亿元新一轮融资（诚通基金领投），两个月内密集融资 25 亿元。2026 上半年国内 AI 融资突破 3000 亿元，已超 2025 年全年总额。
14. OpenAI 与 Anthropic 2026 合计收入或达 2000 亿美元
市场预测 OpenAI 与 Anthropic 在 2026 年的合计收入有望达到 2000 亿美元，反映 AI 赛道高速增长态势。两家公司均已秘密提交 IPO 申请，OpenAI 估值目标 1 万亿美元。Anthropic 年化收入 470 亿美元反超 OpenAI，Claude Code 月增 10 倍；Codex 周活 500 万。Anthropic 拥有约 90% 的企业级 Agent 市场份额。
15. Xspark AI 获亿元天使轮：物理 AI 进入可信阶段
可信物理智能企业 Xspark AI（无界智航）完成首轮近亿元天使轮融资，鼎晖 VGC、初心资本、SEE Fund 无限基金联合领投，深圳天使母基金、水木校友种子基金、北洋海棠基金、特步家办等跟投。资金将用于核心技术研发、产品迭代以及 Physical AI 的规模化落地。"深度智控"完成数亿元 B 轮融资（晶科能源战略投资，国投创新、招银国际联合领投），主攻 L4/L5 级自主闭环控制。
16. 强脑科技完成 20 亿元融资：脑机接口独角兽再下一城
"杭州六小龙"之一、内地脑机接口独角兽强脑科技（BrainCo）近期完成 20 亿元人民币融资，为脑机接口领域除 Neuralink 以外世界第二大规模融资。投资者包括 IDG、华登国际、蓝思科技、华住、领益智造、好未来等。强脑科技 460 多项专利授权，已研制全球首款量产直觉控制智能仿生手。
17. 开源 AI 工具 Ollama 完成 6500 万美元 B 轮融资
流行的开源 AI 模型运行工具 Ollama 完成 6500 万美元 B 轮融资，Theory Ventures 领投，累计融资 8800 万美元。Ollama 2023 年推出，帮助开发者在个人电脑上运行开源权重 AI 模型，月活开发者超 890 万，覆盖 85% 财富 500 强企业，团队仅 14 人。
🛠️ 开发者生态
18. 旧金山爆发"冻结 AI"抗议：要求三大公司暂停前沿训练
7 月 12 日星期日，数百名示威者在旧金山游行，呼吁主要 AI 公司停止前沿系统的快速发展。抗议活动由"停止人工智能竞赛"联盟组织，口号"冻结人工智能，在泥泞日"，活动于中午开始，地点在 OpenAI 使命湾总部外，随后移至 Anthropic 霍华德街办事处以及 Google DeepMind 斯皮尔街基地。组织者要求三家公司 CEO 公开承诺有条件暂停训练比现有系统更强大的模型。前 AI 研究员米歇尔·特拉齐（今年早些时候在伦敦发起绝食抗议）牵头。
19. HN 首页：Uniqlo T 恤上的 Bash 脚本解读引发 1287 分热议
7 月 10 日，工程师拆解 Uniqlo 优衣库 T 恤上的小型 QR 码内容，竟然是一段完整 Bash 脚本——可在线生成个性化 T 恤图案。HN 1287 分、769 评论（仅次于 OpenAI GPT-5.6 的 1035 分），成为近期技术圈现象级话题。事件折射出"小而美"极客文化复兴，与"GPT-5.6 一小时解数学"形成有趣对比。
20. Vibe Coding 工具鏖战：18 Words 极简提示词获 813 分
Show HN「18 Words」以极短提示词实现出人意料的生成能力，HN 813 分、284 评论。微软开源 Flint（AI Agent 可视化中间语言，HN 185 分）；TypeScript 7.0 正式发布（Go 重写编译器，10 倍速度提升，HN 454 分）；Bun 正式宣告 Rust 重写（6 天重写 96 万行 Zig 代码，HN 237 分）。AI 编程工具与底层语言基础设施同步进入"以日为单位的迭代"。
21. WAIC 2026 上海 7/17-20 启幕：三地四馆展览面积首破 10 万平米
2026 世界人工智能大会暨人工智能全球治理高级别会议将于 7 月 17-20 日在上海"三地四馆"（世博展览馆、世博中心、张江科学会堂、西岸艺术中心）举行，主题"智能伙伴 共创未来"。140 余场论坛、1400 余位中外嘉宾、9 位图灵奖/诺贝尔奖得主。强化学习之父 Richard Sutton 作主旨演讲，Bengio 推介联合国 AI 治理工作框架。展览首发 300+ 重磅产品：华为 Atlas 950 真机（业界最大规模超节点）、阶跃 Agent OS、近存计算 3D 芯片、全球首款 AI 智能体手机、多款人形机器人与 AI 灵巧手。
🚀 技术产品
22. 智元第 15000 台具身机器人下线：刷新全球量产纪录
智元机器人第 15000 台具身机器人下线，距上次（5000 台）仅 3 个月，刷新全球具身机器人量产纪录。此前 7 月 8 日优必选 1.1 万订单交付消息，宇树科技 73 天闪电过审科创板成为"A 股人形机器人第一股"，产业从"PPT 阶段"全面跨入"交付竞速"阶段。
23. 中国超算"灵晟"以 2.19 EFLOPS 重返世界第一
7 月 13 日消息，中国新一代超算"灵晟"以 2.19 EFLOPS（百亿亿次浮点运算/秒）实测性能登顶 Top500，重夺全球超算榜首。灵晟面向 AI 大模型训练与科学计算优化，采用全国产 CPU+DCU 异构架构，标志着中国在 E 级超算领域重新取得领先。
24. 月之暗面声明：警惕假借名义的不实融资及股权交易信息
月之暗面 7 月 12 日发布声明，警惕市面上假借公司名义的不实融资、股权交易信息。声明强调公司融资与股权变更均以官方渠道为准。这是对近期某些自媒体炒作"月之暗面以 300 亿美元估值"等不实信息的正面回应。
🏛️ 政策与监管
25. 阿里禁用 Anthropic 全系生效：中美 AI 工具博弈进入"高墙"阶段
阿里巴巴 7 月初发布内部通知，要求员工 7 月 10 日前卸载 Claude Code 及 Sonnet、Opus、Fable 等全系模型，替换为自研 Qoder 平台。工信部 7 月 8 日通报 Claude Code（2.1.91–2.1.196 版本）存在安全后门：未经用户同意可向远程服务器回传用户地域、身份标识乃至研发代码等核心敏感数据。Anthropic 回应称该机制为 3 月上线的实验性功能，7 月 2 日已推送新版本彻底移除。经济日报评论："Claude Code 事件绝非孤例，它暴露了 AI 时代安全的深层困境。"
26. 欧盟 AI 法案核心条款 7 月 15 日正式生效
欧盟 AI 法案（EU AI Act）核心条款 7 月 15 日正式生效：禁止社会信用评分、不可接受的实时远程生物识别（部分例外）、操纵性 AI 系统等高风险用例；要求高风险 AI 系统必须提供透明度文档、技术文档、人类监督机制；中国豆包、千问、元宝已集体下线智能体功能（7 月 15 日）迎合规新规。Anthropic 同步启动"Claude Corps"项目——1.5 亿美元资助 1000 名 AI 人才进驻非营利组织。
📈 行业趋势
27. 中国大模型周调用量连续十周领跑全球
最新统计显示中国 AI 大模型周调用量达 23.45 万亿 Token，连续 10 周超越美国；国产模型整体占据 OpenRouter 约 60% 使用量。Databricks 已默认采用 GLM-5.2 作为编码引擎，性能持平 Opus、成本低三成。Coinbase 设智谱 GLM 5.2 / Kimi K2.7 Code 为全员默认模型。国家发改委披露 2025 年中国 AI 核心产业规模破 1 万亿元，2026 年行业增速预计维持 30%+。
28. AI 内容接管社交媒体：LinkedIn 尤甚
Pangram 研究报告显示，AI 生成内容已在社交媒体无处不在，LinkedIn 上 AI 文案比例尤为突出（HN 186 分、164 评论）。平台方与检测工具商正围绕"AI 内容标注与识别"展开新一轮攻防。
📌 摘要
今日 AI 行业进入"价格战 + 数学突破 + 智能体终端"三线并进阶段：OpenAI GPT-5.6 Sol Ultra 一小时独立证明 50 年图论猜想（64 个子智能体协同）、谷歌 Gemma 4 全系开源（端侧 16GB 显存可跑原生多模态）、阶跃星辰今晚发布全球首款 AI 智能体手机（截胡 OpenAI）、SpaceXAI/Google/Blue Origin/SK 海力士超级 IPO 接力、黄仁勋亲赴大摩路演否认 Rubin 延期且季度收入逼近千亿美元。监管侧，联合国首份全球 AI 科学评估报告发布（警告监管全面滞后），阿里禁用 Anthropic 全系生效、欧盟 AI 法案核心条款 7/15 生效。资本侧，MiniMax 融资 160 亿港元 + CEO 零薪酬、可灵 AI 30 亿美元融资 + 港股 IPO 启动、智元第 15000 台机器人下线。HackerNews 由 Uniqlo T 恤 Bash 脚本（1287 分）、OpenAI GPT-5.6（1035 分）领跑。
欢迎关注微信公众号「数字机器莱西奥」，每日精选全球科技AI热点，助你 5 分钟读懂行业风向。
