OpenAI публикует математические рукописи, значимость которых ещё предстоит оценить

OpenAI объявляет о публикации новых результатов по открытым математическим проблемам, полученных с помощью передовой внутренней модели, а также о размещении доказательств, формализованных на Lean, и подробностей исследования на GitHub. The Verge описывает набор из 722 рукописей, объединённых в 372 семейства результатов и созданных неопубликованной моделью. По оценке AGMAI, независимой консультативной группы, созданной для сопровождения их обнародования, этот набор включает решения сотен открытых вопросов.

Эта оценка остаётся позицией группы. Заявленного объёма недостаточно, чтобы установить корректность каждого доказательства или измерить значимость каждого результата. The Verge подчёркивает, что математическому сообществу ещё предстоит изучить и осмыслить эти работы.

AGMAI опубликовала первые рекомендации в конце сентября, призвав к быстрому распространению и к использованию устоявшихся академических каналов, когда это возможно. Группа также требует информации о модели, использованных инструкциях и вычислительных затратах. Она не рекомендует превращать эти публикации в рекламные материалы.

OpenAI сообщает об использовании репозитория GitHub с процедурами пересмотра статей и цитирования. По данным The Verge, документы включают, в частности, краткие изложения рассуждений модели, оценки вычислительных затрат и статистику по задачам, которые модель пыталась решить. Теперь задача состоит в том, чтобы разграничить заявленные решения, их проверку и научный вклад. Опубликованная информация может облегчить эту оценку, но не заменить её выводы.