OpenAI опубликовала математические работы, подготовленные с помощью ИИ

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

В некоторых работах авторы заявляют о существенном продвижении в решении известных математических проблем. Публикация этих материалов сама по себе ещё не подтверждает правильность предложенных доказательств.

OpenAI уже отозвала три статьи из-за элементарной ошибки и исправила несколько других из-за ошибок, которые сделали результаты недействительными. По оценке автора Monash Lens, это свидетельствует о недостаточной проверке материалов перед публикацией.

По словам автора материала Monash Lens, его коллега счёл одну из работ непонятной и заявил, что отклонил бы её как редактор математического журнала. OpenAI утверждает, что формализовала 300 основных результатов: записала доказательства в форме, позволяющей программам проверить каждый логический шаг. В прошлом в формализациях, созданных ИИ, уже обнаруживали ошибки. Пока неясно, примет ли математическое сообщество формализации OpenAI.

Окончательная оценка заявленных результатов будет зависеть от экспертной проверки. Разбор длинных технических работ может занимать годы.

Ранее по теме: Искусственный интеллект OpenAI совершил прорыв в математике, информатике и физике

Источник: Monash University