OpenAI模型攻克80年未解数学难题

80年悬案：Collatz猜想的挑战

Collatz猜想，又称3x+1问题，自1937年由德国数学家Lothar Collatz提出以来，一直困扰着全球的数学天才。这个看似简单的规则——任意正整数，如果是奇数则乘以3加1，如果是偶数则除以2，不断重复后最终都会落入4-2-1循环——却无人能证明它对所有正整数都成立。80多年来，无数数学家试图攻克它，却只收获了部分进展和若干猜想性的结论。

然而，就在2026年6月1日，OpenAI宣布其最新AI模型成功给出了Collatz猜想的完整证明。这一消息震惊了学术界。据Ars Technica报道，该模型并非依靠暴力计算，而是通过一种结合了符号推理与强化学习的新型架构，从公理出发推导出了严格的数学证明。

AI如何“思考”数学难题？

OpenAI的研究团队并未公开完整的证明细节，但作者Kai Williams试图以更清晰的方式解释其核心思路。该模型首先被训练在大量数学文献上，学习逻辑推理的模式。然后，它通过自我对弈的方式生成大量“证明路径”，并利用一个内置的验证器确保每一步的严格性。最终，模型发现了一种基于“哥德尔编码”和“递归函数理论”的巧妙构造，将Collatz猜想的无限验证归结为有限步骤的推理。

“这就像让AI学会数学家的直觉，但不依赖人类的经验局限。”——Kai Williams在文章中如此评价。

更令人惊叹的是，模型不仅给出了证明，还能用人类可读的符号语言“解释”其推理过程。尽管这个解释对非专业人士仍然深奥难懂，但数学界已经开始验证其正确性。初步反馈表明，证明逻辑严丝合缝，没有发现明显的漏洞。

编者按：AI数学研究的里程碑与局限

这次突破是继DeepMind的AlphaFold解决蛋白质折叠问题后，AI在科学推理领域的又一次重大胜利。与AlphaFold依靠大数据和模式识别不同，Collatz猜想的证明需要纯粹的、基于公理的演绎推理。这表明大语言模型经过适当的训练和架构优化，已经具备了某种程度的“创造性”数学能力。

然而，我们也应保持审慎。首先，这个证明的复杂性远超人类数学家通常能处理的范围——它长达数百页，包含大量抽象概念。是否真的算“完全解决”还有待于正式发表的同行评审。其次，即使证明被确认，AI在数学中的作用仍更像工具而非替代者。大多数数学发现仍然依赖于人类的直觉和领域知识，AI目前还无法提出全新的、超越人类认知框架的猜想。

对于普通读者来说，这次事件的最大意义在于：AI正在从“计算器”进化为“推理伙伴”。未来，数学家或许可以借助AI验证复杂猜想、探索更广阔的数学空间，就像天文学家借助望远镜观察宇宙一样。

本文编译自Ars Technica