OpenAI 模型推翻单位距离猜想

关键信息

这个问题最早由 Erdős 在 1946 年提出，研究的是平面上 n 个点中，最多能有多少对点之间的距离恰好为 1。OpenAI 链接的证明说明中写道，该模型推翻了单位距离猜想，这表明结果涉及平面点集中的单位距离最大数量问题。

资讯摘要

OpenAI 报告称，其一个模型解决了离散几何中已有 80 年历史的单位距离问题。这个结果并不是简单地给出一个更好的上界，而是被描述为推翻了该领域的一个重要猜想。单位距离问题最早由 Erdős 在 1946 年提出，问题是：平面上的 n 个点中，有多少对点之间的距离可以恰好等于 1。它被公认为离散几何中最著名、最重要的未解问题之一。

OpenAI 链接的证明材料显示，该模型建立了一个与单位距离猜想相矛盾的定理。也就是说，这一发现不仅在数学上很重要，也表明 AI 系统可能开始参与非平凡的定理发现。OpenAI 将这一成就称为 AI 驱动数学的一个里程碑。

资讯正文

一个 OpenAI 模型解决了已有 80 年历史的单位距离问题，推翻了离散几何中的一个重要猜想，并标志着 AI 驱动数学的一个里程碑。

来源与参考

1. 原始链接
2. An OpenAI model has disproved a central conjecture in discrete geometry