Erdős 问题 #958

Aristotle 为一个早已解决的问题给出了新证明(2025 年 12 月 27 日)。

问题
Erdős 问题 #958(距离、几何);当前状态:已否定(Lean 形式化)
贡献方
Aristotle · AI 在已知文献基础上完成
验证
Lean 形式化收录于 Tao 的 Wiki
时间线
首次 AI 贡献 2025-12-27 · Wiki 数据截至 2026-06-30
来源
问题页面(erdosproblems.com)Tao 的 AI 贡献 Wiki
已有
文献
依据 Tao 的 AI 贡献 Wiki

问题

Let A⊂R2A\subset \mathbb{R}^2 be a finite set of size nn, and let {d1,…,dk}\{d_1,\ldots,d_k\} be the set of distances determined by AA. Let f(d)f(d) be the multiplicity of dd, that is, the number of ordered pairs from AA of distance dd apart.

Is it true that k=n−1k=n-1 and {f(di)}={n−1,…,1}\{f(d_i)\}=\{n-1,\ldots,1\} if and only if AA is a set of equidistant points on a line or a circle?

问题陈述引自 erdosproblems.com/958(Thomas Bloom 维护),保留英文原文。原始出处:[Er84c]。该网站上的当前状态:已否定(Lean 形式化)。

AI 贡献

以下记录来自 Terence Tao 的 Wiki AI contributions to Erdős problems(数据截至 2026 年 6 月 30 日)。🟢 完整、🟡 部分、⚪ 待核实、🔴 有误。

日期 类型 AI 系统 结果 相关文献
27 Dec, 2025 AI 在已知文献基础上完成 Aristotle 🟢 给出了新证明(Lean 形式化) 🟢 Clemen, Dumitrescu, and Liu (2025)

说明

Wiki 中的分类是暂定的,也不是一份评测榜单。许多 Erdős 问题从未有过完整的文献调研,看似新的结果日后可能被发现早已存在;也有一些问题本身的表述有歧义或错误。完整的讨论见问题页面。

∎