AlphaEvolve's quantum result was Trotter formula optimization for OTOC simulation on Willow, worth a closer look than the DeepMind blog suggests