Yes, too many people here do not understand the distance between the problems th... | Hacker News

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

		ykonstant 19 days ago \| parent \| context \| favorite \| on: Further human + AI + proof assistant work on Knuth... Yes, too many people here do not understand the distance between the problems the article is discussing (and LLMs have solved) and the big problems in math and CS.

gnarlouse 18 days ago | [–]

> Comments should get more thoughtful and substantive, not less, as a topic gets more divisive.

Do you have any good links on SoTA research in the provability of P!=NP?

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