OpenAI опубликовала 700 ИИ-рукописей с решениями математических задач

Компания OpenAI опубликовала более 700 ИИ-рукописей, в которых утверждается наличие решений для открытых математических проблем. Математический блог собрал более 100 отзывов от исследователей, чья реакция варьируется от фасцинации до экзистенциального страха и скорби по утраченному методу работы.

Область академической математики столкнулась с беспрецедентным давлением со стороны алгоритмов. В числе отреагировавших оказался лауреат Филдсовской премии Уго Дюмини-Копен, который написал, что чувствует себя парализованным. Публикация такого массива автоматически созданных текстов ставит под сомнение традиционные подходы к ведению научных изысканий и проверке гипотез.

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