← 返回首页
A I · D A I L Y 2026 年 10 月 28 日 · 星期三

AI 开始"证明"数学,云开始"解绑"英伟达:智力与算力同时变天

今日看点:OpenAI 三项科学成果 · Genie 4 世界模型 · SK 海力士近 80% 利润率 · 甲骨文首引谷歌 TPU · Anthropic 散户配售 · 蚂蚁灵光 2.0
01

今日头条 · AI 大事记

OCT 28
头条 · AI for Science

OpenAI 连放三弹:证伪 ETH、打通挂谷猜想、形式化四维杨-米尔斯

美东 10 月 26 日,OpenAI 宣布内部模型产出三项基础研究成果:证明所有空间维度下的局部光滑化猜想并由此得到挂谷猜想相关结果;给出统治理论计算机界近 30 年的指数时间假设(ETH)的次指数时间反证;完成四维纯杨-米尔斯理论存在性的 Lean 形式化证明。三项成果均已或即将交由提出者级别学者牵头核查,自然语言文稿与 Lean 证明在 GitHub 公开。值得注意:挂谷证明从 AI 产出到机器形式化只用了一天,但"次指数"不等于"多项式",P 与 NP 并未被解决。

模型前沿 · 世界模型

谷歌 Genie 4:从"生成一段视频"到"实时运行一个世界"

谷歌 DeepMind 美东 10 月 27 日以研究预览形式发布 Genie 4:用户可在模拟进行中用自然语言实时改写场景,画面与原生音频(音乐、环境音、对话)同步生成,最长连续模拟约 2 分钟(上代两倍),由 Gemini Omni 锚定真实世界外观。先期只对受信任测试者和 Google AI Ultra 用户开放——它仍是研究预览,不是可量产产品,但世界模型的产品形态第一次清晰到可以被讨论。

104.6万亿
韩元 · SK海力士单季营收首破百万亿
+632%
SK海力士Q3营业利润同比增幅
15-20%
Anthropic拟留给散户的IPO份额
2分钟
Genie 4 最长连续交互模拟时长

注:SK 海力士 Q3 营业利润率接近 80%,公司判断内存供不应求将持续至 2030 年;数据口径见各事件卡片。

02

事件详解 · 事实与编辑判断

FACT × JUDGMENT
前沿科研 · 数学与物理

① OpenAI 的"科研三连击":先别急着写进教科书

核心事实
  • 挂谷方向:模型借新的辅助偏微分方程证明全维局部光滑化猜想,10 月 18 日获 AI 产出、次日完成 Lean 形式化,由此得到挂谷猜想与 Stein 限制猜想相关结果
  • ETH 反证:67 页手稿给出 3-SAT 次指数时间算法并完成 Lean 形式化;ETH 提出者 Impagliazzo、Paturi 与 Ryan Williams 牵头核查
  • 杨-米尔斯:四维纯杨-米尔斯(含量子色动力学)存在性完成 Lean 形式化,诺奖得主 David Gross 牵头专家组,AI 材料暂未公开
  • 文稿与证明已在 GitHub 公开,OpenAI 将其定位为"原始研究数据",等待学术界独立核查
编辑判断
1Lean 只证明"它收到的版本没写错",不证明自然语言思路对——真正的风险点在论文原文与形式化版本是否一致,核查才刚开始。
2时点耐人寻味:Anthropic 招股书路演在即,OpenAI 用"千禧年级"成果争夺叙事高地,科研公告同时也是融资公关。
3"一天形式化"若可复现,改变的是数学生产方式:人的角色从证明者退化为出题者和审稿人;不可复现就只是一次精算演示。
4次指数不等于多项式,ETH 被证伪也不碰 P=NP,媒体"30 年铁律崩塌"的标题党先行,结论需要等提出者团队签字。
模型发布 · 世界模型

② Genie 4:世界模型从 demo 走向"可进去的场景"

