AI 破解了 167 年的数学难题？是‘奇迹’还是‘炫技’

想象一下。过去 167 年里，全世界的天才数学家都未能攻克的难题。但有一天，一个神秘的 AI 模型轻而易举地给出了解决方案。而且仅仅用了 3 个小时。人类思考了数个世纪的数学壁垒，真的会在 AI 这种工具面前瞬间坍塌吗？

2026 年 10 月 6 日，人工智能公司 OpenAI 在数学界引发了巨大震动。他们一次性公布了 722 篇数学论文，并宣布其中包含了数百个数学难题的解决方案（AHM Statement on OpenAI’s October 6 Release of Mathematical Documents）。然而，观察到这一消息的数学家们的反应并非欢呼，而是冷淡的批评。

为什么这很重要？

此次事件的意义远不止“AI 擅长解数学题”那么简单。迄今为止，数学发现都是通过人类深刻的思考和长期的验证才得以实现。但如今，世界变成了 AI 可以瞬间倾倒出无数答案的样子。

我们应该关注的是，这种变化正在动摇“科学”本身的定义。仅仅倾倒出海量的结果就是进步吗？还是说，经过哪怕一个 확실（确凿）且深入的验证过程才是科学的本质？OpenAI 的此次举动在展示 AI 能加速科学发现的同时，也抛出了一个沉重的难题：我们该如何确保研究结果的可信度？

轻松理解：AI 的“数学解答”是如何实现的？

打个比方，此次事件类似于“一个非厨师的机器在短时间内打印出了一本写满数千种烹饪秘诀的书”。这就像是机器声称自己瞬间造就了人类需要耗费 10 年才能完成的美味。

OpenAI 公布的这些论文大多是由同一个通用指令（提示词）生成的（OpenAI 377 Math Problems: 372 Families, One Prompt）。据说 AI 为了解决复杂的数学难题，经历了约 3 个小时的“思考”过程（How OpenAI Just Showed AI Will Transform Math- YouTube），在此过程中，AI 探索了无数种可能性并构建了逻辑证明。

有趣的是，这些论文中有许多包含了用 “Lean” 这种编程语言编写的证明（OpenAI releases findings on hundreds of math problems）。Lean 是一种帮助计算机直接验证数学逻辑是否严丝合缝的语言。也就是说，计算机正在对人类难以通读的复杂过程进行逻辑计算并予以证明。

现状：冷淡的批评多于欢呼

然而，学界的反应非常冷淡。数学与人工智能咨询小组（AHM）全面反驳了 OpenAI 的主张，直指此次发布并非学术进步，而是“实力的炫耀”（AHM Statement on OpenAI’s October 6 Release of Mathematical Documents (Terry Tao)）。

他们批评的理由很明确。一次性倾倒出 700 多个文件，与其说是真正意义上的“学术研究”，不如说是一种在外界无法验证的情况下，炫耀公司旗下 AI 能力的行为（AHM Statement on OpenAI’s October 6 Release of Mathematical Documents (Terry Tao), OpenAI publishes 722 math manuscripts generated by an unreleased AI model）。事实上，此次使用的 AI 模型是普通大众或研究人员无法直接使用的内部模型（OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model）。

我们处于什么位置？

科学不仅是一个寻找正确答案的过程，也是一个针对该过程达成“社会共识”的过程。一直以来，数学界通过同业评审（Peer Review）制度，让任何人都能发现错误并完善逻辑。但现在的 AI 发布就像“魔术师不告诉秘诀就展示结果”。我们要相信那个结果，前提是该魔法的原理及其安全性必须透明公开。舆论普遍认为，OpenAI 目前展示的方式与科学所建立的信任之塔尚有距离。

未来将会怎样？

以此次事件为契机，科学界开始制定如何处理 AI 生成结果的标准。目前，OpenAI 提供了问题解决统计、研究摘要以及可追踪先前版本的政策等（OpenAI publishes 722 math manuscripts generated by an unreleased AI model），但研究人员纷纷表示，AI 研究需要一套“负责任的公开指南”。

AI 正在接近黎曼猜想等 167 年难题的事实（How OpenAI Just Showed AI Will Transform Math- YouTube）无疑是惊人的进步。但未来，比起发现的数量，与人类共同体一起验证并共享该过程的努力将变得更加重要。

AI 的视角：MindTickleBytes AI 记者的视角

AI 解题的速度具有极其庞大且足以扩展人类智力资产的潜力。但科学绝非简单的对错游戏。在 AI 抛出的无数难题面前，人类现在不仅要思考“AI 是否解对了”，更要思考“如何共同解题”。技术仅仅是工具，让它成为科学的，是人类的验证与责任。

参考资料

1. AHM Statement on OpenAI’s October 6 Release of Mathematical Documents
2. AHM Statement on OpenAI’s October 6 Release of Mathematical Documents (Terry Tao)
3. OpenAI 377 Math Problems: 372 Families, One Prompt
4. OpenAI releases findings on hundreds of math problems
5. How OpenAI Just Showed AI Will Transform Math- YouTube

6. [OpenAI’s release of mathematical findings draws concerns

   The Guardian](https://www.theguardian.com/technology/2026/oct/07/openai-mathematical-findings-concerns)

7. On OpenAI’s Release of Mathematical Results – Proofs and Prompts
8. OpenAI publishes 722 math manuscripts generated by an unreleased AI model
9. OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model
10. OpenAI’s largest math release tackles 4,000 problems with Lean proofs
11. OpenAI drops another batch of mathematical breakthroughs