It's worth keeping in mind that regardless of whether P = NP, we might never prove it one way or another. We already know from Godel that some statements can't be proven true or false in a given logical system (without introducing inconsistencies), so it's certainly possible that this is one of them. At the risk of stating the obvious, this quite different from the hypothetical you give where we definitively know that it's provable.