OpenAI опубликовала математические результаты внутренней модели ИИ и открыла их для проверки

Материалы включают сами задачи, предложенные решения и вспомогательные данные, с которыми может работать любой исследователь. Значительная часть доказательств уже переведена на язык Lean, который позволяет проверять математические рассуждения программно. Компания сообщила, что формализации для новых результатов будут добавляться по мере готовности.

Вместе с результатами OpenAI раскрыла 10 резюме о ходе рассуждений модели, оценки вычислительных ресурсов и статистику по числу разобранных задач. По словам компании, в среднем на один результат ушло около трёх часов работы ChatGPT Pro.

Как готовилась публикация

Перед публикацией OpenAI консультировалась с независимой группой при Институте перспективных исследований, которая занимается вопросами математики и ИИ. Цель консультаций, по словам компании, была помочь выработать ответственный подход к публикации математических результатов, полученных с помощью продвинутых ИИ-систем.

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

Значение для науки

Математика удобна для оценки возможностей ИИ, потому что результаты можно проверить строгими методами: рецензированием, вычислительной проверкой или формальными системами доказательств вроде Lean. По словам OpenAI, публикация является частью её усилий по пониманию того, где передовые модели ИИ могут помочь в задачах, требующих длительных рассуждений и экспериментов.

Компания также заявила, что работает над ответственным выпуском внутренней модели, которая получила эти результаты.