Google DeepMind представила ИИ, который помогает математикам открывать новые теоремы

Gadget found by AlphaEvolve for the reduction to MAX-4-CUT

Google DeepMind анонсировала AlphaEvolve — новую систему искусственного интеллекта ^[1], способную работать не как автоматический доказчик, а как партнёр-генератор идей. Сервис ориентирован на задачи из теоретической информатики и математики ^[2], где важна стопроцентная строгость.

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

4-регулярный граф Рамануджана с большим 2-разрезом, найденный AlphaEvolve

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

Знания из Википедии теперь проще использовать для ответов AI-моделей

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

Делегируйте часть рутинных задач вместе с BotHub! ^[3] Для доступа к сервису не требуется VPN и можно использовать российскую карту. По ссылке ^[4] вы можете получить 100 000 бесплатных токенов для первых задач и приступить к работе с нейросетями прямо сейчас!

Источник ^[5]

Автор: cognitronn

Источник ^[6]

Сайт-источник BrainTools: https://www.braintools.ru

Путь до страницы источника: https://www.braintools.ru/article/20221

URLs in this post:

[1] интеллекта: http://www.braintools.ru/article/7605

[2] математики: http://www.braintools.ru/article/7620

[3] BotHub!: https://bothub.chat/?utm%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C_source=contentmarketing&utm%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C_medium=habr&utm%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C_campaign=news&utm%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C%5C_content=GOOGLE%20DEEPMIND%20UNVEILS%20AI%20THAT%20HELPS%20MATHEMATICIANS%20DISCOVER%20NEW%20THEOREMS

[4] По ссылке: https://bothub.chat/?invitedBy=m_aGCkuyTgqllHCK0dUc7

[5] Источник: https://research.google/blog/ai-as-a-research-partner-advancing-theoretical-computer-science-with-alphaevolve/

[6] Источник: https://habr.com/ru/companies/bothub/news/952780/?utm_source=habrahabr&utm_medium=rss&utm_campaign=952780

Нажмите здесь для печати.