10:3414.10
Исследования
OpenAI опубликовала математические результаты и формализации в Lean
OpenAI 6 октября опубликовала подборку математических результатов, полученных с участием внутренней передовой модели. Материалы размещены в репозитории GitHub вместе с правилами исправления работ и…