OpenAI разместила в открытом репозитории на GitHub пакет из 722 математических работ. Они сгруппированы в 372 семейства результатов, объединяющие связанные выводы. По словам компании, исследования выполнены с помощью ещё не выпущенной передовой модели и содержат решения «сотен» открытых задач — такую оценку дала независимая группа математиков-консультантов (AGMAI). OpenAI также опубликовала краткие сводки рассуждений, оценки вычислительных затрат и данные о количестве рассмотренных задач.
Как организована публикация
OpenAI сообщила, что для каждой работы в репозитории будет предусмотрен протокол внесения исправлений и цитирования. Компания заявила, что продолжит изучать варианты публикации на площадках, поддерживаемых сообществом и соответствующих рекомендациям AGMAI. Созданная ранее в этом году консультативная группа призывала лаборатории, работающие над ИИ, публиковать результаты в признанных академических изданиях и не использовать научные прорывы в маркетинговых целях.
Почему это важно
Для математиков эти работы представляют собой большой массив новых результатов, которые предстоит проверить и которые могут ускорить исследования в некоторых областях. Для широкой публики публикация показывает, как ИИ может находить формальные математические решения, но также поднимает вопросы о том, как такие результаты следует атрибутировать и проверять, прежде чем использовать.
