Hacker News new | ask | show | jobs
by jasonjmcghee 22 days ago
No there was the planar unit distance problem

(Erdős problem 90)
1 comments
dooglius 22 days ago
It looks like it was only added to that page under the solved section _after_ an LLM solved it
link