Erdős's Planar Unit Distance Conjecture
Prior state unknown→disproved
Conjectured upper bound on how many pairs among $n$ points in the plane can be exactly one unit apart.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review