Компания OpenAI опубликовала 722 математические работы, созданные нейросетью, 6 октября 2026 года. Документы разместили в репозитории GitHub. Модель претендовала на решение около 4000 нерешенных задач, включая гипотезы из списка Премии тысячелетия.
Уже 7 октября три работы были отозваны. Причиной стала ошибка знака в одном из доказательств по алгебраической геометрии. Эта неточность сделала неверными аргументы в двух других связанных материалах.
После правок в каталоге осталось 719 публикаций. OpenAI сообщила, что 300 из них, что составляет около 42%, прошли формальную проверку с помощью системы Lean. Остальные работы такой верификации не имеют.
Проект был подготовлен при участии Консультативной группы по математике и искусственному интеллекту. Исследователи критикуют закрытый характер модели, так как сторонние специалисты не могут проверить процесс генерации доказательств.
Ранее компания уже сталкивалась с претензиями математического сообщества. OpenAI отозвала спонсорскую поддержку конкурса по ИИ-математике в Калтехе на сумму $1 миллион после того, как 771 математик выступил с критикой.
