维度网讯，OpenAI一个尚未向公众发布的通用推理AI系统，自行生成了一个125页的数学证明，推翻了组合几何中一个持续80年的著名猜想。

该问题被称为单位距离问题，由数学家保罗·埃尔德什（Paul Erdős）于1946年提出。问题核心是：给定平面上一组点，恰好相距同一固定距离的点对最多有多少个？数十年来，数学界形成了一个共识，即正方形网格是该问题的最优配置，但这一观点从未被正式证明。

为了反驳这一猜想，该AI模型确定了一组无限的点排列族，其效率优于网格。这意味着模型不仅找到了个别反例，而是一整类更优配置，从而推翻了数十年的命题。该证明由九位外部数学家验证，其中包括菲尔兹奖得主蒂姆·高尔斯（Tim Gowers），他建议将此成果推荐发表在《数学年鉴》（Annals of Mathematics）上。另一位验证者是数学家托马斯·布鲁姆（Thomas Bloom），他曾公开指出OpenAI自身在数学方面的虚假陈述。

这项成果的特别之处在于，它并非来自专门用于数学的系统，而是一个通用推理模型，该模型同样可以用于提供烹饪建议、总结文档和撰写文本。模型连接了数学文献中分散的推理线索，这些线索包括戈洛德-沙法列维奇（Golod-Shafarevich，1964年）、艾伦伯格-文卡特什（Ellenberg-Venkatesh，2007/2016年）以及哈吉尔-迈尔-拉马克里希纳（Hajir-Maire-Ramakrishna，2021年）等研究者的工作。

预印本平台arXiv上发表的论文《关于单位距离猜想反驳的评论》，将AI生成的125页证明转化为更简短、更清晰、更可验证的数学语言。在独立验证文章中，作者简化并概括了原始论证，将证明置于现有文献背景中，并反思了数学家与AI系统之间的关系。

专家指出，产生这一结果的问题并未明确要求反驳该猜想，仅是一个关于猜想真假的开放性问题。模型自行得出了猜想为假的结论并完成了证明。OpenAI表示，这是人工智能首次自主解决数学领域一个核心的开放问题。该证明正等待在arXiv上正式发表，但生成它的工具仍处于非公开状态。OpenAI的数学家马克·塞尔克（Mark Sellke）向《自然》（Nature）杂志评价：“这比一个月前我们习惯看到的成果有了巨大飞跃。”