In these lectures we will explain the recent proof by X-X. Chen, S. K. Donaldson and the speaker on Yau's conjecture relating existence of Kähler-Einstein metrics on Fano manifolds to algebro-geometric K-stability. We will describe the main problem, outline the strategy and highlight some technical aspects involved in the proof.