In mathematics, the Langlands program is a web of far-reaching and influential conjectures about connections between number theory and geometry. Proposed by Robert Langlands (1967, 1970), it seeks to relate Galois groups in algebraic number theory to automorphic forms and representation theory of algebraic groups over local fields and adeles. Widely seen as the single biggest project in modern mathematical research, the Langlands program has been described by Edward Frenkel as “a kind of grand unified theory of mathematics.”
In a very broad context, the program built on existing ideas: the philosophy of cusp forms formulated a few years earlier by Harish-Chandra and Gelfand (1963), the work and approach of Harish-Chandra on semisimple Lie groups, and in technical terms the trace formula of Selberg and others.
What initially was very new in Langlands' work, besides technical depth, was the proposed direct connection to number theory, together with the rich organisational structure hypothesised (so-called functoriality).
For example, in the work of Harish-Chandra one finds the principle that what can be done for one semisimple (or reductive) Lie group, should be done for all. Therefore, once the role of some low-dimensional Lie groups such as GL(2) in the theory of modular forms had been recognised, and with hindsight GL(1) in class field theory, the way was open at least to speculation about GL(n) for general n > 2.