AI推翻80年数学猜想

80年。

从1946年匈牙利数学大师保罗·厄多斯（Paul Erdős）提出"平面单位距离猜想"算起，这道几何难题困扰了人类整整80年。全球最顶尖的数学家尝试过无数种方法，没人能给出确切的证明或反驳。

直到2026年5月21日，OpenAI宣布：一个通用推理AI模型，自主推翻了这个猜想。

注意几个关键词："通用"、"自主"、"非检索式"。

这不是一个专门为数学问题训练的专用系统，而是一个通用的推理模型。它没有被"喂"入任何针对这道猜想的专业训练数据，也没有搜索现成的证明方案。它就像一个没有学过这道题的普通数学系学生，坐在桌前从零开始思考，然后给出了一个连数学家都意想不到的证明路径。

消息发布后，知乎上相关话题热度飙升至835万，数学界和AI界同时震动。

九位数学家组成的独立评审小组对AI的证明进行了逐行验证。结果是：证明思路完全正确，逻辑严密，且其中Will Sawin以外的所有部分都不涉及高深技术性内容——这意味着，这个证明的优美程度足以让任何有基础数学素养的人看懂其核心逻辑。

这到底意味着什么？

数学，一直被视为人类智能的"终极堡垒"。机器可以下围棋、可以写文章、可以画画，但"创造性地解决一个从未见过的新问题"，被认为是最不可能被AI攻克的领域。

但这次突破证明：AI不仅能模仿，它还能思考。

更深层的问题随之而来：如果AI能推翻80年的数学猜想，那数学家的价值在哪里？如果AI能自主提出证明思路，那人类的创造力到底还剩什么？

一位参与评审的数学家在社交媒体上写了一段话："这个证明让我感到既兴奋又不安。兴奋的是，困扰我整个职业生涯的问题终于有了答案。不安的是，给出答案的不是人。"

但也许我们不需要太悲观。

因为在厄多斯提出这个猜想的1946年，还没有计算机。在人类几千年的数学探索中，工具一直在变——从算盘到纸笔到计算机到AI——但对真理的追求从未改变。

AI推翻了80年的猜想，但提出下一个问题的人，依然是我们。