Gadget found by AlphaEvolve for the reduction to MAX-4-CUT
Google DeepMind анонсировала AlphaEvolve — новую систему искусственного интеллекта, способную работать не как автоматический доказчик, а как партнёр-генератор идей. Сервис ориентирован на задачи из теоретической информатики и математики, где важна стопроцентная строгость.
В отличие от привычных LLM, которые пытаются писать доказательства целиком (что почти всегда приводит к ошибкам и галлюцинациям), AlphaEvolve действует иначе. Модель не строит полные решения, а предлагает небольшие строительные блоки (gadgets), которые можно проверить алгоритмически. Если блок работает, его можно включить в более крупную конструкцию, что резко ускоряет поиск новых результатов.
4-регулярный граф Рамануджана с большим 2-разрезом, найденный AlphaEvolve
Эта стратегия уже принесла первые открытия. AlphaEvolve предложила новую конструкцию для задачи MAX-4-CUT — сложной вариации классической задачи MAX-CUT из комбинаторной оптимизации. Система также помогла установить более сильные нижние границы для задач на случайных графах, включая работу с графами Рамануджана, а проверка теоретических гипотез в таком режиме оказалась до 10 000 раз быстрее традиционных методов.
Знания из Википедии теперь проще использовать для ответов AI-моделей
По сути, AlphaEvolve превращает искусственный интеллект в «лабораторию идей» для математиков: он не заменяет строгую проверку, а экономит годы работы, перебирая варианты и выдвигая гипотезы, которые человек мог бы даже не рассмотреть. Такой подход может радикально ускорить развитие алгоритмов и методов, а в перспективе — стать стандартом в научной работе, где ценится не только скорость, но и надёжность.
Делегируйте часть рутинных задач вместе с BotHub! Для доступа к сервису не требуется VPN и можно использовать российскую карту. По ссылке вы можете получить 100 000 бесплатных токенов для первых задач и приступить к работе с нейросетями прямо сейчас!
Источник
Источник: habr.com