The problem
If then the distance between and is defined by
Let be the maximal number of unit distances between disjoint convex translates. That is, the maximal such that there is a compact convex set and a set of size such that all are disjoint and there are pairs such that
Determine - in particular, prove that there exists a constant such that for all large .
Statement quoted from erdosproblems.com/956, maintained by Thomas Bloom. Original source: [ErPa90]. Current status there: open.
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 | Humans | Outcome |
|---|---|---|---|---|
| 27 Apr, 2026 | AI working with humans | Aristotle, GPT-5.5 Pro | Przemek Chojecki | ⚪ Candidate full solution |
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.
∎