Reading the launch
Erdős unit distance conjecture (ErdősForest) | Pons