combinatorics / Combinatorial geometry

Erdős Problem #670: Diameter with Separated Distances

Erdős asked whether every $n$-point set in Euclidean space whose pairwise distances are mutually at least 1 apart must have diameter at least $(1+o(1))n^2$. Disproved: an explicit high-dimensional construction beats the conjectured constant.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

combinatoricsApr 16, 2026Significance 10/100Registry: lean checked

Erdős Problem #670: Diameter with Separated Distances

Prior state unknowndisproved

Erdős asked whether every $n$-point set in Euclidean space whose pairwise distances are mutually at least 1 apart must have diameter at least $(1+o(1))n^2$. Disproved: an explicit high-dimensional construction beats the conjectured constant.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Erdős asked whether every $n$-point set in Euclidean space whose pairwise distances are mutually at least 1 apart must have diameter at least $(1+o(1))n^2$. Disproved: an explicit high-dimensional construction beats the conjectured constant.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.