OPENdatabase updated 2025-08-31
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
The set of distances \(d(x, y)\) with \(x \in A\) and \(y \in B\).
The minimal number of distinct distances \(d(x_i, y_j)\) over all choices of \(2n\) distinct points \(x_1, \ldots, x_n, y_1, \ldots, y_n\) in `X`. The \(x_i\) form a set `A` of \(n\) points, the \(y_j\) form a set `B` of \(n\) points, and `A` and `B` are disjoint, so all \(2n\) points are distinct.
Are there, for all large \(n\), some points \(x_1,\ldots,x_n,y_1,\ldots,y_n\in \mathbb{R}^2\) such that the number of distinct distances \(d(x_i,y_j)\) is \[o\left(\frac{n}{\sqrt{\log n}}\right)?\] We require all \(2n\) points to be distinct; without any distinctness one could take all points equal and get a single distance. Writing \(F(n)\) for the minimal number of such distances (`minimalCrossDistances ℝ² n`), the question asks whether \(F(n) = o(n / \sqrt{\log n})\). This is equivalent to the existence, for all large \(n\), of configurations whose count is at most \(g(n)\) for some fixed \(g(n) = o(n / \sqrt{\log n})\), since the infimum is attained. The source adds that one can also ask this for points in \(\mathbb{R}^3\). Taken literally, the question is easy there, since a cubic grid of \(2n\) points determines only \(O(n^{2/3})\) distinct distances, so we do not state it.
Statement as formalized in Formal Conjectures (Google DeepMind, Apache-2.0) · their label: research open · 3 further variants / known partial results in the Lean file. The authoritative wording is on erdosproblems.com/661.
WORKING REPORT BY THIS SITE · JUL 28, 2026
The disjoint diagonal half-shift has an exact odd-square-sum distance set and is the unique finite-family minimizer in 848 arithmetic candidates for every \(4\le m\le64\), but Landau–Ramanujan rigorou
PARTIAL