OpenAI reports the weak pinned planar distance theorem
- Mathematics
For every fixed ε>0, all but o(n) points of any n-point planar set determine at least n^(1−ε) distinct nonzero distances as n grows, uniformly over the set.
For every fixed ε>0, all but o(n) points of any n-point planar set determine at least n^(1−ε) distinct nonzero distances as n grows, uniformly over the set.
For every fixed ε>0, all but o(n) points of any n-point planar set determine at least n^(1−ε) distinct nonzero distances as n grows, uniformly over the set.
For every fixed ε>0, all but o(n) points of any n-point planar set determine at least n^(1−ε) distinct nonzero distances as n grows, uniformly over the set.
If correct, resolves the weak pinned Erdős distinct-distance conjecture in a stronger almost-every-pin form.
Do almost all pins in every large planar point set determine nearly n distinct distances?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.