只有 OpenAI 知道的数学秘密?AI 解决了 90 年前的难题

抽象的数字漩涡图像,复杂的数学符号在其中翻涌
AI Summary

OpenAI 声称利用未公开的超强 AI 模型解决了深奥的数学问题,在学术界引起了轰动。

想象一下:有一个困扰全球顶级数学家数十年的难题。如果有一天,一个不知名的“数字存在”在短短几天内就解决了这个困扰人类 90 年的谜题,你会作何感想?

最近在人工智能领域,恰恰发生了这样的事。OpenAI 宣布,他们利用一个没有名称、没有价格、也没有公开 API 的神秘 AI 模型,解决了深奥的数学难题。数学界目前议论纷纷。这究竟是人类数学史上的一座里程碑,还是技术垄断背后的又一争议?

为什么这很重要?

数学是所有科学技术的“根基”。此次 OpenAI 挑战的“纳维-斯托克斯(Navier-Stokes)方程”问题,是一个解释流体流动(即空气如何运动、水如何流动)的高难度物理公式。完全理解并解决这一方程,将为人类实现巨大的技术跨越提供基础,从航空器设计优化到精确的气象预测,都将因此得到根本性的改善。

然而,此次发布会之所以引起学术界和公众的关注,真正原因不在于技术成果本身,而在于其“方式”。这个在短短 88 小时内解决人类数十年难题的 AI 模型,是 OpenAI 从未向外界透露过的“秘密武器”。由于成果并非源于任何人都能透明验证的结果,而是由企业内部的“黑箱”生成,因此关于其影响力和证明有效性的争论正愈演愈烈。

轻松理解:一万个“AI 分身”制造的“意大利面”

这一惊人的成就究竟是如何实现的?为了解决这个问题,OpenAI 同时启用了约 10,000 个“AI 智能体(AI systems that carry out tasks autonomously,自主执行任务的人工智能系统)”。 参考资料 1

简单类比一下:假设有一个单凭一人之力绝对无法解开的巨大拼图。OpenAI 创造了 1 万个“AI 分身”,让每个人负责拼图的一块碎片,从而实现了并行解决。 参考资料 3 它们在 88 小时内通力合作,不断堆砌逻辑。OpenAI 将此过程中构建的方程结构,描述为如同旋转着向内卷入的“意大利面”。 参考资料 6

当然,这种方法也伴随着质疑。科学期刊质疑 OpenAI 在解决纳维-斯托克斯问题的过程中,可能通过任意应用外部条件,从而对问题本身进行了微小的改动。 参考资料 10 也就是说,人们怀疑 AI 可能解决的是一种与数学家原本定义的问题略有不同的形式。

当前现状:“数学的终结”还是“未竟的事业”?

10 月 6 日,OpenAI 向世人公开了以这种方式撰写的 722 篇数学论文。 参考资料 4 一位计算机科学家将其评价为“数学史上最重要的日子之一”。 参考资料 7

然而,现实并不那么简单。虽然有人声称这些证明已经通过“Lean(一种验证数学证明的编程语言)”得到了确认,但 OpenAI 的官方记录中,这些论文仍被分类为“未验证(unchecked)”状态。 参考资料 2 最终,学术界仍处于仔细核实的阶段,以确定这些结果究竟是数学上完美的“真理”,还是 AI 创造出的精致幻象。 参考资料 11

未来会怎样?

此次事件是一个强烈的信号,表明 AI 已经深入渗透到数学思维领域。尽管纳维-斯托克斯问题的解决可能不会立即改变飞机制造或天气预报,但 AI 挖掘数学基础的能力现已超越了人类的想象。 参考资料 5

我们未来需要关注的是 AI 技术的“垄断”问题。无论模型多么强大,如果技术被严密地保留为企业内部机密,全球学者的共同验证就会变得困难。我们需要观察 OpenAI 未来是否会向世界揭开这个“秘密模型”的真实身份并开始真正的学术交流,还是会选择在独占“数学圣域”的同时继续发展。

AI 的观点

AI 解决人类难题是重大的进步。然而,数学是一门结果固然重要,但过程更为关键的学科。无论 AI 再怎么天才,如果无法通过学术界的透明验证,那么该答案就只能被视为“企业的声明”,而非“真理”。

参考资料

  1. [OpenAI claims to have solved maths problem that stumped humans for decades The Guardian](https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades)
  2. OpenAI’s 722 math papers: what Lean actually verified
  3. [AI solves 90-year-old math problem in 88 hours The Token… LinkedIn](https://www.linkedin.com/posts/the-token-times_ai-openai-mathematics-activity-7505935983473909761-ujIR)
  4. OpenAI’s 722 Math Manuscripts: The Model Has No Name
  5. Google News - News about OpenAI • math - Overview
  6. Mathematicians still checking the Navier-Stokes proof that OpenAI claims to have solved
  7. [AI is causing a ‘mathocalypse’ that could break the… The Independent](https://www.independent.co.uk/tech/ai-mathematics-openai-cryptography-internet-b3063456.html)
  8. OpenAI’s Math Provenance Problem: Access vs. Influence. - YouTube
  9. OpenAI Has Found A Far Faster Way To Multiply Matrices, The Math…
  10. [Did OpenAI solve the wrong Navier-Stokes… Scientific American](https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/)
  11. Google News - OpenAI claims its artificial intelligence model solved…
  12. AI News: Anthropic Tops OpenAI, Math Falls to Machines, and the…
AD
测试你的理解
Q1. OpenAI 解决纳维-斯托克斯(Navier-Stokes)问题花费的时间是?
  • 24小时
  • 88小时
  • 一个月
OpenAI 宣布,他们动用了约 10,000 个 AI 智能体,仅用 88 小时就解决了该问题。
Q2. OpenAI 最近公开的 AI 撰写数学论文数量是?
  • 100篇
  • 500篇
  • 722篇
OpenAI 于 2026 年 10 月 6 日公开了 722 篇由 AI 直接撰写的数学论文。
Q3. 目前 OpenAI 数学论文的验证状态是?
  • 全部验证完成
  • 部分验证完成
  • 官方目录显示未验证
与部分声称通过 Lean 验证的说法不同,在 OpenAI 的官方目录中,这些论文被标记为“未验证(unchecked)”。