Компания Google DeepMind представила систему искусственного интеллекта AlphaEvolve, которая помогает математикам открывать новые теоремы. В отличие от обычных языковых моделей, новая система работает не как автоматический доказчик, а как партнер-генератор идей.

AlphaEvolve специально разработан для задач из теоретической информатики и математики, где требуется полная строгость и точность. Главное отличие системы от привычных языковых моделей в том, что она не пытается написать доказательства целиком, что часто приводит к ошибкам.

Вместо этого AlphaEvolve предлагает небольшие строительные блоки, которые можно проверить алгоритмически. Если такой блок работает, его можно включить в более крупную конструкцию. Этот подход значительно ускоряет поиск новых результатов.

Система уже принесла первые научные открытия. AlphaEvolve предложила новую конструкцию для задачи MAX-4-CUT — сложного варианта классической задачи MAX-CUT из области комбинаторной оптимизации. Также ИИ помог установить более сильные нижние границы для задач на случайных графах, включая работу с графами Рамануджана.

Проверка теоретических гипотез с помощью AlphaEvolve оказалась до 10 000 раз быстрее традиционных методов. По сути, система превращает искусственный интеллект в «лабораторию идей» для математиков.

Важно отметить, что AlphaEvolve не заменяет строгую математическую проверку, а помогает сэкономить годы работы. Система перебирает различные варианты и выдвигает гипотезы, которые человек мог бы даже не рассмотреть.

Такой подход к использованию ИИ может существенно ускорить развитие алгоритмов и методов. В перспективе он может стать стандартом в научной работе, где ценится не только скорость, но и надежность результатов.

Разработка подобных систем показывает новое направление в развитии искусственного интеллекта — не замена человека-исследователя, а создание инструментов, которые расширяют его возможности и помогают быстрее двигаться в сложных областях науки.