Исследователи из Института AIRI разработали вместе с вьетнамским студентом Куок Вьетом систему LongTails, способную самостоятельно формулировать математические задачи, выбирать методы их решения и проверять доказательства. На одну теорему ИИ в среднем затрачивает от трех до семи часов.
За время работы платформы ученые рассмотрели около ста теорем. В 50 случаях система показала, что алгоритмы могут работать быстрее и точнее, чем считалось ранее. Еще 35 результатов исследователи планируют оформить в отдельные статьи для международных научных журналов.
Руководитель научной группы AIRI Александр Тюрин рассказал, что за несколько дней агент доказал больше результатов, чем он сам за всю карьеру. Команда собирается продолжить исследования, постепенно усложняя задачи и проверяя практическую применимость алгоритмов.
Эксперты обращают внимание на ограничения технологии. Даже математически правильное доказательство может оказаться бесполезным, если исходная задача сформулирована некорректно. Кроме того, сложные рассуждения ИИ не всегда доступны для понимания человека, что затрудняет применение результатов в других исследованиях.
По мнению специалистов, такие инструменты смогут взять на себя вычисления, проверку гипотез и поиск технических решений. Однако определять научную значимость задач, объяснять результаты и создавать новые концепции по-прежнему будут люди. При этом будущим математикам важно не терять навыки самостоятельного построения доказательств.
Ученые рассматривают ИИ как помощника, который ускоряет исследовательскую работу, но не заменяет специалиста. Для эффективного использования подобных систем необходимо уметь правильно ставить задачи и критически оценивать полученные ответы, сообщает "Самара Онлайн 24".