Provable Adaptivity of Adam under Non-uniform Smoothness | Synapse