OpenAI 证伪 Erdős 单位距离猜想：80 年悬案被 AI 反例终结
## OpenAI 证伪 Erdős 单位距离猜想 1946 年，Paul Erdős 提出单位距离问题：平面上 n 个点，最多有多少对点之间的距离恰好为 1？近 80 年来，数学家普遍相信正方形网格构型是最优的。OpenAI 宣布，其内部推理模型给出了第一个完全自主的反例证明。 **要点** - **反例而非证明**
标签「组合几何」下的文章
## OpenAI 证伪 Erdős 单位距离猜想 1946 年，Paul Erdős 提出单位距离问题：平面上 n 个点，最多有多少对点之间的距离恰好为 1？近 80 年来，数学家普遍相信正方形网格构型是最优的。OpenAI 宣布，其内部推理模型给出了第一个完全自主的反例证明。 **要点** - **反例而非证明**