AlphaEvolve MathGPT (MathGPT)