OpenAI纳维-斯托克斯证明遭学界质疑
先了解这件事
2026年10月6日，OpenAI宣称解决纳维-斯托克斯方程难题，引发数学界对学术规范的争议。当时OpenAI未回应指控，多家AI公司被指“碾过”数学界。 Quanta Magazine于10月6日报道，高校年轻数学家对AI跳过理解直接给答案感到不安，争议延伸至职业存亡。10月9日，维也纳大学教授认为数学核心在于深层理解，非快速生成证明。 10月17日新报道指出证明被误读：专家认为OpenAI未遵循“西班牙路线”，且未解决无外力时的光滑性问题。数学家估计万级Agent贡献不足10%，学界验证需数年。OpenAI否认使用特定研究人员数据，称其提示词无影响，双方路径关联仍存争议。
AI 根据报道生成 · 2 天前更新
事件进展
6 个进展
- 10月17日 18:31 · 1 篇报道OpenAI纳维-斯托克斯方程证明遭遇学界质疑IT之家：OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜
- 10月17日 17:00 · 1 篇报道数学家质疑 OpenAI Navier-Stokes 证明The Decoder：数学家指出 OpenAI 的 Navier-Stokes 证明被误读且万级 Agent 贡献存疑
- 10月9日 03:04 · 1 篇报道AI 能取代数学家吗？维也纳大学研究者讨论 OpenAI 求解 Navier-Stokes 方程的争议与影响Hacker News AI：维也纳大学数学家探讨 AI 取代人类数学家的可能性
- 10月7日 02:46 · 1 篇报道UT Austin 数学系主任称 OpenAI 准备发布 400 份 AI 生成证明Hacker News AI：得克萨斯大学奥斯汀分校数学系主任：OpenAI 准备发布 400 个 AI 生成证明
- 10月6日 19:24 · 1 篇报道AI 能否终结传统数学：OpenAI 解定理后数学家面临激励体系崩溃Hacker News AI：Quanta Magazine: AI 证明定理是否终结人类数学？
- 10月6日 14:08 · 1 篇报道AI 在数学领域突破引发学术界争议Hacker News AI：OpenAI 宣称解决纳维-斯托克斯方程，引发数学界激烈争议
报道时间线
沿着报道，了解事件的不同侧面。
- IT之家精选OpenAI 纳维-斯托克斯方程证明方法被指与官方叙事不符：学界验证尚需数年，智能体贡献同样成谜
OpenAI 在9月公布用约 1 万个 AI 智能体耗时 88 小时完成的纳维-斯托克斯方程证明，引发数学界对方法、归属及智能体贡献的质疑。数学家指出该证明未完全解决无外部力时的光滑性问题，且多智能体架构的实际贡献可能不足 10%。OpenAI 否认使用了纽约大学特里斯坦·巴克马斯特的数据，但双方对研究路径的关联仍存在争议。
- The Decoder精选数学家指出 OpenAI 的 Navier-Stokes 证明被误读且万级 Agent 贡献存疑
多位数学家质疑 OpenAI 在 9 月提出的 Navier-Stokes 问题证明，认为其实际方法与所引用的西班牙数学家路径不同，且 Lean 代码人类难以阅读。
- IT之家精选OpenAI 公开 700 多份数学文稿，学界担忧冲击未发表研究与合作传统
OpenAI 在 GitHub 公开 700 多份由其前沿模型生成的数学文稿，部分附带计算机验证版本。此举引发学界争议，部分学者担忧未发表研究材料被利用及数学界合作传统受阻，也有教授认为这促使学界重新审视人才培训与学术评价。
- Hacker News AI维也纳大学数学家探讨 AI 取代人类数学家的可能性
维也纳大学教授 Nathanaël Berestycki 和 Vera Fischer 认为，尽管 OpenAI 的 AI 智能体近期在 Navier-Stokes 方程等难题上取得进展并引发了关于证明过剩的讨论，但数学的核心在于对结构、框架的深层理解以及跨代际的知识沉淀，而非单纯快速生成证明。
- LessWrong · All PostsOpenAI 解决 90 道顶尖开放数学题，Claude Haiku 5.5 定价公布
OpenAI 本周宣布解决了 500 道顶尖开放数学题中的 90 道，平均每道题预算为 3 小时 Pro 级算力。 Claude Haiku 5.5 同步亮相，定价为 $0.10/$0.50，表现前景可观。
- Hacker News AI精选Minzer团队抢在OpenAI前公布Unique Games变体证明，OpenAI随后发布Lean验证结果
MIT教授Dor Minzer与两名学生加速发布95页论文，证明4-to-1 games变体及其对图着色难度的影响，抢在OpenAI于10月6日公告其Unique Games猜想及2-to-1猜想的Lean验证证明之前。Minzer表示团队依靠人类推理和手工写作完成工作，并担忧AI工具消除失败学习过程并影响长期研究动力。
- Latent SpaceOpenAI发布722篇数学论文及多项AI模型与行业动态
OpenAI发布了722篇由内部前沿模型生成的数学论文，声称解决了前500个未解数学难题中的90个，其中准黎曼假设（Quasi-Riemann Hypothesis）被视为重大进展。
- Hacker News AI得克萨斯大学奥斯汀分校数学系主任：OpenAI 准备发布 400 个 AI 生成证明
得克萨斯大学奥斯汀分校数学系主任指出，OpenAI 正准备发布 400 个由 AI 生成的数学证明。
- Wired精选OpenAI 发布 AI 数学解题结果再次引发数学界争议
OpenAI 告知数学家其内部新模型已解决 100 多个长期未解的数学问题，并计划在 GitHub 上发布数百个结果，这一动作再度引发数学界不满。数学家指出，OpenAI 此前曾绕过科学界常规的论文发表机制，以博文或推文形式披露结果；同时，OpenAI 在解决千年难题时，因与 Anthropic 的竞争关系及学术署名争议，被指采用了一种不尊重同行工作的模式。
- Hacker News AIQuanta Magazine: AI 证明定理是否终结人类数学？
OpenAI 宣布其模型解决了著名数学猜想，引发数学界对作者身份标准和职业存亡的激烈争议。Quanta Magazine 记者深入 Berkeley 等高校，记录了年轻数学家因 AI 模型跳过理解过程直接给出答案而产生的深刻不安。
- 量子位精选陶哲轩转变立场主张AI数学减速，25位菲尔兹奖得主联名公开信炮轰OpenAI
陶哲轩在SAIR演讲中转变此前积极拥抱AI的立场，呼吁模型公司放慢数学证明生成速度，认为快速产出人类无法消化的证明会造成知识拥堵并损害数学创造力。25位菲尔兹奖得主联名致信OpenAI等公司，批评将数学视为刷分benchmark的做法；OpenAI回应称将在普林斯顿高等研究院成立独立顾问小组，但该小组不负责就数学内部进展提供建议。
- Hacker News AI精选OpenAI 宣称解决纳维-斯托克斯方程，引发数学界激烈争议
OpenAI 宣称其 AI 已解决千年难题“纳维-斯托克斯方程存在性与平滑性”，这一进展在数学界引发了强烈的反弹与争议。在近期的一场国际数学论坛上，包括菲尔兹奖得主在内的多位顶尖学者指出了 OpenAI 在处理该问题时违反了学术规范，甚至有数学家的指控称其与相关研究人员存在令人不安的互动。
- The Verge · AIAI接管数学界引发的争议与动态
过去一年OpenAI、Anthropic等实验室在多个长期数学问题上取得突破，甚至解决了著名的千禧年大奖难题。这些成果非但没有获得庆祝，反而引发学界反弹；AI实验室称正从早前的错误中学习。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 1910月17日 19:00
- 近 24 小时变化
- -75%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。