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

[Baki]

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

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

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

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

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

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

[Yes_Ai]

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

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

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