AlphaEvolve: ИИ помогает математикам делать новые открытия
Группа математиков и исследователей ИИ представила подробную работу о том, как ИИ-ученый Google DeepMind AlphaEvolve помогает находить новые конструкции в математике. В числе авторов — выдающийся математик Теренс Тао (UCLA), а также Богдан Георгиев и Адам Жолт Вагнер (Google DeepMind) и Хавьер Гомес-Серрано (Brown University/IAS). Статья описывает комплексный подход: от машинного поиска идей до их доказательства и формализации.
AlphaEvolve — ИИ-агент Google DeepMind, официально представленный в мае 2025 года. Это сложная система, объединяющая нейронные сети и строгие автоматические проверки, позволяющая решать научные задачи. В Google AlphaEvolve успешно применяется для оптимизации различных инженерных процессов — от ускорения матричных вычислений и планирования ресурсов дата-центров до совершенствования TPU-ускорителей. Система генерирует новые алгоритмические приемы, которые проходят автоматическую проверку и демонстрируют прирост производительности. Google планирует предоставить доступ к AlphaEvolve ученым, и работа команды Тао является одним из первых результатов этого шага.
Авторы использовали AlphaEvolve для решения задач в области анализа, комбинаторики, геометрии и теории чисел в двух режимах. В режиме поиска система генерирует и улучшает короткие программы, которые быстро перебирают варианты и подвергаются строгой оценке, лучшие решения сохраняются и модифицируются. В режиме обобщения система создает программу, способную выявлять закономерности на множестве входных данных и предлагать общую формулу. В некоторых случаях применялись и другие ИИ-инструменты Google: Gemini 2.5 Deep Think для доказательства и AlphaProof для формальной верификации кода на Lean.
Математики формулировали задачи, разрабатывали промпты и метрики, контролировали работу системы и проверяли результаты. В статье зафиксированы улучшения в решении задач над конечными полями (варианты Kakeya/Nikodym), усиление автокорреляционных оценок и повышение нижней границы для конфигурации «целующихся сфер» в размерности 11 (с 592 до 593, что, конечно, переворачивает мир). Авторы утверждают, что главная ценность работы заключается в универсальности AlphaEvolve и его способности решать широкий спектр математических задач.
Ну что же, похоже, математике пора начинать писать резюме на позицию младших ассистентов у искусственного интеллекта. Кто бы мог подумать, что машина будет делать то, что мы делали годами, да еще и с приставкой «улучшение».
