A proof that they are the same is of no use either, since it too wouldn't help you find algorithms that are faster.

You would need an algorithm that finds solutions, not just a proof they exist. So the value here would almost entirely come from how you proved p = np, since that proof will probably be the first step towards finding the polynomial solutions. But if humans don't understand it good luck finding any.