Optimization, Complexity and Math (or, can we prove P!=NP by gradient descent?). A 3-hour survey.