2 ms·
No there was the planar unit distance problem (Erdős problem 90)
by jasonjmcghee 3mo ago
No there was the planar unit distance problem
(Erdős problem 90)
- dooglius 3mo agoIt looks like it was only added to that page under the solved section _after_ an LLM solved it