| ▲ | jasonjmcghee 5 hours ago | |
No there was the planar unit distance problem (Erdős problem 90) | ||
| ▲ | dooglius 5 hours ago | parent [-] | |
It looks like it was only added to that page under the solved section _after_ an LLM solved it | ||
| ▲ | jasonjmcghee 5 hours ago | |
No there was the planar unit distance problem (Erdős problem 90) | ||
| ▲ | dooglius 5 hours ago | parent [-] | |
It looks like it was only added to that page under the solved section _after_ an LLM solved it | ||