Российский ИИ-агент доказал 35 теорем за несколько дней

Российские ученые разработали платформу LongTails, которая самостоятельно формулирует задачи математической оптимизации, подбирает способы их решения и формально проверяет доказательства. Система создана специалистами Института AIRI совместно со студентом из Вьетнама Куок Вьетом.

С помощью ИИ исследователи рассмотрели около 100 теорем. В 50 случаях система доказала, что алгоритмы способны работать быстрее и точнее, чем предполагалось ранее. Еще 35 результатов оказались настолько необычными, что ученые планируют подготовить по ним отдельные публикации для крупных международных журналов. На доказательство одной теоремы агенту в среднем требуется от трех до семи часов.

Руководитель научной группы AIRI Александр Тюрин отметил, что за несколько дней платформа доказала больше результатов, чем он сам за всю карьеру. Команда намерена усложнять задачи и проверять практическую пользу найденных алгоритмов.

Однако у технологии есть ограничения. Эксперты предупреждают: система может безошибочно доказать утверждение, основанное на неправильно сформулированной задаче. Кроме того, формально корректное доказательство не всегда понятно человеку и не обязательно дает новое научное понимание.

Специалисты считают, что ИИ сможет взять на себя вычисления, проверку гипотез и технический поиск. При этом постановка значимых задач, оценка результатов и разработка новых научных подходов останутся за людьми. Использование таких платформ в образовании также требует баланса: молодым математикам важно продолжать самостоятельно учиться строить доказательства, сообщает "Самара Онлайн 24".