>>11341945It could easily be that P = NP, so you cannot prove P != NP, while for all practical purposes P != NP, but we haven't formalized, yet, what the difference there is.
It probably needs a singular great idea to prove it, and I'd love to be alive while someone has that idea.
Even if ultimately it doesn't help with efficiently solving TSP and the likes.
