OpenAI опубликовала 722 новые математические работы, полученные в рамках масштабной попытки решить около 4000 открытых задач из разных областей математики с помощью своей внутренней ИИ-модели.

В среднем на получение каждого результата уходил объем вычислений, сопоставимый примерно с тремя часами работы ChatGPT Pro в режиме глубокого рассуждения.

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

В итоге ученым пришлось признать, что масштаб результатов работы ИИ огромен: весь массив новых материалов можно сопоставить примерно с десятилетием (!) публикаций Annals of Mathematics — одного из самых престижных математических журналов