Google’s AlphaEvolve: The AI agent that reclaimed 0.7% of Google’s compute – and how to copy it