OpenAI AI打破Erdos猜想，数学研究新突破

AI不仅在棋类和编程上称霸，如今更是涉足数学证明领域。这一次，它成功破解了一个困扰多年的数学谜题。

OpenAI最近透露，他们最新的推理模型成功打破了一个著名的数学猜想——Erdos单位距离猜想。

该猜想内容为：在平面上放置n个点，点与点之间特定距离的连线数量存在上限。而OpenAI的模型通过特定构造，成功突破了这一限制。

01 此举为何意义重大

Erdos单位距离猜想属于离散几何的核心难题，由著名数学家Paul Erdos于1946年提出。

几十年来，无数数学家试图证明或推翻它，但始终未能彻底解决。

示意图（配图与文章内容无关）

OpenAI的解题方式与传统数学家截然不同：

该模型利用强化学习来寻找可能的点集构造，随后利用符号推理来验证这些构造是否真的突破了既定上限。

02 AI涉足数学的局限与边界

尽管此次证明已获数学家确认，但这并不意味着AI能解决所有的数学难题。

数学研究的核心难点不仅在于计算——它还需要提出有意义的问题、构建新的概念框架，以及发现不同领域间的深层联系。这些目前仍是人类的强项。

示意图（配图与文章内容无关）

OpenAI的研究人员也承认，

该证明的思路源于模型在海量数学文献上的训练——某种意义上，模型“记忆”了相关领域的技术工具，并在搜索过程中将它们重新组合。

03 对AI赋能科学的启示

这次证明是AI赋能科学领域的一个重要里程碑。

它证明了AI在形式化推理任务上能够超越人类的“直觉搜索”能力，并在特定领域发现人类未曾留意的解决方案。

示意图（配图与文章内容无关）

下一个问题是：这种方法能否迁移到其他数学领域？能否协助解决黎曼猜想、NP完全问题等重大难题？

目前尚无定论，但至少现在，数学家们多了一项强大的工具。

你认为AI能在多大程度上改变数学研究的方式？对于AI证明的定理，你依然信任吗？欢迎在评论区留言讨论。

---

本文由AI辅助创作，内容