Компания OpenAI опубликовала 722 научных материала, распределенных по 372 семействам результатов. Работы охватывают теорию чисел, алгебраическую геометрию и теоретическую информатику. Все данные сгенерированы внутренней нейросетью, которую компания не представила публике, протестировав её на 4000 задач.
По состоянию на начало октября 2026 года около 300 результатов, что составляет 42%, снабжены формализацией в системе Lean. Это программное обеспечение для автоматической проверки логических шагов доказательств. Сразу после публикации три рукописи были отозваны из-за обнаруженных ошибок.
Проект реализовывался при участии консультативной группы из Института перспективных исследований, учитывавшей отзывы сотен математиков. Хотя некоторые материалы затрагивают задачи тысячелетия, включая гипотезу Римана, OpenAI не заявляет о полном решении ни одной из них.
В сентябре 2026 года OpenAI сообщала о прогрессе в работе над уравнениями Навье-Стокса, задействовав около 10 000 ИИ-агентов в течение 88 часов. Критики указывают на проблемы с проверяемостью результатов, так как компания не раскрыла параметры модели и использованные промпты.
