OpenAI вывалила 722 математические работы. Учёные в шоке
OpenAI на этой неделе опубликовала сотни математических результатов, заявив, что они могут «раздвинуть границы человеческих знаний». Речь о 722 работах, созданных в основном невыпущенной моделью ИИ, которые касаются 372 открытых проблем — от алгебры и геометрии до теоретической информатики. Часть статей уже отозвана или исправлена, а масштаб публикации вызвал шок в математическом сообществе. Эту информацию сообщает сайт Phys.org.
Некоторые работы претендуют на значительный прогресс в решении таких задач, как гипотеза Римана и гипотеза Берча — Свиннертон-Дайера. Каждая из них входит в список семи задач тысячелетия, за решение которых положен приз в 1 миллион долларов США. Однако доверия к публикации мало: коллега автора материала, попытавшись прочитать одну из работ, сказал, что она настолько невнятна, что как редактор журнала он бы её «выбросил в мусор». Даже собственная модель OpenAI ChatGPT назвала как минимум один результат «серьёзной галлюцинацией».
OpenAI уже отозвала три статьи из-за элементарной ошибки и исправила несколько других. Компания утверждает, что формализовала 300 основных результатов с помощью системы Lean, которая проверяет логику доказательств. Но эксперты напоминают: формализации тоже бывают ошибочными, и вопрос о том, примет ли сообщество эти работы, остаётся открытым.
Публикация может быть связана и с бизнес-интересами. В сентябре OpenAI уже выпустила спорное решение задачи Навье — Стокса, а математики Тристан Бакмастер и Левент Алпёге обвинили компанию в использовании их идей — OpenAI это отрицает. Кроме того, успехи в математике подкрепляют разговоры об искусственном общем интеллекте, что выгодно компании перед планируемым выходом на биржу с оценкой до 1,4 триллиона долларов США.
