🤩 Google DeepMind представила AlphaEvolve - ИИ для теоретической информатики и математики. В отличие от LLM, которые пытаются писать доказательства целиком и часто ошибаются, AlphaEvolve генерирует проверяемые «строительные блоки» (gadgets). Их можно алгоритмически проверить и использовать в более сложных конструкциях. Такой подход уже дал новые результаты, например, для задачи MAX-4-CUT и работы с графами Рамануджана, ускорив проверку гипотез до 10 000 раз по сравнению с классическими методами. AlphaEvolve становится «лабораторией идей» для математиков, помогая выдвигать гипотезы и экономить годы исследований.

👽 e·boot