The Four Color problem has long been a poster child for graph theory and has inspired much of its development over the years. I will mention a few, perhaps surprising, equivalent formulations of the problem, outline the main ideas of its proof and discuss some of the related open questions.