Claims

../

2026_09_15_gus: A Lean proof submitted to Conjectures.io under the name gus: for every delta and large n, some n planar points have (1 - delta) n or more distinct distance counts, so the answer is yes; site-certified, kernel-checked by that site.

---