The problem
Let be a finite set of size , and let be the set of distances determined by . Let be the multiplicity of , that is, the number of ordered pairs from of distance apart.
Is it true that and if and only if is a set of equidistant points on a line or a circle?
Statement quoted from erdosproblems.com/958, maintained by Thomas Bloom. Original source: [Er84c]. Current status there: disproved (Lean).
AI contributions
As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.
| Date | Kind | AI systems | Outcome | Literature |
|---|---|---|---|---|
| 27 Dec, 2025 | AI building on known literature | Aristotle | 🟢 New proof found (Lean) | 🟢 Clemen, Dumitrescu, and Liu (2025) |
Caveats
The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.
∎