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