OpenAI опубликовала большой архив математических результатов
В репозитории сейчас 722 рукописи, объединённые в 372 группы.
Для каждой работы опубликованы исходники, файлы для сборки, инструкции по цитированию и дополнительные материалы.
При этом OpenAI отдельно предупреждает, что формализация есть пока не у всех результатов и в непроверенных работах могут оставаться ошибки.
Отдельно компания выложила 10 сокращённых разборов того, как модель пришла к решениям. Среди тем есть оценка иррациональности числа π, гипотеза Малера, формула Мезара-Паризи, изоморфизм свободных групповых факторов и трёхмерная система Власова-Максвелла.
Всего модели дали около 4 000 открытых исследовательских задач. После отбора и объединения связанных результатов получился нынешний каталог. В среднем на один опубликованный результат уходило вычислительных ресурсов примерно столько же, сколько на три часа усиленного режима рассуждений в ChatGPT Pro.
Есть и отдельный репозиторий с полностью формализованными доказательствами десяти заметных результатов. Среди них улучшенные границы для упаковки сфер в пространствах высокой размерности, новые оценки для двоичных кодов, построение не-софической группы и контрпример к гипотезе Конна.
Модель, которая получила эти результаты, OpenAI пока публично не выпускает. Компания говорит, что работает над её отдельным релизом и параллельно будет обновлять репозиторий новыми формализациями и исправлениями.
В репозитории сейчас 722 рукописи, объединённые в 372 группы.
Для каждой работы опубликованы исходники, файлы для сборки, инструкции по цитированию и дополнительные материалы.
При этом OpenAI отдельно предупреждает, что формализация есть пока не у всех результатов и в непроверенных работах могут оставаться ошибки.
Отдельно компания выложила 10 сокращённых разборов того, как модель пришла к решениям. Среди тем есть оценка иррациональности числа π, гипотеза Малера, формула Мезара-Паризи, изоморфизм свободных групповых факторов и трёхмерная система Власова-Максвелла.
Всего модели дали около 4 000 открытых исследовательских задач. После отбора и объединения связанных результатов получился нынешний каталог. В среднем на один опубликованный результат уходило вычислительных ресурсов примерно столько же, сколько на три часа усиленного режима рассуждений в ChatGPT Pro.
Есть и отдельный репозиторий с полностью формализованными доказательствами десяти заметных результатов. Среди них улучшенные границы для упаковки сфер в пространствах высокой размерности, новые оценки для двоичных кодов, построение не-софической группы и контрпример к гипотезе Конна.
Модель, которая получила эти результаты, OpenAI пока публично не выпускает. Компания говорит, что работает над её отдельным релизом и параллельно будет обновлять репозиторий новыми формализациями и исправлениями.