OpenAI攻克80年数学猜想：AI for Science的里程碑时刻

今天科技圈有个大新闻，但被谷歌I/O的光芒盖住了。OpenAI宣布其最新研究推翻了一个困扰数学界整整80年的著名猜想——平面单位距离猜想。消息一出，知乎瞬间炸锅，话题热度飙至1113万，直接冲上全站热榜第一。

这是个什么级别的成果

先科普一下。平面单位距离猜想是传奇数学家保罗·埃尔德什在1940年代提出的，说的是：平面上放置n个点，最多能有多少对点之间的距离恰好是1？

这个猜想折磨了无数聪明脑袋80年。原因很简单——这个问题看似简单，但随着n变大，点的排列方式会指数级爆炸，根本找不到规律。

如果AI真的解决了这个问题，那意义不亚于当年AlphaGo战胜李世石。因为这说明AI不仅能处理语言、图片这些人类创造的数据模式，还能攻克人类数学家几代人努力未果的纯数学问题。

AI是怎么做到的

据OpenAI公开的信息，他们的新模型在处理这个问题时，展现出了一种不同于人类的"解题直觉"。

传统数学家靠灵感加逻辑加大量试错，而AI的做法是：暴力搜索加模式识别再加符号推演的融合。具体分三步：

第一步，将问题转化为图论语言，每个点看成图的顶点，单位距离的连线就是边。第二步，让AI在参数空间中暴力搜索反例。第三步，AI发现了反例结构——一种全新的点阵排列，在其中n个点产生的单位距离对数量远超埃尔德什预言的上界。

这种排列结构极其复杂，完全违背人类直觉。数学家看了可能会说"这怎么想出来的"，但它确实有效。

这个成果靠谱吗

需要谨慎乐观。利好的方面：OpenAI号称其推理过程经过了形式化验证，多位数学家初步审阅后表示"构造是有效的"，这类组合几何问题本质上是可以被计算机验证的。

需要谨慎的方面：目前还没有正式论文上arXiv，披露细节有限。80年没人解决的问题突然被AI"一击致命"，学界需要时间消化。

知乎热榜上一位数学博士的评论很中肯："如果这是真的，将是AI for Math领域里程碑式的突破。"

我的思考

这让我想到一个更大的问题：当AI开始解决人类数学家搞不定的问题时，我们该怎么定义AI的价值？

以前我们说AI擅长模式识别、生成内容，但"原创性地解决数学难题"这件事，一直被认为是人类智力的最后堡垒之一。现在看来，这个堡垒也在动摇。

当然，现在下结论还为时过早。但如果这个成果最终被验证，那2026年可能真的是AI for Science的元年。