новость Прогресс ИИ в математике: OpenAI публикует новые результаты и доказательства

[Baki]

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

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

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

Чтобы сделать прогресс ИИ в математике более прозрачным, OpenAI раскрывает дополнительные сведения о процессе получения результатов. Среди них — десять сводок рассуждений модели, статистика по числу задач, которые она пыталась решить, и оценки вычислительных затрат в пересчёте на использование ChatGPT Pro. В среднем на один результат потребовался объём вычислений, сопоставимый примерно с тремя часами работы ChatGPT Pro в режиме рассуждения.

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

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