Aaronson 爆料：AI 实验室因 Navier-Stokes 风波捂住重大数学成果

Scott Aaronson（德州大学奥斯汀分校 CS 系主任、量子计算与复杂性理论知名学者、曾在 OpenAI 对齐团队任职）在博文中表示：在 Navier-Stokes 方程证明公布并遭遇广泛敌意回应之后，各 AI 前沿实验室如今正把一些「非常重要问题」的解答捂在手里，直到想出更好的成果发布方式才肯公开。他还称据其听闻的传闻，AI 公司已在一些长期悬而未决的理论计算机科学开放问题上得到解决方案，并因此握有多个重大成果待发布。该说法于 9 月 16 日起在圈内引发大量转发讨论，次日新智元等中文媒体跟进报道。

已确认

• Scott Aaronson 本人在博客中写下上述表述，这是该说法最接近一手的来源，RexDouglass 转发时直接引用了博文原文段落。
• Chris Albon、RexDouglass、ctjlewis（引述 @letonyo）、QuintinPope5、scaling01、Tolopono、spryes 等多位圈内人在 9 月 16 日转发讨论此事，多份帖子注明信息经 Reddit 等渠道转述自 Aaronson 博客。
• 9 月 17 日新智元报道称，OpenAI 压着数百个 AI 数学证明未公开，并称 Navier-Stokes 证明耗资约 1500 万美元，帖中还提及纽约大学数学教授（Scott Arm…，原文截断）的相关内容。
• TheGoldenLeaper 的转述中另提及「有报道称 Greg Brockman 证实」相关说法，但帖内未给出可核验细节。
• 博主 DrSingularity 发推称近期或有针对千禧年大奖难题的求解成果公布，并称「数学奇点暂停一周已足够久」，期待本周内看到新进展；该说法未给出具体证据，仅为个人预期。
• Chris Albon 评论认为这种局面有些可笑：发现关于宇宙的新知识本该值得庆祝；转帖者 jessicata 感慨我们可能正因「谁拿功劳」之类的争议而错失成果本身。

尚未确认

• 「实验室已攻克多个重量级数学难题」本身仍是圈内传闻：具体是哪些实验室、攻克了哪些问题均无任何细节，多个转发者（如 Chris Albon、ctjlewis）明确强调该爆料未经证实。
• 新智元的「数百个证明」「约 1500 万美元」等具体数字未给出可核验的一手来源。
• TheGoldenLeaper 帖中提及的「Greg Brockman 证实」与 DrSingularity 的千禧年难题预期，均无一手来源或证据支撑。

为什么重要

• 若属实，意味着舆论环境正在实质性延迟重大科学知识的公开，成果本身与发布方式的博弈成为新变量。
• AI 公司如何发布与验证重大科学成果正成为一个真实的机制性问题，多位转发者都指向这一点，而非单纯八卦。

2026-09-16 ~ 2026-09-17 · 11 条相关

事件全程(共 20 集)→

• 第 1 集:传言称 GPT-6 攻克纳维-斯托克斯难题，可信度存疑(2026-09-05,2 条)
• 第 2 集:OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题(2026-09-09,13 条)
• 第 3 集:「存在性证明」效应：传闻可行就促 OpenAI 攻克难题(2026-09-09,3 条)
• 第 4 集:OpenAI 被指窃取数学家在研证明成果引风波(2026-09-09,6 条)
• 第 5 集:Anthropic 数学证明与合作抢跑争议持续发酵(2026-09-09,2 条)
• 第 6 集:传闻：OpenAI 逼近 Hodge 与 BSD 猜想，千禧难题或被连破(2026-09-10,27 条)
• 第 7 集:OpenAI 宣称攻克 Navier-Stokes，另一千禧难题亦有进展(2026-09-10,21 条)
• 第 8 集:数学家 Thom 指控 OpenAI 用其未发表研究训练 Astra，OpenAI 否认(2026-09-10,9 条)
• 第 9 集:纳维-斯托克斯成果署名争议发酵，AI 实验室抢发文化遭批评(2026-09-10,6 条)
• 第 10 集:OpenAI 否认 Codex 提示词影响训练，「窃取私聊数据」指控被指无据(2026-09-11,8 条)
• 第 11 集:OpenAI 千禧年大奖证明陷署名与抢发争议(2026-09-11,10 条)
• 第 12 集:AI 数学圈热议：千禧年大奖难题或终将失守(2026-09-11,2 条)
• 第 13 集:OpenAI 攻破千禧年难题后数学圈激辩 AI 价值(2026-09-11,8 条)
• 第 14 集:传 OpenAI 用内部模型冲击黎曼猜想与 P vs NP(2026-09-11,7 条)
• 第 15 集:OpenAI 纳维-斯托克斯证明复现通过但遭社区质疑(2026-09-11,2 条)
• 第 16 集:OpenAI 万级 Agent 攻克 Navier-Stokes 引爆数学界信任争端(2026-09-12,18 条)
• 第 17 集:陶哲轩被指不满AI解题遭误读，数学价值之争引爆X(2026-09-12,18 条)
• 第 18 集:菲尔兹奖得主AI公开信引跨学科激辩(2026-09-12,6 条)
• 第 19 集:OpenAI 宣称解出 Navier–Stokes 爆破问题(2026-09-13,8 条)
• 第 20 集:OpenAI 称万级 Agent 88 小时解 Navier-Stokes 难题(2026-09-14,11 条)

• Scott Aaronson：实验室捂着重大成果不敢公布，怕再遭围攻 — spryes · 2026-09-16
• 传 AI 公司因 Navier-Stokes 证明遭恶评,捂住多个重大成果不发布 — RexDouglass · 2026-09-16
• 【源头】传 AI 公司被 Navier-Stokes 证明的恶评吓到，捂着重大数学成果不发 — RexDouglass · 2026-09-16
• Scott Aaronson 称听闻 AI 公司已攻克多个理论计算机科学悬而未决难题 — scaling01 · 2026-09-16
• 传前沿实验室已解多个数学难题,因舆论压力捂住不发 — chrisalbon · 2026-09-16
• Aaronson 爆料:AI 公司疑解出理论计算机科学多个开放难题 — QuintinPope5 · 2026-09-16
• 曝 OpenAI 或已攻克第二个千禧年难题,因 Navier-Stokes 风波压着多个公告 — TheGoldenLeaper · 2026-09-16
• 博主盘点:一周内或有千禧年大奖难题被 AI 破解 — Dr_Singularity · 2026-09-16
• 【源头】曝 OpenAI 压着数百个 AI 数学证明未公开,纳维-斯托克斯证明耗资约 1500 万美元 — 新智元 · 2026-09-17

另有 2 条近重复转述:ctjlewis · Tolopono