A conjecture of Arnold states that a typical perturbation of a completely integrable Hamiltonian system with more than two degrees of freedom is topologically unstable. J. Mather announced a proof for two and half degrees of freedom in 2003. Recently with V. Kaloshin we gave an alternative proof. I will outline the proof, and discuss in particular how one of the difficulties is overcome using Mather theory and weak KAM theory.