In the early 1960s Arnold constructed an example of instabilities for a nearly integrable Hamiltonian of dimension greater than two and conjectured that this is a generic phenomenon. This is now known as Arnold diffusion. In the last two decades a variety of powerful techniques to attack this problem were developed. We will discuss two such techniques — invariant cylinders and Mather variational method — which have led to recent progress on this problem.