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

Мы используем AlphaEvolve, агент кодирования на основе LLM, для поиска и проверки комбинаторных структур, улучшающих результаты по…