OpenAI столкнулась с критикой части математического сообщества после публикации огромного массива результатов, полученных ещё не выпущенной публично ИИ-моделью. Компания первоначально разместила 722 рукописи, объединённые в 372 группы связанных результатов. В них представлены предполагаемые решения и существенные продвижения по сотням открытых математических задач, однако значительная часть материалов ещё не прошла полноценную формальную и экспертную проверку.
Масштаб публикации оказался необычным даже для современной математики. Материалы охватывают комбинаторику, теорию чисел, геометрию, алгебру, топологию, вероятность, теоретическую информатику, математическую физику и другие направления. OpenAI сообщила, что внутренняя модель пыталась работать более чем с четырьмя тысячами задач, а получение одного типичного результата требовало вычислительных ресурсов, сопоставимых примерно с тремя часами работы ChatGPT Pro в режиме углублённого рассуждения.
Одной из главных претензий стало то, что объём опубликованной работы значительно превышает возможности математического сообщества быстро её проверить. Формализация с помощью системы доказательств Lean присутствовала далеко не для всех материалов. После публикации OpenAI сообщала примерно о 300 формализованных основных результатах, тогда как общее количество рукописей после первых исправлений составляло 719. Это означает, что большая часть текстов всё ещё требует традиционного анализа специалистами.
Первые проверки уже выявили проблемы. OpenAI вносила исправления более чем в десяток рукописей, а три работы были удалены после обнаружения ошибки в знаке, которая делала соответствующий аргумент недействительным. Некоторые математики также обращали внимание на сложность изложения, недостаточную проработку ссылок на предыдущие исследования и ситуации, когда формально проверяемое утверждение не полностью соответствовало более широким выводам, заявленным в сопровождающем тексте.
При этом реакцию научного сообщества нельзя назвать исключительно отрицательной. Многие исследователи признают, что среди опубликованных результатов присутствуют чрезвычайно серьёзные работы. Специалисты выделяют продвижение в направлениях, связанных с гипотезой Римана, частным случаем гипотезы Ходжа, четырёхмерной задачей Какея и другими известными проблемами. Некоторые результаты, если они подтвердятся после полноценной проверки, по своему уровню могли бы соответствовать исследованиям, способным обеспечить математику выдающуюся научную карьеру.
Основное недовольство связано не столько с использованием ИИ, сколько со способом публикации результатов. Консультативная группа по математике и искусственному интеллекту AGMAI призывает лаборатории раскрывать используемые модели, запросы к ним и вычислительные затраты, по возможности формализовать доказательства и выпускать результаты через привычные научные механизмы. Специалисты также выступают против ситуации, когда закрытые модели создают огромный поток результатов, а основная работа по их проверке фактически переносится на независимых учёных.
OpenAI выполнила часть рекомендаций: компания раскрыла больше технической информации, ввела историю исправлений и заявила о планах финансировать конференции и семинары, которые помогут исследователям разобраться в новых результатах. Однако название использованной модели и полный набор запросов компания не раскрыла. OpenAI также дала понять, что продолжит проверять свои передовые системы на сложных задачах математики и других наук, поскольку рассматривает такие эксперименты как способ ускорить создание новых исследовательских инструментов.
Для математиков ситуация создаёт одновременно новые возможности и серьёзную нагрузку. По оценкам некоторых специалистов, на полноценное изучение опубликованного массива могут потребоваться годы. Исследователям предстоит не только установить корректность каждого доказательства, но и понять его значение, связать результат с существующими работами и определить, действительно ли ИИ решил новую задачу или независимо воспроизвёл уже известные идеи. Поэтому публикация OpenAI стала не столько окончательным набором математических открытий, сколько началом масштабной проверки того, насколько современные ИИ-модели способны самостоятельно заниматься передовой наукой.