| ▲ | dooglius 5 hours ago | |||||||
Is this the first LLM-solved problem famous enough to have been on https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m... | ||||||||
| ▲ | jasonjmcghee 5 hours ago | parent [-] | |||||||
No there was the planar unit distance problem (Erdős problem 90) | ||||||||
| ||||||||