I'll ask you the same question as ants_everywhere, then. What objective function do you give AlphaEvolve to ask it to attempt to prove or disprove the Collatz conjecture?