AI 破解了 167 年的数学难题?OpenAI 722 篇数学论文引发争议,究竟是怎么回事?

一幅以站在写满数学公式的黑板前的 AI 机器人为主题的图像。
AI Summary

OpenAI 公布了 722 篇由 AI 生成的数学论文,但在学术界引发了严厉批评,甚至导致其撤回了对数学竞赛的赞助,引发了巨大争议。

想象一下,如果人类 167 年来未能解决的难题被 AI 在短短 3 小时内攻克,我们应该为此欢呼,还是感到恐惧?最近,人工智能巨头 OpenAI 抛出的这个问题在学术界引发了轩然大波。

为什么这很重要?

此次事件不仅限于“AI 擅长数学”的消息,它还引发了关于我们接受知识和研究成果方式的根本性质疑。771 名数学家和 25 名菲尔兹奖得主对 OpenAI 的这一举措进行了猛烈抨击,称其为“垃圾数学(Slop Mathematics)” [参考资料 5]。这是一个典型的案例,展示了当技术进步的速度超过我们对其结果进行验证的速度时,社会该如何处理这些信息 [参考资料 8]。

简单理解:AI 写的 4,000 份答卷

OpenAI 最近通过 GitHub 抛出了 722 篇数学研究论文 [参考资料 2, 参考资料 4]。这些论文是 OpenAI 未公开的内部 AI 模型解决约 4,000 个数学问题的成果 [参考资料 7, 参考资料 9]。

简单来说,这就好比是 “给 AI 4,000 道数学题,让它每道题思考 3 小时,然后直接将答卷公布于世” [参考资料 2, 参考资料 9]。其中甚至包含声称在 167 年历史的“黎曼猜想”方面取得成果的论文 [参考资料 2]。

打个比方,这就好比一个名叫“AI”的聪明学生在短时间内做完了数千道高难度数学题,但老师(学术界专家)们面对这海量的信息,根本无法确认其推导过程是否真的符合逻辑,还是仅仅对已有的解法进行了某种程度的拼凑 [参考资料 15]。事实上,罗格斯大学数学系主任亚历克斯·康托罗维奇虽然评价称,某些成果如果出自人类之手足以获得菲尔兹奖,但学术界表示,仅凭验证这些成果可能就需要数月时间 [参考资料 4, 参考资料 15]。

现状:撤回赞助与混乱

面对数学界的强烈抵制,OpenAI 最终撤回了对原定在加州理工学院(CalTech)举办的 AI 数学竞赛 100 万美元的赞助 [参考资料 3, 参考资料 5]。OpenAI 表示:“我们承认 AI 在数学领域的快速进步可能会给现有的研究方法带来混乱。” [参考资料 3] 目前,公布的 722 篇论文仍然留在 GitHub 上,而负责验证这些论文的数学家们正为了梳理海量数据而疲于奔命 [参考资料 8, 参考资料 11, 参考资料 15]。

未来会怎样?

此次事件是关于我们将如何接受“AI 创造的知识”的前奏。随着人工智能持续不断地带来更复杂的科学发现,如果没有建立起相应的验证技术基础和社会规范,研究领域将面临陷入“知识洪水”的风险。这一事件再次提醒我们,知识的数量并不能保证质量。我们拭目以待,看 OpenAI 是会基于此次争议汲取教训,采取更谨慎的研究公布方式,还是会继续将技术速度置于首位。


参考资料

  1. [OpenAIWithdraws3MathPapers Modern Orange](https://modernorange.io/item/50003107)
  2. HowOpenAIJust Showed AI Will TransformMath- YouTube
  3. OpenAIvs Mathematicians: Why the AI giant is facing growing…
  4. [Cutting-edgeOpenAImodel solves hundreds of openmath… LinkedIn](https://www.linkedin.com/news/story/cutting-edge-openai-model-solves-hundreds-of-open-math-problems-7666620/)
  5. ‘Slopmathematics’:OpenAIwalks away from a Caltech AImaths…
  6. OpenAIMathManuscripts: 722 AIPapers(2026)
  7. OpenAIDumped 722 AI-WrittenMathPaperson… - DEV Community
  8. The Hodge conjecture for products of K3surfaces · VibeMathed
  9. math/preprints/Purely-Cosmetic-Surgery-on-Knots-in-the-Three-Sphere-September-23-2026/paper.pdf
  10. [OpenAIunleashes hundreds moremathresults… Scientific American](https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/)
AD
测试你的理解
Q1. OpenAI 为此次项目尝试解决了大约多少个数学问题?
  • 约 400 个
  • 约 4,000 个
  • 约 722 个
OpenAI 向内部模型提出了约 4,000 个数学问题来进行研究。
Q2. 数学家亚历克斯·康托罗维奇(Alex Kontorovich)对 AI 在黎曼猜想方面的成果有何评价?
  • 如果出自人类之手,足以获得菲尔兹奖
  • 完全错误的内容
  • 是抄袭了已知的数学证明
罗格斯大学数学系主任亚历克斯·康托罗维奇评价称,该成果水平之高,足以让研究者获得菲尔兹奖。
Q3. OpenAI 撤回对加州理工学院(CalTech)数学竞赛赞助的直接原因是什么?
  • 预算不足
  • 学术研究者的批评与抵制
  • 竞赛运作方式的变化
由于数学家们的批评声浪高涨,OpenAI 中断了对加州理工学院数学竞赛的赞助。