Provable Maximum Entropy Manifold Exploration via Diffusion Models