AI 攻克 80 年数学难题：OpenAI 模型证伪离散几何核心猜想，开启数学研究新纪元

近日，人工智能领域迎来了一项足以载入数学史册的重大突破。OpenAI 开发的一款先进模型成功破解了离散几何领域中困扰学界长达 80 年的“单位距离问题”（unit distance problem），并由此证伪了一个长期存在的核心猜想。这一成就不仅解决了数学史上的经典难题，更标志着人工智能在处理高度抽象的逻辑推理与数学证明方面迈出了里程碑式的一步。

该问题的核心在于探讨平面点集中的单位距离关系，其复杂性在于需要极高的几何直觉与严密的逻辑推导。长期以来，这一猜想被视为数学界难以逾越的屏障之一。OpenAI 模型的成功，意味着 AI 已经具备了从海量数学逻辑中识别复杂模式、并进行严密形式化验证的能力，能够挑战人类顶尖数学家关注的深层课题。

此次突破预示着“AI 驱动数学”时代的全面到来。数学研究正从依赖人类直觉的传统模式，向人机协作的新范式转型。随着模型在逻辑推理与符号化运算能力的进一步增强，AI 将不再仅仅是辅助性的计算工具，而将成为能够参与科学发现、甚至引领数学理论创新的核心驱动力。