OpenAI 宣称智能体集群攻克纳维-斯托克斯千禧年难题

OpenAI 官方宣布其尚未发布的新模型解决了七大千禧年大奖难题之一的纳维-斯托克斯（Navier–Stokes）存在性与光滑性问题——该问题关乎三维光滑流体运动的描述是否会出现奇性（解崩溃），悬置约 90 年。据多方转述的官方公告，证明由一组协作智能体（agent）产出，所用模型能力显著强于 GPT-6 Astra，整个求解过程约 88 小时、动用约 1 万个并发 agent，全程施加与前沿评测相同的严格安全措施（监控与隔离）；据 AlexKontorovich 转述的《纽约时报》报道，论文随附 Lean 形式化证明且代码库已公开。消息一出迅速出圈，Reddit、X 等社区掀起大规模玩梗狂欢。

已确认

• OpenAI 官宣给出 Navier–Stokes 千禧年难题的解，证明由 agent 集群用下一代未发布模型产出，模型强于 GPT-6 Astra，耗时约 88 小时、约 1 万个 agent，并附安全护栏说明（m11、m13、m15、m17 等）
• 据转述《纽约时报》报道，论文附 Lean 形式化证明，代码库已公开（m14）
• r/physics 社区贴出大量梗图，呈现物理与数学圈对「数学家苦做几十年的难题被 AI 顺手解了」的酸味、震惊与怀疑（m2）
• Bindu Reddy 表态称 OpenAI 花了约 1500 万美元的 token 算力得到解、没有窃取他人工作，并认为只要证明可被验证，LLM 迟早都能解此类问题（m10）
• 航空航天工程教授 DrChrisCombs 对该宣称泼冷水质疑（m7）；另有广为流传的推文点破围观生态：骂声最多的批评者自己既没读证明内容也不懂 Navier–Stokes（m8）
• 网友 tszzl 调侃 OpenAI「部分成果到此为止吧，去解量子引力，别出错」，反映圈内震撼与半开玩笑的高期待（m6）
• Yacine 提出调侃式「验证方案」：要证明问题真是自己解决的，就再多解几个千禧年大奖难题，「反正能有多难呢」（m5）
• AI 研究者 arohan 玩梗建议让 AI 自己造一个新千禧年难题再在 88 小时内碾压掉，暗讽声明引发的争议（m16）
• DrSingularity 发模仿 Sam Altman 口吻的段子，称模型「还能解决很多很多其他数学问题」，并自曝动机是上周传言 Anthropic 的模型解出了千禧年问题（m12）
• X 上有网友自嘲「童年创伤才是自己的千年难题」等黑色幽默玩梗（m9）；此前 Grok 也曾声称解决该方程，成为群嘲素材

尚未确认

• 材料多为转发与社区情绪侧写：Lean 证明的完整性与学界独立验证情况、千禧年百万美元奖金归属、美国数学会是否正式宣布，均未见一手信源确认
• Bindu Reddy 所称「约 1500 万美元 token」为其个人说法，未经 OpenAI 官方证实
• 「上周 Anthropic 模型解出千禧年问题」仅为段子中的传言，不具信源价值

为什么重要

• 若声明通过独立验证，将是 AI 解决重大未解数学问题的标志性事件，直接冲击千禧年大奖格局与数学界对 AI 证明工具的认知
• 梗图与争论的传播广度——从 r/physics 到普通网友、从 Altman 段子到对批评者「没读原文」的反讽——显示事件影响力已远超 AI 圈，公众情绪在震撼、怀疑与自嘲之间摇摆；「Anthropic 抢先」的传言则暗示这波「突破」背后存在实验室竞赛的推力

2026-09-09 ~ 2026-09-09 · 38 条相关

事件全程(共 15 集)→

• 第 1 集:陶哲轩提议将部分数学开放问题划为 AI 禁区(2026-09-03,2 条)
• 第 2 集:传Claude攻克纳维-斯托克斯难题，陶哲轩发文回应(2026-09-05,9 条)
• 第 3 集:传 Anthropic 已用 Claude 攻克纳维-斯托克斯千年难题(2026-09-06,2 条)
• 第 4 集:陶哲轩批闭源实验室证定理是病毒式营销(2026-09-06,2 条)
• 第 5 集:陶哲轩澄清纳维-斯托克斯传闻：Claude解题系误读(2026-09-06,2 条)
• 第 6 集:AI 证明 ζ(5)(3) 引爆数学圈「谁算研究」大论战(2026-09-07,18 条)
• 第 7 集:数学家指 OpenAI Astra 数学成果涉研究不端(2026-09-07,2 条)
• 第 8 集:陶哲轩再谈 AI 引热议,Gary Marcus 称「火热」(2026-09-08,2 条)
• 第 9 集:传 Anthropic 的 Claude 解开纳维-斯托克斯千禧年难题(2026-09-08,3 条)
• 第 10 集:OpenAI 官宣破解纳维-斯托克斯难题，归属争议发酵(2026-09-08,159 条)
• 第 11 集:陶哲轩评流体方程爆破新突破，AI 辅助证明已 Lean 形式化(2026-09-08,8 条)
• 第 12 集:数学界感慨：前沿 AI 实验室本可联手形式化解决 Navier-Stokes(2026-09-08,2 条)
• 第 13 集:AI 半年跃迁：从 IMO 金牌到冲击千禧年难题(2026-09-08,5 条)
• 第 14 集:OpenAI 宣称智能体集群攻克纳维-斯托克斯千禧年难题(2026-09-09,38 条)
• 第 15 集:万级智能体集群攻难题，网友推演 AI 加速科研(2026-09-09,4 条)

