Компания опубликовала каталог из 722 рукописей, сгруппированных в 372 семейства результатов, полученных внутренней передовой моделью. OpenAI предупреждает, что часть работ еще не прошла формальную проверку.
По сообщению OpenAI, во время оценки модели ей предложили около четырех тысяч открытых математических задач. После этого компания объединила связанные результаты и отобрала работы, которые сочла достаточно значимыми для публикации. Каталог охватывает несколько областей, включая алгебру, топологию, теорию чисел, теоретическую информатику и логику.
В каталоге 722 рукописи распределены по 372 семействам связанных результатов. Компания не назвала точное число отдельных решенных задач. Семейство может включать основной результат, его следствия, дополнительные аргументы или альтернативные доказательства, поэтому число рукописей не равно количеству самостоятельных задач.
OpenAI сообщила, что некоторые выводы пока не проверены, а не все работы формализованы в системе Lean. Компания отдельно предупредила, что непроверенные результаты могут содержать ошибки. Теперь опубликованные материалы должны изучить независимые специалисты. Сам факт размещения рукописей не означает, что каждое доказательство подтверждено математическим сообществом.
Новая подборка расширяет более раннее сообщение компании о результатах для открытых математических задач. Предыдущие заявления OpenAI, в том числе о решении уравнения Навье — Стокса, вызвали дискуссию о роли искусственного интеллекта и степени независимой проверки таких доказательств.