Erdős problem 670
Erdős asked whether every -point set in Euclidean space whose pairwise distances are mutually at least 1 apart must have diameter at least . Disproved: an explicit high-dimensional construction beats the conjectured constant.
Nothing has been recorded here yet.
How far the record reaches2 of 6 stages
- Sourceerdos-problems
- StatementRetained
- FormalNone associated
- ResolutionNone filed
- WorkNone recorded
- DecisionNone here
- The questionNot reached
What this record is missingFormal declaration
No formal declaration is associated with this question.
A formal statement is the first thing a check can run against.
Where the source files it110 share a topic
Erdős problem 94acceptedCarrying a Standing. Browse the topic.