Combinatorics·OpenAI Math·Result 166
The higher-dimensional Erdős distinct-distances conjecture
One of the 372 results in OpenAI's public mathematics catalogue, filed under combinatorics: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
What OpenAI claims
For every fixed d ≥ 3, any n ≥ 2 distinct points in ℝd determine at least cdn2/d distinct distances, with cd > 0 depending only on dimension. This matches the integer-grid order and resolves the higher-dimensional Erdős distinct-distances conjecture with a constant-factor bound.
Paper
The higher-dimensional Erdős distinct-distances conjecture
For every fixed integer d ≥ 3, we prove that every set of n ≥ 2 distinct points in ℝd determines at least cd n2/d distinct distances, where cd > 0 depends only on d. This resolves the higher-dimensional Erdős distinct-distances conjecture positively.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted a preprint on 23 September 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
- What exactly does OpenAI claim?
- For every fixed d ≥ 3, any n ≥ 2 distinct points in ℝd determine at least cdn2/d distinct distances, with cd > 0 depending only on dimension. This matches the integer-grid order and resolves the higher-dimensional Erdős distinct-distances conjecture with a constant-factor bound.
- Where is the proof?
- In the paper, The higher-dimensional Erdős distinct-distances conjecture (PDF).
- Is there a video?
- Yes, on YouTube (0:21).
Also in
- Chapter 10 of 83 in Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · starts at 3:08 · watch from there on YouTube →
The video
Erdős Distinct Distances, Higher Dimensions: OpenAI Claims a Proof · Short · 0:21 · description, sources and transcript →
Related results in Combinatorics
- 167Planar distinct distances and unit-distance boundsVideoLean
- 168Combinatorial invariance of Kazhdan–Lusztig polynomialsVideoLean
- 169Shareshian–Wachs elementary positivityVideoLean
- 170Sharp logarithmic exponents for off-diagonal Ramsey numbersVideoLean
- 171The hypercube Ramsey conjectureVideo
- 172Classification of finite Euclidean Ramsey configurationsVideoLean