OpenAI 6 октября опубликовала подборку математических результатов, полученных с участием внутренней передовой модели. Материалы размещены в репозитории GitHub вместе с правилами исправления работ и цитирования.
Для многих доказательств представлены формализации на Lean — языке, позволяющем проверять математические доказательства компьютером. Компания заявила, что будет добавлять новые формализации по мере их подготовки.
В репозитории также опубликованы сведения о процессе: краткие описания рассуждений, оценки затраченных вычислений и статистика попыток решения задач. OpenAI сообщила о консультациях с независимой группой AGMAI. Публикация результатов не равнозначна объявлению общедоступного релиза модели, которая их получила.
Первоисточник: OpenAI — Sharing AI progress in mathematics. Дата публикации источника: .