Claims

../

2026_05_20_openai: The report Planar Point Sets with Many Unit Distances gives n-point planar sets with n^(1+delta) unit pairs; pruning to large minimum degree refutes f(n) <= n^(o(1)); accepted on the companion's documented check and the curator.

---