核心事实
  • 美东 10 月 27 日以研究预览发布,官方称迄今真实度与交互性最强
  • 模拟进行中可用自然语言实时干预改写,不再是预渲染视频
  • 首次原生音画同步:音乐、环境噪音、互动对话随世界一起生成
  • 最长连续模拟约 2 分钟,为 Genie 3 的两倍
  • Gemini Omni 锚定真实外观,其他 Gemini 模型负责连贯性推理;先供受信任测试者与 AI Ultra 用户,API/AI Studio 伙伴随后接入
编辑判断
12 分钟、邀请制、无开放 API——这是技术路线宣示,不是商业产品;离游戏/仿真训练所需的稳定长时程还有数量级差距。
2真正的分水岭是"可干预":视频生成卖的是成片,世界模型卖的是环境,后者直接对应机器人仿真训练和游戏内容生产两个付费场景。
3对国内厂商是路线压力:可灵、即梦、Seedance 仍在"更长更清的视频"上卷参数,谷歌已经换赛道;但世界模型的算力成本国内短时间跟不起。
4Runway 的 GWM Worlds 2 先发却无声量,说明这个品类的胜负手不在 Demo,而在谁先提供低延迟、可嵌入工作流的 API。
算力硬件 · 财报与供给

③ SK 海力士:营业利润率近 80%,把内存短缺"卖"到了 2030 年

核心事实
  • Q3 营收 104.62 万亿韩元(约 788.6 亿美元,同比 +327.9%),单季首破百万亿,超市场预期
  • 营业利润 83.33 万亿韩元(同比 +632.1%,利润率近 80%);净利润约 39.5 万亿,环比下滑
  • Q4 HBM4 出货量与营收预计双超 HBM3E
  • 已与 14 家主要客户签长协,覆盖 2027-2028 年超 50% 产能;判断内存供不应求持续至 2030 年
  • 年度股东回报约 100 万亿韩元(分红下限 30 万亿、回购注销不少于 60 万亿),当日敲定 20 万亿回购,含铠侠收益特别股息
编辑判断
1近 80% 营业利润率是"卖铲子的人在收矿税",不是健康产业链该有的长期利润分布——下游云厂商的成本压力被这份财报量化了。
214 份长协锁死两年五成产能,意味着 2027-2028 年 HBM 是"按身份分配"而非"按价格采购",二线云厂商和国产算力链会最先感受到挤出。
3"短缺到 2030"是卖方预测里最方便的说法:它既支撑长协谈判,也支撑自家估值;历史上内存行业从未缺席过周期反转,4 年线性外推本身就是风险。
4净利润环比下滑、股价自 6 月高点腰斩,说明市场已在交易"景气顶";这组数据是 AI 硬件多空分歧最浓缩的一张牌。
资本市场 · IPO 进展

④ Anthropic 把 15%-20% 股份留给散户:史上最大 IPO 的情绪分销术

核心事实
  • 选定摩根大通牵头美国散户发行,CEO 戴蒙预计参与路演;花旗负责国际散户配售
  • 拟将 IPO 总股份 15%-20% 分配给散户,发售覆盖澳、加、日、部分欧洲、瑞士、英国
  • 承销团约 22 家银行:高盛主承、摩根士丹利任稳定价格经纪
  • 投资者反馈合理估值约 1.4-1.5 万亿美元,乐观情形至 1.75 万亿
  • 摩根大通此前操盘 SpaceX 862 亿美元 IPO 散户认购,散户需求曾超 1000 亿美元
编辑判断
1散户配售比例罕见地高,本质是在机构对 8080 亿算力承诺将信将疑时,引入对估值不敏感、只认品牌的需求托底。
2请戴蒙亲自出马+复刻 SpaceX 打法,说明承销团预判这单需要"零售情绪"才能在 1.4 万亿以上站稳,机构定价能力已到边界。
31.4-1.5 万亿对应的是"信仰估值":按上半年营收年化约 326 亿计算超过 4 倍市销率,盈利模型完全押注 AI 渗透率持续超预期。
4对二级市场,散户份额越高、上市初期波动越大;对 AI 板块,ANT 挂牌会成为所有未上市 AI 公司(含 OpenAI)估值的公开锚。
云与算力 · 供应链

