OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个...
OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约
88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧 这条更新来自 ithome.com，发布时间为 2026-09-08，Aioga 保留原文入口以便核验。
摘要：OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
背景：背景分析：产品与工具类动态的价值取决于它是否解决明确场景、能否进入工作流，以及交付、价格和数据安全是否可接受。
Aioga 观察：Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。
影响与后续：影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。 后续观察：继续观察产品是否开放使用、用户反馈、定价、集成能力和后续版本更新。
IT之家：https://www.ithome.com/ 9 月 9 日消息，OpenAI 于当地时间 9 月 8 日宣布，其内部未公开的 AI 模型（性能远超最新发布的 GPT-6 Astra）已成功解决“纳维-斯托克斯存在性与光滑性问题”（Navier-Stokes existence and smoothness problem），这是克莱数学研究所（Clay Mathematics Institute）于 2000 年提出的七个“千禧年大奖难题”之一。
该问题关注描述流体运动的纳维-斯托克斯方程是否会失效，已困扰数学界约 90 年。
在此之前，Anthropic 上个月宣布其内部一款未公开的 Claude 研究模型在攻克黎曼猜想的过程中取得重要进展，将黎曼 ζ 函数临界线上零点比例的长期下界从 41.6% 提高到了 67.2%。消息一出，业界震惊。
OpenAI 表示，该团队通过让约 10,000 个 AI 智能体协作，在约 88 小时内生成了证明。证明显示，一个初始平滑的静止流体在有限时间内可能发展出“奇点”（singularity），即流速无限增长。
OpenAI 提供了分析证明及 Lean 编程语言的形式化验证。验证工作由 GPT-6 Astra 在约 17 小时内完成。
OpenAI 研究者塞巴斯蒂安 · 布贝克（Sébastien Bubeck）称此为“过去十二个月所看到轨迹的一个惊人顶点”。
该证明通过设计一个向内旋转并拉伸的“涡流”来实现奇点，其能量在物理定律要求下保持有限。证明建立在外力光滑的前提下，对应官方问题陈述中的“C”和“D”情形。
然而，这一宣布迅速引发争议。纽约大学数学教授特里斯坦 · 巴克马斯特（Tristan Buckmaster）和 Anthropic 研究员莱文特 · 阿尔珀格（Levent Alpöge）在前一天刚发布了相关流体方程的研究成果。
巴克马斯特质疑 OpenAI 在听闻他们的进展后，才将资源转向其一直在探索的“外力驱动”方法。他担心自己和阿尔珀格存储在 OpenAI 的 Codex 模型中的研究数据可能被用于训练或参考，但未得到明确答复。
OpenAI 研究员布贝克否认了这些指控，强调研究人员和 AI 智能体均未访问具体用户数据。但 OpenAI 也在声明中承认，“不排除”来自他们使用 OpenAI 产品的匿名化数据帮助改进了模型。
此次事件凸显了 AI 在攻克人类智力巅峰时引发的复杂问题。著名数学家陶哲轩一方面将此类问题比作吸引科学家努力的“灯塔”，另一方面也警告，若 AI 能解决最困难的问题而无需人类深度参与，可能会削弱人类对数学的理解。
据估算，此次计算成本可能高达 1,500 万至 2,250 万美元 （现汇率约合 1.01 亿至 1.51 亿元人民币） 。OpenAI 表示不打算申领克莱数学研究所这笔 100 万美元 （IT之家注：现汇率约合 672.8 万元人民币） 的奖金，但此事件已引发关于功劳归属、数据隐私以及 AI 发展安全性的广泛讨论。
《未公开的新模型“立功”，Anthropic 宣布 Claude 攻克黎曼猜想取得重大突破：https://www.ithome.com/0/988/453.htm》
《谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题：https://www.ithome.com/0/955/261.htm》
《AI 推翻著名几何猜想，OpenAI 宣布攻克 80 年数学难题：https://www.ithome.com/0/953/381.htm》
《OpenAI GPT-4b 攻克诺奖难题：人体细胞“返老还童”，逆转效率飙升 50 倍：https://www.ithome.com/0/877/561.htm》
Aioga 编辑摘要：OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 Aioga 将其归入「行业动态」方向，重点关注它对真实使用和行业竞争的影响。
背景分析：产品与工具类动态的价值取决于它是否解决明确场景、能否进入工作流，以及交付、价格和数据安全是否可接受。
Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。
影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。 后续观察：继续观察产品是否开放使用、用户反馈、定价、集成能力和后续版本更新。
本页正文由公开来源页面提取并按原有信息整理，同时保留来源、发布时间和原文入口。版权归原作者及来源网站所有，请通过原文链接核验和阅读来源版本。
抓取通道: RSS · 原始域名: ithome.com
来源: IT之家（RSS）
原文链接: 打开原始来源
Aioga 归档: 查看情报页
Content record: source-page · Updated: 2026-09-08T23:14:32.000Z
统一接入主流 AI 模型 API，为开发、测试与生产环境提供稳定调用入口。
立即访问 api.w173.com
扫码直达文章详情Aioga 自动聚合全球 AI 动态，并保留来源信息用于核验与引用。