Модель OpenAI решила тысячи математических задач

Внутренняя модель OpenAI продемонстрировала выдающиеся результаты в области математики, решив тысячи сложных задач за ограниченное время.

Результаты работы модели

Компания опубликовала итоги тестирования своей неназванной внутренней нейросети. Система получила доступ к базе из примерно 4000 математических задач различной сложности.

Итогом вычислений стала генерация 722 рукописей с доказательствами или решениями. Эти материалы охватывают 372 различных научных направления и темы.

Среднее время, затраченное на получение одного результата, составило около трех часов. Вычисления проводились на уровне производительности ChatGPT Pro.

Проверка и реакция сообщества

Опубликованные результаты сейчас проверяются ведущими специалистами мира. Математики выражают скепсис, отмечая, что полноценные научные публикации требуют детальных статей, а не кратких отчетов.

Доступ к исходным данным

Все полученные рукописи и формализации доказательств доступны на GitHub. Там же размещены Lean-формализации части представленных решений для независимой верификации.