⑤ 甲骨文一天牵手四方:英伟达扩到数吉瓦,TPU 第一次走出谷歌

核心事实
  • 与英伟达合作把 OCI 超级集群扩至 Vera Rubin NVL72 数吉瓦规模,Vera Rubin NVL72 与 Vera CPU 已在 OCI 全面可用
  • 谷歌 TPU 首次登陆谷歌之外的超大规模云,预计 2027 年推出、多年逐步扩大,支持第八代 TPU
  • 计划引入 Cerebras、SambaNova 的 AI 推理芯片,面向实验室与企业提供快速推理
  • 另宣布甲骨文企业应用接入 OpenAI ChatGPT、扩大与英特尔 Xeon 合作
编辑判断
1TPU 外溢是今天最具结构意义的一条:谷歌把自研芯片从"独占护城河"变成"渠道商品",等于承认云的竞争点回到客户与分发,而非芯片本身。
2推理侧引入 Cerebras/SambaNova,训练侧继续绑英伟达——甲骨文把"训练靠 CUDA、推理拼成本"的行业共识写成了采购清单。
3对国产芯片是参照而非利好:连谷歌都要借渠道出货,说明自研芯片没有自销能力就是废铁;昇腾、寒武纪的差距主要在软件生态和云渠道,不在制程单点。
4甲骨文应用接入 ChatGPT 是更微妙的信号:企业软件商开始把竞争对手的模型塞进自家工作流,模型层的议价权正在向掌握业务场景的一方倾斜。
国内动态 · 个人智能体

⑥ 蚂蚁灵光 2.0:国内大厂 Personal Agent 第一枪,对标 Meta Muse

核心事实
  • 10 月 27 日发布,定位从"能聊会做"升级为"能管事的个人 AI 助理"
  • 获用户授权后,结合已接入信息与服务主动识别需求、持续监测跟进、关键节点提醒(如信用卡账单自动发现-分析-提醒)
  • AI 介入起点从"用户下指令"前移到"系统主动发现"
  • 背景:Meta Muse 上线 40 天美国下载破 1000 万,Personal Agent 成海外继 AI Coding 后新热点
编辑判断
1"主动管事"的前提是持续读取用户数据和账户,这恰是蚂蚁的生态强项,也是国内合规最敏感的地带——产品能力与监管边界会贴身赛跑。
2Personal Agent 的真实门槛不是模型,是可执行的服务闭环(支付、账单、日程、出行);蚂蚁有支付宝,腾讯有微信,字节和百度这轮反而被动。
3用 Muse 的下载量给国内市场定预期要谨慎:海外 1000 万下载靠的是新鲜感,"管事型"产品的留存取决于它敢替用户做多少决定。
4对开发者,主动式 Agent 会重新定义应用入口:若灵光成为"代办层",第三方应用将从被打开变成被调用,流量逻辑可能再被重写一次。
深度追踪 · 大陆开发者影响

算力账本的两极:上游锁产锁到 2030,下游云厂商忙着"去英伟达单一化"

SK 海力士的创纪录财报与甲骨文的多芯片公告同日出现,看似矛盾,实则是同一盘棋的两端——稀缺的继续集中,可替代的开始解绑。
■ 上游:HBM 成为 AI 时代最硬的"配额商品"

利润率 80%、长协锁两年、短缺看到 2030

  • SK 海力士 Q3 营业利润 83.33 万亿韩元、利润率近 80%,HBM4 与服务器 DDR5 是核心驱动,Q4 HBM4 出货与营收将双超 HBM3E
  • 14 家主要客户的长期协议已覆盖 2027-2028 年超过 50% 产能——头部客户用钱锁产能,后来者只能捡余量
  • 同步抛出约 100 万亿韩元年股东回报与 20 万亿回购,现金流之强在半导体史上罕见
