A Revisit to the De Giorgi Conjecture: Savin's Proof and Applications