The Langlands program is a challenge to our understanding of the fundamental nature of mathematics.
The concept of probably approximately correct (PAC) learning has been foundational in computational learning theory.