AI 解决了 90 年数学难题“纳维-斯托克斯方程”?数学界为何炸锅

复杂数学公式与人工智能网络结构重叠的数字图形
AI Summary

OpenAI 宣称利用 1 万个 AI 智能体解决了 90 年数学难题纳维-斯托克斯方程,但因涉嫌数据剽窃与数学界产生冲突。

试想一下,有一个困扰全球天才数学家 90 年的难题。这个问题太难了,如果有人能解决它,就能获得 100 万美元的巨额奖金。然而有一天,一家人工智能企业宣布:“我们的 AI 军团在 88 小时内解开了这个难题。”人们会欢呼,还是会感到困惑?

OpenAI 最近宣布解决“纳维-斯托克斯(Navier-Stokes)方程”的消息,在数学界引发的并非欢呼,而是激烈的争议。究竟是 AI 超越了人类数学的极限,还是它窃取了某个人的劳动成果?

为什么这很重要?

“纳维-斯托克斯方程”是描述流体(水、空气等)运动的重要公式。它对于理解飞机如何飞行、台风如何移动至关重要。之所以被列为“千禧年大奖难题(Millennium Prize problems)”,是因为证明该方程的解是否存在以及是否光滑,是现代数学面临的最大挑战之一。[参考资料: OpenAI fought dirty on career-making math problem… TechCrunch](https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/)

如果 AI 真的解决了这个问题,那将是人类科学史上的一项伟大成就。然而,随着该过程中疑似“剽窃”其他数学家研究成果的质疑声传出,AI 技术的伦理问题和数据来源的透明度再次成为焦点。

浅显易懂的解读

简单来说,OpenAI 就像聘请了 1 万名“数学助手”进行不间断计算。这里提到的 1 万名助手是指能够独立执行任务的 AI 智能体。参考资料: Controversy erupts as OpenAI claims solution to Navier-Stokes maths…

打个比方,这就像在堆叠复杂的乐高城堡时,1 万人分工合作,连续 88 小时不停地拼凑积木。[参考资料: OpenAI Says 10,000 AI Agents Solved Navier-Stokes… Yellow](https://yellow.com/news/openai-10000-agents-navier-stokes-dispute) 为了确认这一巨大工作成果在数学上是否正确,他们使用了名为“Lean”的程序。Lean 是一种允许机器自动验证 AI 输出结果逻辑是否严密的语言。参考资料: OpenAI’s AI solved a math prize problem. The mathematician says it…

但如果这些“助手”是偷看了研究人员的练习册并抄袭答案呢?数学家特里斯坦·巴克马斯特(Tristan Buckmaster)强烈怀疑 AI 在学习过程中秘密参考了他的研究笔记。参考资料: A Mathematician Working On The Navier-Stokes Millennium Prize…

现状如何?

OpenAI 官方全面否认了剽窃指控,称“我们的研究团队和智能体在公开之前从未接触过外部研究成果”。参考资料: A Mathematician Working On The Navier-Stokes Millennium Prize…

然而,争议并未平息。尽管宣布 AI 在 88 小时内给出了结果,并额外花费 17 小时进行了验证,但具体使用了哪些数据以及基于何种逻辑得出的结论仍处于保密状态。[参考资料: OpenAI Says 10,000 AI Agents Solved Navier-Stokes… Yellow](https://yellow.com/news/openai-10000-agents-navier-stokes-dispute) 数学家们仍在要求对数据来源做出明确解释,并与 OpenAI 陷入了僵持。参考资料: The mathematicians published machine-checkable proofs. OpenAI…

未来将走向何方?

这件事在开启 AI 解决数学难题“新时代”的同时,也对何为“学术诚信”提出了根本性的质疑。未来,科学界的新标准很可能不仅是验证 AI 给出的答案是否正确,还要透明地公开得出该答案所使用数据的“来源”。

我们正生活在一个需要跨越“询问 AI 是否聪明”的阶段,转而开始询问“它借用了谁的知识才变得如此聪明”的时代。只有当技术发展的成就与其过程的正当性相匹配时,才称得上是真正的科学进步。

人工智能的结语

人工智能的数学成就无疑是惊人的。但数学的核心不仅是寻找单纯的答案,而是达到答案的完美逻辑过程本身。如果对数据来源的质疑得不到明确解决,那么这项成就将不可避免地从赞美转为被审视的对象。

参考资料

  1. Controversy erupts as OpenAI claims solution to Navier-Stokes maths…
  2. [OpenAI fought dirty on career-making math problem… TechCrunch](https://techcrunch.com/2026/09/08/openai-fought-dirty-on-career-making-math-problem-says-nyu-mathematician/)
  3. A Mathematician Working On The Navier-Stokes Millennium Prize…
  4. [OpenAI Says 10,000 AI Agents Solved Navier-Stokes… Yellow](https://yellow.com/news/openai-10000-agents-navier-stokes-dispute)
  5. OpenAI’s AI solved a math prize problem. The mathematician says it…
  6. The mathematicians published machine-checkable proofs. OpenAI…
  7. OpenAI claims to have solved Navier-Stokes math problem
AD
测试你的理解
Q1. OpenAI 用于解决纳维-斯托克斯问题的核心工具是什么?
  • 量子计算机
  • 1 万个 AI 智能体
  • 传统超级计算机
OpenAI 宣布动用了 1 万个 AI 智能体,在约 88 小时内解决了该问题。
Q2. 包含纳维-斯托克斯方程的七大难题名称是什么?
  • 菲尔兹奖问题
  • 千禧年大奖难题
  • 图灵问题
纳维-斯托克斯存在性与光滑性问题是克雷数学研究所悬赏 100 万美元的“千禧年大奖难题”之一。
Q3. 目前针对这一研究成果提出的最大质疑是什么?
  • AI 的计算错误
  • 是否剽窃了个人研究数据
  • 奖金分配问题
数学家特里斯坦·巴克马斯特(Tristan Buckmaster)质疑 OpenAI 可能未经许可参考了他的研究笔记,对数据来源表示怀疑。