Quality-Diversity Algorithms Can Provably Be Helpful for Optimization | Synapse