Российские математики совместно с коллегами из Вьетнама создали систему, с помощью которой искусственный интеллект смог доказать более 30 новых теорем. Разработка позволяет нейросетям самостоятельно ставить математические задачи, находить способы их решения и проверять правильность полученных результатов.
Фото: Unsplash/Antoine Dautry
Как сообщил ТАСС со ссылкой на Институт искусственного интеллекта AIRI, система получила название LongTails. Ее главная особенность заключается в совместимости с различными ИИ-агентами и автоматической проверке математических доказательств.
Для этого используется язык программирования Lean, позволяющий выявлять ошибки в рассуждениях нейросетей. Это важно, поскольку искусственный интеллект способен создавать внешне убедительные доказательства, которые на самом деле содержат неточности.
По словам руководителя научной группы AIRI Александра Тюрина, за несколько дней система получила больше результатов, чем он сам за всю научную карьеру. В дальнейшем исследователи намерены усложнять задачи и добиваться практического применения найденных алгоритмов.
К настоящему времени ученые проработали около 100 теорем. Примерно в половине случаев удалось улучшить ранее известные математические результаты, а 35 новых результатов планируется оформить в виде отдельных научных публикаций.
На доказательство одной теоремы ИИ тратит в среднем от трех до семи часов.
Ранее Bzzz.news сообщал, что ученые выявили риски использования ИИ в высшем образовании.
