Existence of minimal models for varieties of log general type
  We prove that the canonical ring of a smooth projective variety is finitely generated. 
Caucher Birkar, Paolo Cascini, Christopher D. Hacon, James McKernan