幸知日报 V1 深度调研 2026-09-09
执行口径 三路 V1 子代理（数学声明 / 图像发布 / 伊朗油价）派发时因子代理额度用尽全部启动失败（Insufficient Balance），按「先写骨架再充实、主会话接管素材」兜底模式，由主会话直接完成本合并调研。每条断言标注置信度；浏览器/webfetch 实际打开过的来源在信源清单标「已直开」。
幸知 调研报告 调研
#Insufficient#Balance
[!warning] 执行口径 三路 V1 子代理（数学声明 / 图像发布 / 伊朗油价）派发时因子代理额度用尽全部启动失败（Insufficient Balance），按「先写骨架再充实、主会话接管素材」兜底模式，由主会话直接完成本合并调研。每条断言标注置信度；浏览器/webfetch 实际打开过的来源在信源清单标「已直开」。
一、OpenAI 纳维–斯托克斯声明：证据边界审计
事件概况 [事实]
OpenAI 九月八日发布研究文章《On the Navier–Stokes Millennium Prize Problem》，宣称内部多代理系统解出该千禧难题的「奇点形成」方向（即官方题面 C/D 陈述——三维不可压缩流体可在有限时间内从光滑初态产生奇点），并公开了证明文本（PDF）与 Lean 形式化代码库（GitHub: openai/NavierStokesAndEuler）。
关键断言清单
| # | 断言 | 置信度 | 证据 |
|---|---|---|---|
| 1 | OpenAI 于 2026-09-08 发布该声明 | [事实] | 官方页已直开，日期标注 September 8, 2026 |
| 2 | 求解使用了「显著强于 GPT-6 Astra」的内部模型，训练自 8-28 起仍在进行 | [事实（公司口径）] | 官方原文 |
| 3 | 求解组规模约一万并发代理；全项目 490 万条消息、约 3000 亿输出令牌；纳维–斯托克斯单项 270 万条消息、约 1300 亿令牌 | [事实（公司口径）] | 官方原文逐项核对 |
| 4 | 代理 9-05 得出结果（启动后约 88 小时）；Lean 形式化与验证另耗时 17 小时（由 GPT-6 Astra 完成） | [事实（公司口径）] | 官方原文 |
| 5 | OpenAI 明确声明不申领千禧奖 | [事实] | 官方原文「We do not intend to claim the Millennium Prize」 |
| 6 | 该证明已被数学界/Clay 研究所确认有效 | [推测-待确认：未发现任何独立确认] | Clay 官网仅列难题列表，无相关公告；无任何同行评审记录 |
| 7 | Lean 形式化存在 ≠ 数学社区认可：形式化验证只能保证「证明在 Lean 公理体系内无逻辑漏洞」，前提建模（题面翻译）仍需人工审查 | [推断] | 基于 Lean 形式化的一般性质；本报告未逐行审查代码库 |
| 8 | Buckmaster（NYU）与 Alpöge（Anthropic）周一发布了受迫欧拉方程的 AI 辅助证明；二人为此工作近一年 | [事实（经 MIT 科技评论转述+Buckmaster 公开帖链接）] | MIT TR 全文已直开；二人原始文件（cims.nyu.edu）未直开 |
| 9 | Buckmaster 声明文件称：OpenAI 员工提出「排除 Alpöge 署名」的合作方案；对其对话记录是否被用于训练「未作回应」 | [事实（Buckmaster 单方陈述，经 MIT TR 报道）] | MIT TR；OpenAI 层面已否认访问记录，训练问题未回应 |
| 10 | OpenAI 官方文章承认「九月一日听到两个千禧难题被解的传闻」后启动该项目，并称曾主动联系二人提议联合发布 | [事实] | 官方原文「Concurrent work」一节 |
| 11 | 双方证明均使用 Córdoba–Martínez-Zoroa 开创的方法路径；独立撞车与受影响两种可能都成立 | [推断] | 布朗大学 Gómez-Serrano 教授评点（MIT TR） |
| 12 | 项目成本达数百万美元量级 | [事实（公司高管在新闻简报中所说，经 MIT TR 转述）] | MIT TR |
| 13 | 陶哲轩公开警告：纯 AI 过早解题且不公开过程，可能污染数学整体进程 | [事实（经 MIT TR 转述其 Mastodon 帖）] | 原帖未直开 |
行业研判 [推断]
- 若证明成立，这是「AI 首次解出千禧难题」级别的里程碑，但确认权在数学界不在发布方；参考历史，重大证明的社区审查周期以月计。
- 比证明本身更确定的格局变化：数学研究的资源门槛被拉到了「只有两三个前沿实验室付得起」的量级（万级并发代理+数百万美元），这对学术协作规范是结构性冲击——MIT TR 的争议报道比证明本身更能代表当前共识焦点。
- 日报写法红线：必须写「OpenAI 宣称」，禁止写「OpenAI 解出了」。
证据缺口
- 无任何数学机构或独立专家的验证表态（截至 9-09 23:30 北京时间）。
- Buckmaster 声明文件原文（statement.pdf）与其欧拉证明（euler.pdf）未直开核实。
- Lean 代码库未做技术审查（需要形式化方法专长，超出本轮调研能力）。
二、ChatGPT Images 2.5 发布：能力与证据缺口
事件概况 [事实]
OpenAI 九月八日发布 Images 2.5，官方定位「新一代最强图像模型」，全量开放给 ChatGPT / ChatGPT Work / Codex 用户（桌面、移动、网页），API 同步上线 GPT-Image-2.5 Flare 与 GPT-Image-2.5 Sunburst 两个模型。
关键断言清单
| # | 断言 | 置信度 | 证据 |
|---|---|---|---|
| 1 | 发布日期 2026-09-08，官方页已确认 | [事实] | 官方页已直开（浏览器快照） |
| 2 | 官方性能口径：细节更锐利、光影纹理更自然、参考图主体保留更好、多轮编辑更可靠、延迟较 2.0 最高降 50% | [事实（厂商单方口径）] | 官方原文 |
| 3 | 新功能：Sketch（对话内手绘草图作参考）、模板（海报/商品图等）、图片批注、提示词分享 | [事实] | 官方原文+功能入口链接存在 |
| 4 | 用户体量：每周在 ChatGPT Images 与 API 创建超 30 亿张图像 | [事实（厂商口径）] | 官方原文 |
| 5 | API 双模型分工：Flare=质量/编辑/速度均衡；Sunburst=更高精度、更长耗时 | [事实] | 官方原文 |
| 6 | 「更好更快」的客观性能 | [推测-待确认] | 发布当日无任何独立基准、第三方实测或公开榜单数据 |
| 7 | 价格、配额、地区限制 | 未知 | 官方页未涉及；本调研未找到定价文档更新，禁止猜测 |
编辑建议 [推断]
- 列一级的理由是「格局+普惠」：头部图像模型换代 + 全员开放 + 三十亿张/周体量，且 API 双档位意味着开发侧定价/分层策略变化值得追踪。
- 写日报时性能部分必须挂「官方称」，不写成既成事实；真正的看点在一两周后的第三方实测与竞品（谷歌图像线、各类开源图像模型）反应。
证据缺口
- 无独立基准与第三方实测（发布当日正常状态，需后续回填）。
- API 定价文档未核验。
三、美军摧毁五艘伊朗油轮与油价破百：多源核验
事件概况 [事实]
美国中央司令部九月八日声明：在阿曼湾摧毁 M/T Kaviz、Charminar、Horizon 1、Riesco，在哈尔克岛附近摧毁 M/T Derya，共五艘伊朗革命卫队原油运输船；行动理由是革命卫队两日内两次以弹道导弹瞄准美国海军舰艇（均被规避、无美方伤亡）；打击前船员被令弃船。加上九月五日的三艘，一周内共八艘。
关键断言清单
| # | 断言 | 置信度 | 证据 |
|---|---|---|---|
| 1 | 中央司令部发布上述声明（9-08） | [事实] | centcom.mil 官方声明全文已直开 |
| 2 | 五艘船名、两处海域、「无美方人员伤亡」「船员先弃船」等细节 | [事实（美方单方口径）] | 官方声明原文；无任何第三方独立核实 |
| 3 | NPR 今晨交叉报道此事，并补充：伊朗报复性打击了约旦一处美军基地 | [事实（NPR 报道层面）] | NPR Up First 已直开 |
| 4 | 布伦特原油重回每桶一百美元上方 | [事实（多源一致）] | NPR 正文明确表述；纽约时报标题「Oil Hits $100」；彭博标题「Brent Oil Jumps Above $100」——后两者正文被拦截，点位精确值未核实 |
| 5 | 开战以来油价累计上涨约四成 | [事实（纽约时报标题级）] | NYT 标题「risen 40 percent since the start of the war」 |
| 6 | 伊朗官方回应 | 缺失 | 本次未获取伊朗外交部/官媒一手声明 |
| 7 | 美方行动的战略目标与美军中东驻军前景不明 | [推断] | NPR 记者分析：削减驻军可能向伊朗示弱，海湾盟友已在寻求多元化防务关系 |
影响研判 [推断]
- 直接传导链：油轮连续被毁 → 伊朗影子船队收入与出口能力受损 → 伊朗报复（约旦美军基地）→ 冲突螺旋升级预期 → 油价破百。
- 二级影响：油价破百发生在九月十一日八月消费者物价指数公布前 48 小时，直接给美联储九月议息增加变量（承接 9-08 日报「9-11 CPI 裁决点」跟踪线）。
- 写作红线：所有击沉细节必须挂「美方称/据中央司令部声明」；伊朗方视角缺失要在文中明示。
证据缺口
- 无第三方（航运追踪、卫星影像、伊朗官方）对五艘船被毁的独立证实。
- 油价精确点位与实时报价未从行情一手源核实（彭博/路透均被拦截）。
- 约旦美军基地遇袭的伤亡与损失细节未披露（五角大楼未公布）。
信源清单（已直开 = 本调研实际打开并核对正文）
| 信源 | 状态 |
|---|---|
| openai.com/index/navier-stokes-solution/ | 已直开（浏览器全文快照） |
| technologyreview.com 纳维–斯托克斯争议报道 | 已直开（全文） |
| centcom.mil 4593050 号声明 | 已直开（全文） |
| npr.org Up First 9-09 | 已直开（全文） |
| npr.org Anthropic 经济工具报道 | 已直开（全文） |
| arstechnica.com Lines 诉讼报道 | 已直开（全文） |
| openai.com/index/introducing-chatgpt-images-2-5/ | 已直开（浏览器全文快照） |
| openai.com/index/teen-development-research-grants/ | 已直开（浏览器全文快照） |
| anthropic.com/economic-index | 已直开（注意：该页更新日期为六月二十六日，与新情景工具不同模块） |
| nytimes.com 油价报道 | 403 拦截，仅标题级 |
| bloomberg.com 市场综述/欧洲发债 | 验证码拦截，仅标题级 |
| aboutamazon.com 配音功能 | 404 |
| cims.nyu.edu Buckmaster 两份文件 | 未直开（MIT TR 转述） |
| mathstodon.xyz 陶哲轩原帖 | 未直开（MIT TR 转述） |
后续观察指标
- Clay 数学研究所与数学社区对证明的评审表态（预计数周至数月）。
- 九月十日凌晨苹果发布会实际发布内容（对照传闻清单逐项核销）。
- 九月十一日八月消费者物价指数与美联储九月会议表态。
- 伊朗官方对八艘油轮被毁的正式回应；航运保险费率变化。
- Images 2.5 的第三方实测与基准数据出现情况。