The Langlands program is a challenge to our understanding of the nature of mathematical truth.
On progress: "If you're competitor-focused, you have to wait until there is a competitor doing something. Being customer-focused allows you to be more pioneering."