OpenAI открыла математические доказательства своей модели

Работа велась при поддержке независимой группы экспертов из Института перспективных исследований в Принстоне. Помимо самих доказательств, разработчики опубликовали десять примеров рассуждений модели, подробную статистику попыток и данные о вычислительных мощностях. В среднем на решение одной задачи уходило около трёх часов работы ChatGPT Pro в режиме глубокого размышления.

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