Работа велась при поддержке независимой группы экспертов из Института перспективных исследований в Принстоне. Помимо самих доказательств, разработчики опубликовали десять примеров рассуждений модели, подробную статистику попыток и данные о вычислительных мощностях. В среднем на решение одной задачи уходило около трёх часов работы ChatGPT Pro в режиме глубокого размышления.
OpenAI открыла математические доказательства своей модели
Сотни формализованных теорем, сгенерированных топовой нейросетью OpenAI, теперь доступны в открытом доступе на GitHub. Компания выложила 722 математических результата, большинство из которых переведены на язык Lean — систему, позволяющую компьютерам проверять логическую безупречность каждого шага. Это первый шаг к публичной оценке интеллектуальных способностей ИИ в точных науках.
Публикация этих данных служит своего рода полигоном для оценки реальной математической компетенции нейросетей перед полноценным релизом самой модели. В компании рассчитывают, что накопленная база поможет математикам в будущих открытиях. Для обсуждения результатов OpenAI планирует запустить серию семинаров и профильных конференций, чтобы независимые ученые смогли проверить глубину и состоятельность предложенных ИИ теорем.
Комментарии (0)
Пока нет комментариев. Будьте первым!