Pluricanonical Ring

Peter spots two preprints that give two different proofs of a major open problem in algebraic geometry: the finite generation of the pluricanonical ring:

By a standard construction in algebraic geometry, this would give a particular embedding of a variety as a subvariety of projective space. Apparently for varieties of general type, this would give something even better: minimal model of the variety.