Erdős unit-distance conjecture
Prove that the maximum number U(t) of pairs of points at unit distance among all sets of t points in the plane satisfies U(t)=O(t^{1+\varepsilon}) for every \varepsilon>0.
References
The Erd\H{os unit distance conjecture} states that $U(t) = O(t{1 + \varepsilon})$ for every $\varepsilon > 0$.
— On the shatter function of semilinear set systems
(2501.10032 - Basit et al., 17 Jan 2025) in Section 1, Introduction