A proof that P = NP would have profound implications for mathematics, cryptography, and algorithm design.