■ 下游:云厂商用"多供应商"对冲被锁死的命运

英伟达扩量、谷歌 TPU 首次外溢、推理芯片新玩家进场

  • 甲骨文把 OCI 上的 Vera Rubin 扩到数吉瓦,但同一天引入谷歌 TPU(谷歌之外首家)、Cerebras 与 SambaNova 推理芯片
  • 谷歌 TPU 外溢意味着自研芯片开始走"渠道分销"路线;Cerebras CEO 直言这是"一线客户群的大规模扩张"
  • 训练继续依赖英伟达 CUDA 生态,推理则明显走向多元架构——这正是近三个月 TorchNeuron、TorchTPU 连续开源的延续
■ 对中国大陆:成本与生态两条线同时承压

买不到的更难买,能用的更便宜

  • HBM 长协配额制叠加出口管制,国产高端 GPU 在 2027-2028 年面对的不仅是制程差距,还有存储配套的被动配给;长鑫等国产 HBM 替代的战略价值上升,但量产节奏远水难解近渴
  • 推理侧多芯片化与开源权重份额上升(OpenRouter 开源权重 Token 占比已约 72%)共同压低推理成本,对国内做应用和 Agent 的团队其实是利好
  • TPU、Trainium、Cerebras 都在用软件兼容(PyTorch 后端)挖 CUDA 的墙脚,国产芯片的真正功课是把框架适配和云渠道补齐,而不是只追单点跑分

1这不是矛盾,是"瓶颈分层":越靠近物理工艺越集中,越靠近推理服务越分散

HBM 和先进制程是资金、时间、良率堆出来的硬壁垒,全球只剩两三家能玩,所以可以锁产到 2030、拿走 80% 利润率;而推理算力一旦标准化,云厂商立刻用多供应商压价。算力产业链正在像原油产业一样分层:上游勘探开采(HBM/制程)寡头垄断赚暴利,中游炼化(云/推理)充分竞争拼成本。判断一家 AI 基础设施公司值不值钱,先看它站在哪一层。

2"短缺到 2030"是今天最需要打折的一句话

它来自最大受益者本人,服务于长协签约和股东回报叙事。内存行业过去三十年每一次"这次不一样"的长期短缺宣言,最终都被产能周期和需求证伪——2018 年、2022 年殷鉴不远。真正该跟踪的是两个反向指标:一是 Terra 这类效率模型让单位智能 Token 消耗下降的速度,二是长协客户在 2027 年是否出现转让或违约。如果 HBM4 在 Q4 如期双超 HBM3E 且长协履约率保持满格,短缺叙事才算被持续验证。

3对国内应用开发者:推理通缩是确定的,训练通胀也是确定的

甲骨文把推理芯片摆上货架、开源权重吃下 72% Token 份额,推理价格的中长期方向只有向下,做 Agent、做应用、做行业模型微调的团队应敢于按推理成本继续下降来设计商业模式(重推理、轻订阅费)。反过来,前沿训练的门槛继续抬高——HBM 被配额、先进算力被管制、万卡集群的资金量以千亿计。结论是:国内"训练国家级基座"的玩家会进一步收窄到少数有国资和云厂商支撑的公司,绝大多数团队的最优解是用开源权重+廉价推理做深场景,而不是自训基座。

4CUDA 松动的真正信号不是多一家芯片,而是多一种"无感迁移"

TorchNeuron 一句 .to('neuron')、TorchTPU 原生 PyTorch、甲骨文统一上架——它们的共同点是让开发者不换代码就能换芯片。这才是对 CUDA 生态的实质性侵蚀,和过去十年"性能对标英伟达但没人迁移"的国产芯片故事有本质区别。对国产算力链的启示很直接:与其追求单卡跑分再高几个点,不如把 PyTorch/vLLM/SGLang 适配、主流开源模型(DeepSeek、Kimi、Qwen)的开箱即用和云市场上架这三件事做到零摩擦。生态位的窗口,就在这两年大厂自己动手解绑英伟达的过程中。