Comment by dooglius
2 months 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...
2 months 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...
No there was the planar unit distance problem
(Erdős problem 90)
It looks like it was only added to that page under the solved section _after_ an LLM solved it