• 梗图:OpenAI「解决」千禧年大奖难题,社区玩梗狂欢 — Kind_Fisherman3060 · 2026-09-09
• 1 万个 agent 跑 88 小时、耗 1300 亿 token:OpenAI 形式化纳维-斯托克斯解 — nrehiew_ · 2026-09-09
• AI 官宣解出千禧年难题后，r/physics 已经吵翻了 — heyhellousername · 2026-09-09
• 百万级消息、3000 亿 token:智能体集群 88 小时逼近纳维-斯托克斯 — bingxu_ · 2026-09-09
• Navier-Stokes 求解细节:1 万 agent、88 小时、1300 亿输出 token — daniel_mac8 · 2026-09-09
• 【源头】OpenAI：1 万个协作 AI Agent 用 88 小时解出纳维-斯托克斯难题 — HankYeomans · 2026-09-09
• 【源头】OpenAI 宣称用智能体集群证明 90 年悬而未决的纳维-斯托克斯问题 — sama · 2026-09-09
• OpenAI 宣称用万级 Agent 集群攻克 Navier-Stokes 千禧年难题 — connoraxiotes · 2026-09-09
• Altman 玩梗回应 Navier-Stokes：我们的模型还能解很多数学题 — Dr_Singularity · 2026-09-09
• 全网狂刷 Navier-Stokes，普通人：假装看得懂 — technollama · 2026-09-09
• 纳维-斯托克斯都解了,网友喊话 OpenAI:接着解量子引力吧 — tszzl · 2026-09-09
• AI 破解千禧年难题后，有人调侃让 AI 自己出新题来秀 — _arohan_ · 2026-09-09
• OpenAI 宣称智能体已给出 Navier-Stokes 千禧年难题证明 — jonstephens85 · 2026-09-09
• Grok 自称证明 Navier-Stokes 遭群嘲,「我的证明在加拿大上学」成新梗 — kuza55 · 2026-09-09
• AI 竞争压力竟催生千禧年难题"突破"，博主讽刺 OpenAI 证明风波 — 12exyz · 2026-09-09
• Yacine 调侃：让 OpenAI 再解几个千禧年难题来证明自己 — yacineMTB · 2026-09-09
• 曝 OpenAI 未发布模型 88 小时攻破 90 年 Navier-Stokes 难题 — mrtac96 · 2026-09-09
• OpenAI 称 Navier-Stokes 项目运行上万并发 agent 且「有严格安全护栏」 — LatentSpaceLeaper · 2026-09-09
• 人类卡了 90 年的流体难题,AI 用 88 小时给出否定解 — mdancho84 · 2026-09-09
• 「不信吗,这题需要 Navier-Stokes」AI 圈玩梗数学突破 — moultano · 2026-09-09
• OpenAI 宣称用 agent 群证明纳维-斯托克斯千年难题，模型强于 GPT-6 Astra — austinc3301 · 2026-09-09
• AI 疑似攻克 Navier-Stokes，围观者却觉理所当然 — cephaloform · 2026-09-09
• Navier-Stokes 引爆梗潮:网友自嘲童年创伤才是自己的千年难题 — brhydon · 2026-09-09
• OpenAI 数学教授风暴:骂的人自己也没读 Navier-Stokes — AdrienLE · 2026-09-09
• 【源头】OpenAI 宣布攻克千年难题：Navier–Stokes 方程，附 Lean 证明 — AlexKontorovich · 2026-09-09
• 传 OpenAI 花千万美元 token 求解 Navier-Stokes，可验证问题 LLM 皆可解 — bindureddy · 2026-09-09
• OpenAI 宣称攻破纳维-斯托克斯千禧年难题,航天教授泼冷水 — GaryMarcus · 2026-09-09

另有 11 条近重复转述:soumitrashukla9 · austinc3301 · mobav0 · StefanoGogioso · soumitrashukla9 · sjgadler · Swarooprm7 · burny_tech · AdaptiveAgents · serious_mehta · lateinteraction