OpenAI опубликовала на GitHub 722 математические работы от своей новой модели

Материалы объединены в 372 тематических семейства. Исследование провели на базе около 4000 открытых задач после исчерпания прежних бенчмарков. Для генерации большинства решений требовалось в среднем около трёх часов вычислений в режиме глубоких рассуждений. В каталог вошли продвижения по гипотезе Ходжа для абелевых многообразий, области без нулей дзета-функции Римана и гипотезе Хота. Часть доказательств формализована на специализированном языке верификации Lean, а для десяти задач компания раскрыла сокращённый ход рассуждений модели.

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

Публикация вызвала разногласия с научным сообществом. Как передаёт 3DNews со ссылкой на издание Wired, в августе на встрече с представителями OpenAI около 40 математиков рекомендовали оформить результаты в виде полноценных академических статей с описанием методов, а не ограничиваться репозиториями и социальными сетями. В компании заявили о намерении профинансировать серию конференций и семинаров для изучения данных, а также предоставить доступ к самой модели исследователям после завершения проверок безопасности.