OpenAI опубликовала архив математических результатов и исследований

OpenAI опубликовала большой архив математических результатов

В репозитории сейчас 722 рукописи, объединённые в 372 группы.

Для каждой работы опубликованы исходники, файлы для сборки, инструкции по цитированию и дополнительные материалы.

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

Отдельно компания выложила 10 сокращённых разборов того, как модель пришла к решениям. Среди тем есть оценка иррациональности числа π, гипотеза Малера, формула Мезара-Паризи, изоморфизм свободных групповых факторов и трёхмерная система Власова-Максвелла.

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

Есть и отдельный репозиторий с полностью формализованными доказательствами десяти заметных результатов. Среди них улучшенные границы для упаковки сфер в пространствах высокой размерности, новые оценки для двоичных кодов, построение не-софической группы и контрпример к гипотезе Конна.

Модель, которая получила эти результаты, OpenAI пока публично не выпускает. Компания говорит, что работает над её отдельным релизом и параллельно будет обновлять репозиторий новыми формализациями и исправлениями.