"our new grad student made progress on the combinatorics problem we posed!"
"oh awesome let's see if he can solve p!=np!"
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.
> 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?