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?