Искусственный интеллект как исследовательский партнер: Развитие теоретической информатики с помощью AlphaEvolve