Компания OpenAI опубликовала около 400 математических результатов, распределенных по более чем 700 рукописям. Работы охватывают такие дисциплины, как теория чисел, геометрия, комбинаторика и математическая физика. Для навигации по массиву данных компания предоставила оглавление и аннотации.
На текущий момент верификация результатов не завершена. OpenAI подтвердила, что формализовано с помощью языка программирования Lean лишь 300 из 719 рукописей, что составляет около 42 процентов от общего объема. Компания обязалась обновлять репозиторий по мере появления новых формализованных доказательств.
Математическое сообщество выразило обеспокоенность качеством материалов и отсутствием надлежащего цитирования. Ряд исследователей отметили сложность восприятия текстов и проблемы с атрибуцией авторов. На данный момент OpenAI уже отозвала три статьи из опубликованного списка.
Несмотря на критику, эксперты выделили ряд высококачественных результатов. Среди них — прогресс в решении гипотезы Римана, частный случай гипотезы Ходжа и решение четырехмерной гипотезы Какеи. По мнению некоторых математиков, часть работ соответствует уровню публикаций в ведущих научных журналах.
Публикация вызвала серьезные изменения в академической среде. Исследователи сообщают, что некоторые их текущие проекты и грантовые заявки потеряли актуальность из-за появления этих результатов. Наиболее сильное влияние ощущается в таких областях, как теория вероятностей, комбинаторика и теоретическая информатика.
