Explain the theoretical significance of the P vs NP problem. Detail the implications for cryptography, optimization, and mathematical proof verification if it were proven that P equals NP. Conversely, discuss the consequences for our understanding of efficiency and problem-solving if P does not equal NP.