Ещё не выпущенная модель OpenAI подготовила 722 математические работы

OpenAI открыла репозиторий с 722 математическими рукописями, подготовленными внутренней, пока не выпущенной моделью. Работы объединены в 372 семейства: в каждое входят связанные результаты, дополнительные доказательства или следствия.
Это отрывок статьи. Полную версию читайте на сайте источника по ссылке ниже.