Author Charles Stross explored a similar question in his short story "Antibodies": what happens to encryption or machine intelligence when the proof that P == NP is published?
... in the case of a non constructive proof, there would still be a significant change: it would dramatically ramp up the search for a constructive proof