3 ms·
Is this the first LLM-solved problem famous enough to have been on https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics?useskin=vector https:/
by dooglius 3mo ago
Is this the first LLM-solved problem famous enough to have been on https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_mathematics?useskin=vector https://en.wikipedia.org/wiki/List_of_unsolved_problems_in_m...
- jasonjmcghee 3mo agoNo there was the planar unit distance problem (Erdős problem 90)
- dooglius 3mo agoIt looks like it was only added to that page under the solved section _after_ an LLM solved it