OpenAI 宣称用未公开内部模型(约1万个 Agent、88小时、成本数百万美元)解决纳维-斯托克斯千禧年难题,并称该模型"显著强于 GPT-6 Astra";OpenAI 本身未上市,事件已发生5个交易日且相关大盘股未出现正向重定价
催化的直接主体 OpenAI 未上市且无任何可交易证券载体;能被点名映射的上市标的(微软、英伟达、甲骨文)均无本次事件带来的订单、收入、capex 或指引增量,属超大市值软催化,且事件首发至今已过 5 天、美股与 A 股各完成三个交易日定价,三家候选在 9/8–9/11 均未出现正向重定价(英伟达、甲骨文反而下跌)。方向(AI 能力里程碑)虽为正面,但既无可交易载体也无未消化的经济增量,故整体 AVOID;无上市公司净损害,risk_signals 为空
展开详情(成交明细 / 研究档案 / 原文全文 / 决策记录链)
研究档案
结论摘要
事实:2026-09-08 OpenAI 官方公布纳维-斯托克斯"解",使用未发布内部模型(称"显著强于 GPT-6 Astra")、约1万个 Agent、88小时、成本数百万美元量级,并配 Lean 4 形式化验证;同日 Buckmaster 公开成果并指控 OpenAI 利用其未公开进展,Bubeck 否认。影响链:能力里程碑→OpenAI 竞争力与 AGI 叙事强化→理论上映射到云/算力合作方(微软、甲骨文)与芯片(英伟达)。但经济敞口断裂:无订单、无合同金额、无 capex 或指引变化,且"数百万美元"级推理算力对英伟达/微软体量可忽略,直接主体又未上市。价格证据:9/8–9/11 三个交易日,微软 493.95→495.63(累计约 -0.3%)、英伟达 225.48→218.29(约 -3%)、甲骨文 162.52→150.28(约 -7.5%),无同向重定价,说明市场未把此事件当作可定价的公司级增量。结论:无载体 + 无增量 + 已过窗口,AVOID;争议若被推翻也只影响叙事,不产生上市公司净损害,故不建风险行
消息传播链
- 发行主体一手披露:约1万个 Agent、未发布内部模型("significantly more powerful than GPT-6 Astra")、约88小时求解、成本数百万美元量级、17小时 Lean 4 形式化验证。链接经内部 KB 的 9/8 MTS 简报原文取得,具体分钟未披露,故只锚到日期市场反应:当日微软 -1.15%、英伟达 -2.01%、甲骨文 +2.36%(后者由自身因素主导),无与本催化一致的同向重定价
- 同日 Buckmaster 宣布与 Anthropic 的 Alpöge 合作的流体爆破结果,并指控 OpenAI 在得知其进展后集中攻关、质疑 Codex 用途与署名;Bubeck 否认。争议使"AI 独立解决"的叙事带有归属不确定性
- 社媒二次评论,聚焦"内部模型显著强于 GPT-6 Astra"这句能力表述并对比 Fable 传闻,标注 Via Axios;无新增金额、订单或上市主体信息,属叙事扩散而非新催化
- 中文门户当日即报道争议全过程,说明消息在事发当天已完成跨语言高扩散
- 次日中文媒体跟进"OpenAI 被指利用他人未公开成果抢先破解",进一步确认高传播度;同时点明关键通话细节仍为 Buckmaster 单方陈述、无独立记录可核实
- 2026-09-11市场反应Futu 日线(price_snapshot)非一手事件后三个完整交易日结束:微软 493.95→495.63、英伟达 225.48→218.29、甲骨文 162.52→150.28,映射标的未出现由本催化驱动的正向重定价,短线窗口已关闭
关键理由
- 事件本身是 AI 能力的重大里程碑,但受益主体 OpenAI 未上市,无 ADR、无单股杠杆产品,缺乏直接交易载体
- 映射到上市的微软/英伟达/甲骨文时,本次催化不含任何可验证的订单、收入、capex 或指引增量,属超大市值软催化
- 首发已过 5 天、三个交易日定价完毕且候选标的未出现正向重定价,短线 edge 已不存在
主要风险
- 成果归属争议(Buckmaster 指控、Bubeck 否认)与 Lean 4/Clay 正式确认尚未落定,叙事存在被部分推翻的尾部风险,但该风险不落在任何上市公司损益上
- 若后续 OpenAI 据此宣布与上市云厂商/芯片厂商的具名大额算力协议或商业化产品,判断需完全重做,本 AVOID 不可延用
反向证据
- 做多前查反向 · 来源 web · 日期 2026-09-13 · 影响 invalidates
未命中任何被本催化点名、且有一手证据坐实真实敞口的 A 股/港股标的;无法为"AI4S"主题拼出可坐实的篮子
检索:OpenAI 纳维-斯托克斯 突破 A股 AI for Science 概念股 算力 受益 9月9日 - 做多前查反向 · 来源 kb_search · 日期 2026-09-08 · 影响 weakens
内部库仅有 9/8 的 MTS 简报叙事性记录,无任何券商对该事件给出上市公司收入/订单/capex 增量测算;同期算力链研报(如 8/18 长城证券 AIDC)与本事件无因果关联
检索:OpenAI 内部模型 能力突破 千禧年难题 对算力链需求影响(kb_search) 原文 ↗ - 做多前查反向 · 来源 filing · 日期 2026-09-11 · 影响 invalidates
事件后三个交易日:微软累计约 -0.3%、英伟达约 -3.0%、甲骨文约 -7.5%(量比 3.25,距52周高 -53.9%),映射标的既无正向重定价也无事件归因的放量上冲,做多 edge 不存在
检索:MSFT.US / NVDA.US / ORCL.US 2026-09-08 至 09-11 事件后真实日线(price_snapshot) - 做空前查反向 · 来源 web · 日期 2026-09-11 · 影响 none
归属争议仅涉及 OpenAI(未上市)与学者的声誉/署名问题,未对任何上市主体产生已确认的收入、利润、资产或监管损害;不满足做空红线的"明确强空催化",故不出 SHORT 腿、也不建风险行
检索:OpenAI Navier-Stokes 成果 争议 指控 是否构成上市公司净损害 / 做空催化 原文 ↗
先例如何影响了这次决策
对本次决策的影响:未运行 event_study,也未用先例校准 tp/sl:本事件的直接主体 OpenAI 未上市,且没有任何上市标的具备可用一手证据坐实的因果敞口,不存在可对齐的交易腿,先例的幅度/胜率读数无法改变"无可交易载体"这一结论
工具执行结果 · 成功 11 · 降级 0 · 失败 0 · 取消 0
- search_processed_events 成功 stock_tools HTTP · 43 ms
{"result": "search_processed_events:agent query=`navier-stokes millennium prize openai axios | openai internal model significantly more capable than gpt-6 astra | openai 内部模型 fable 预训练 传闻 | openai 模型 解决 纳维-斯托克斯 千禧年难题`;结构化索引覆盖完整 72 小时;旧记录兼容扫描近 0.0/72 小时、0 条本臂决策(完整),返回 0 条候选。未命中只表示这些 agent query 表达式没有 - web_search 成功 Bing RSS · 250 ms
Bing RSS 搜索结果(原始查询:OpenAI model solved Navier-Stokes Millennium Prize problem internal model Axios) - fetch_decision_experience 成功 stock_tools HTTP · 16 ms
{ - web_search 成功 Bing RSS · 257 ms
Bing RSS 搜索结果(原始查询:"Navier-Stokes" OpenAI model solved millennium problem September 2026) - web_search 成功 Bing RSS · 272 ms
Bing RSS 搜索结果(原始查询:Axios OpenAI "GPT-6 Astra" internal model more capable Fable rumor) - kb_search 成功 stock_tools HTTP · 7,079 ms
{ - kb_fetch_document 成功 stock_tools HTTP · 39 ms
{ - web_search 成功 Bing RSS · 246 ms
Bing RSS 搜索结果(原始查询:Buckmaster OpenAI Navier-Stokes 争议 指控 Clay 验证 千禧年奖 2026年9月) - price_snapshot 成功 stock_tools HTTP · 26 ms
{ - web_search 成功 Bing RSS · 287 ms
Bing RSS 搜索结果(原始查询:OpenAI 纳维-斯托克斯 突破 A股 AI for Science 概念股 算力 受益 9月9日) - web_search 成功 Bing RSS · 240 ms
Bing RSS 搜索结果(原始查询:openai.com navier-stokes-solution announcement September 8 2026 10,000 agents Lean 4 verification)
原文全文
展开原文 · 481 字
It's no secret by now that OpenAI has better internal models than GPT-6 Astra. But "significantly more capable than GPT-6 Astra" is a bold claim.
But it also makes it particularly exciting compared to the rumors of the new Fable, which is said to have a new pre-training system and be significantly better than Astra.
Via Axios
决策记录链 · 只追加
每次领取产生一条记录,重新决策追加一条并以 supersedes 指向被替代的记录(ADR 0014)。
这条决策早于决策账本(2026-10-08 起逐条追加),没有追加记录。