[testaccount28]

"our new grad student made progress on the combinatorics problem we posed!"

"oh awesome let's see if he can solve p!=np!"

[ykonstant]

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]

> 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?