Comment by jasonjmcghee 2 months ago No there was the planar unit distance problem(Erdős problem 90) 1 comment jasonjmcghee Reply dooglius 2 months ago It looks like it was only added to that page under the solved section _after_ an LLM solved it
dooglius 2 months ago It looks like it was only added to that page under the solved section _after_ an LLM solved it
It looks like it was only added to that page under the solved section _after_ an LLM solved it