How does the proton gradient lead to the formation of ATP?

Well, protons will move according to this gradient - Movement of charges means electrical current, and that means energy. This energy is used to synthesize more ATP from ADP and AMP.