If I remember correctly, if the Riemann conjecture is proven the geometric complexity theorists have a path to resolve P=NP.