“An earlier version of AlphaEvolve discovered programs for the cap set problem that contained interesting mathematical symmetries previously unknown to mathematicians.”