Hacker News new | ask | show | jobs
by dooglius 18 days 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...
1 comments
jasonjmcghee 18 days ago
No there was the planar unit distance problem

(Erdős problem 90)

link
dooglius 18 days ago
It looks like it was only added to that page under the solved section _after_ an LLM solved it
link