This paper introduces Proximal Diffusion Models (ProxDM), derived from backward discretization of an SDE and based on learned proximal operators, achieving provable faster sampling complexity and empirically much faster convergence.