Рад поделиться новыми достижениями в области ИИ для математики @GoogleDeepMind . В экстремальной комбинаторике AlphaEvolve помог установить новые нижние границы для ПЯТИ классических чисел Рамси - задачи, настолько сложной, что даже Эрдиш комментировал её трудность. Исторически, вычислительное получение этих границ требовало индивидуально разработанных человеческих алгоритмов поиска. Для многих из этих границ лучшие предыдущие результаты как минимум десятилетней давности. AlphaEvolve меняет это, действуя как единый мета-алгоритм, который автоматически находит процедуры поиска, необходимые для нахождения этих новых границ. 📷