Недавно OpenAI опубликовала 722 рукописи с решениями давних математических задач, созданными ИИ. Работы выложили в открытый доступ на прошлой неделе. Математики считают, что на проверку такого потока результатов могут уйти годы, и опасаются, что из-за отсутствия понятных рассуждений на этих работах будет трудно строить дальнейшие исследования.
Почему математическое сообщество обеспокоено
Название модели ИИ, создавшей доказательства, не раскрывается, однако специалисты уже пытаются проверить заявленные результаты. Эксперты отмечают: если решение перескакивает от условия задачи сразу к ответу и не показывает промежуточных шагов, от него мало пользы. Не зная, как получен результат, исследователи не могут развивать новые теории или использовать эти выводы как основу для дальнейшей работы.
Почему это важно
Для всех, кто опирается на математические исследования, — студентов, инженеров и учёных — внезапный поток непроверенных доказательств может замедлить прогресс: каждый результат, возможно, потребует тщательной проверки человеком. Кроме того, возникает вопрос, как будут оценивать достоверность открытий, созданных ИИ, и применять их на практике.
