AlphaEvolve: как искусственный интеллект начинает открывать новую математику
В мае 2025 года Google представила AlphaEvolve — революционного ИИ-агента, который способен разрабатывать сложнейшие математические алгоритмы с помощью больших языковых моделей и эволюционного отбора. Эта система уже демонстрирует прорывные результаты: она не просто поддерживает учёных в доказательствах или вычислениях, а сама открывает новые решения давно открытых и открытых задач, предлагая оригинальные подходы, к которым человечество шло десятилетиями.
AlphaEvolve опирается на мощные модели Gemini, которые предлагают гипотезы и пишут код, и на встроенных автоматических оценщиков, проверяющих корректность и эффективность этих решений. Но в отличие от предыдущих поколений ИИ, этот агент не ограничен задачами автоматизации. Он способен развивать и видоизменять собственные подходы — словно участвует в исследовательском процессе как полноценный математик.
Самый яркий пример — новое решение задачи умножения комплексных матриц 4×4. AlphaEvolve нашла способ выполнить это с 48 скалярными умножениями — результат, превосходящий знаменитый алгоритм Штрассена, который считался эталоном с 1969 года. Более того, система не просто случайно наткнулась на улучшение: она прошла через 15 итераций мутаций и селекции, методично выводя эффективную структуру, которую можно математически интерпретировать и воспроизвести.
Система была также протестирована на более чем 50 открытых математических задачах из анализа, комбинаторики, геометрии и теории чисел. В 75% случаев AlphaEvolve воспроизвела лучшие на сегодня известные решения, что само по себе впечатляет. Но более важно то, что в 20% задач она предложила лучшие решения, повышая текущие нижние или верхние оценки, и тем самым реально продвигая границу знания.
Один из таких случаев — проблема поцелуев в 11-мерном пространстве. Задача, мучившая математиков более трёхсот лет, касается максимального количества сфер, касающихся центральной сферы. AlphaEvolve предложила конфигурацию из 593 внешних сфер, улучшив существующую нижнюю границу и тем самым внесла новый вклад в многомерную геометрию.
