ИИ 9 октября 2026, 22:09 МСК

OpenAI опубликовала около 400 математических результатов, сгенерированных ИИ

OpenAI выложила почти 400 созданных ИИ результатов в более чем 700 рукописях; математики говорят, что на их осмысление уйдут годы, а проверены они не полностью.

По данным The Verge, которая поговорила более чем с тремя десятками математиков, результаты охватывают комбинаторику, геометрию, теорию чисел, алгебру, топологию, теорию вероятностей и другие области. Коллекция настолько объёмна, что OpenAI опубликовала инструкцию по навигации по репозиторию на GitHub. Даже просмотр оглавления и аннотаций на 40 страниц занял у некоторых около часа.

Степень проверки сильно различается. OpenAI признаёт, что результаты находятся «на разных стадиях верификации»: формализация в Lean сделана для 300 основных результатов из 719 рукописей, около 42%. Математики жалуются, что даже при наличии кода Lean нужно проверять, что он действительно доказывает заявленное, а качество бывает неровным.

Кевин Базард из Imperial College London отметил, что в его области выделились лишь около шести теорем, и вряд ли они формально проверены. Исследователи опасаются «слопа» и напоминают, что прежние работы OpenAI критиковали за слабое указание авторства. Многие боятся, что компания не станет ждать и выпустит ещё больше.

• Около 400 результатов в 719 рукописях
• Формализованы в Lean 300 основных результатов (~42%)