OpenAI 于 2026 年 9 月 8 日发博文，称其内部系统对 Navier-Stokes 存在与光滑性问题给出解答，证明三维流体运动可在有限时间内形成奇点，并公开证明文稿与 Lean 形式化；公司表示发布是为报告 AI 进展，不打算申领 Millennium Prize。这是 OpenAI 自己公布的结果，数学界是否接受仍待审。
OpenAI 在 2026 年 9 月 8 日于官网发文，称一套内部系统对 Navier-Stokes 存在与光滑性问题给出了解答：三维流体运动可以在有限时间内形成奇点。文中同时给出证明文稿和 Lean 形式化。这是该公司自己公布的结果，数学界是否最终接受，仍要等同行审读。
公司写道，工作由内部下一代模型驱动的协同智能体完成，并称该模型能力明显高于 GPT-6 Astra。解析证明大约由 1 万路并发智能体在约 88 小时内得到；随后用 GPT-6 Astra 另花约 17 小时做完 Lean 形式化核验。
OpenAI 说，公开这份材料是为了报告 AI 进展，不打算凭它去申领 Millennium Prize。文中还写明，承认 Anthropic 的 Levent Alpöge 与纽约大学的 Tristan Buckmaster 在带外力的 Euler 问题（forced Euler）上的在先工作。
英伟达 NVLabs 开源 SoL-Pi，给编程智能体 Pi 加一层可选效率扩展；新智元经新浪财经于 2026 年 9 月 11 日作中文转述。官方项目页对照：相对未加扩展的 Pi，token 约少 45%–49%、费用约低三分之一、平均分约留 94%；相对 Codex、Claude Code 原配 harness，token 约少 35%–64%，按官方 API 标价费用约低 50%–54%。
观察者网 2026 年 9 月 10 日转述：V4.1 Flash 于当日（北京时间）切成正式档，Flash 新单价自 12 时起执行；V4 Pro 于 9 月 14 日 12 时停服后改接到 Flash。蓝鲸新闻同日称闲时缓存命中从每百万 Token 0.05 元降到 0.02 元。
DeepSeek 开放平台于 2026 年 9 月 9 日发出通知，称会在北京时间 2026 年 9 月 10 日左右把 V4.1 Flash 做成正式可用版本，并公布当日 12 时起的 Flash 系列新价；官方把这版说成在效果、单价、吞吐和端到端耗时上超过 V4 Pro。这是计划窗口与调价安排，不是已经切到正式版的 changelog。
