Is this the first LLM-solved problem famous enough to have been on https://en.wi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

dooglius 57 days ago | parent | context | favorite | on: GPT-5.6 Sol Ultra produces proof of the Cycle Doub...

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 57 days ago [–]

No there was the planar unit distance problem

(Erdős problem 90)

dooglius 57 days ago | [–]

It looks like it was only added to that page under the solved section _after_ an LLM solved it

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact