OpenAI reports the higher-dimensional Erdős distinct-distance bound

For every fixed dimension d≥3, a constant c_d>0 makes every n-point set of distinct points in ℝᵈ determine at least c_d n^(2/d) distinct distances.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

For every fixed dimension d≥3, a constant c_d>0 makes every n-point set of distinct points in ℝᵈ determine at least c_d n^(2/d) distinct distances.

Why it matters

If correct, resolves the higher-dimensional Erdős distinct-distances conjecture at the optimal exponent.

What counts as progress

Must n points in every fixed higher dimension determine on the order of n^(2/d) distinct distances?

Website timeline

Publication dates and editorial changes.