Google/DeepMind представили AlphaEvolve: ИИ, который помогает математикам и компьютерным теоретикам искать новые результаты

Как он работает

Обычно LLM стараются писать доказательства целиком, но это слишком сложно и ненадёжно.

AlphaEvolve идёт другим путём: он не пишет доказательства сам, а генерирует новые маленькие элементы *конструкции (gadgets)*.

Эти кусочки можно быстро проверить автоматикой, и если они работают, их можно собрать в более крупные теоремы.

Что удалось найти

- Новый результат для задачи MAX-4-CUT (https://arxiv.org/pdf/2509.18057#page=8) (Это задача из теории алгоритмов и комбинаторной оптимизации, разновидность классической задачи MAX-CUT), с конструкцией, которую раньше никто не придумывал.

- Сильные новые нижние границы для задач на случайных графах, включая работу с Ramanujan graphs (https://arxiv.org/pdf/2509.18057#page=6).

- Проверка теорем стала в 10 000 раз быстрее, чем в обычных методах.

Зачем это нужно

- Математика требует 100% точности - и тут AI помогает именно как генератор идей, а проверка остаётся строгой и надёжной.

- Такой подход экономит годы человеческой работы и открывает дорогу к новым теоремам и алгоритмам.

Подробнее: research.google/blog/ai-as-a-research-partner-advancing-theoretical-computer-science-with-alphaevolve/

Источник: arxiv.org

Комментарии: