Главная / Лента

719 математических работ от ИИ OpenAI: что заявлено, что проверено и что уже отозвано

ИИУровень: Все уровни

Материал подготовлен с помощью ИИ и проверен по первоисточникам · обновлено 8 октября 2026 · 4 мин чтения

Первоисточник: OpenAI (GitHub) · событие 6 октября 2026

Короткий ответ: 6 октября 2026 года OpenAI открыла на GitHub репозиторий openai/math с математическими работами, которые написала её невыпущенная внутренняя модель. На 08.10 в нём 719 работ в 372 «семействах», из них около 42% (300) снабжены формальной проверкой в системе Lean. Среди заявленных результатов — «квази-гипотеза Римана» (у дзета-функции нет нулей правее Re s = 7/8) и гипотеза Ходжа для CM-абелевых многообразий. 7 октября OpenAI отозвала три работы из-за ошибки в знаке и исправила ещё 14. Независимого подтверждения главных результатов пока нет.

Главное:

• Масштаб: модели дали около 4 000 задач, в среднем три часа вычислений режима ChatGPT Pro на результат; 719 работ, 372 семейства.
• Проверено машиной: 300 из 719 работ (~42%) формализованы в Lean, включая основную теорему о «квази-гипотезе Римана».
• Не проверено машиной: гипотеза Ходжа для CM-абелевых многообразий, гипотеза Бёрча — Суиннертон-Дайера для частного случая, десятая проблема Гильберта над рациональными числами.
• Уже исправлено: 7 октября отозваны три работы (две по гипотезе Ходжа для поверхностей K3 и одна о классах Вейля), ещё 14 переписаны.
• Спрос в России: «нейросеть решает задачи» — 9 421 запрос в месяц, «нейросеть математика» — 2 367 (Вордстат, 08.10.2026).

Что произошло

По описанию в репозитории, почти все результаты получены одной и той же процедурой: внутренней модели OpenAI дали около 4 000 открытых задач, ответы сгруппировали в семейства, отобрали значимые и оформили как статьи. Исключения — работы о нулях дзета-функции и о гипотезе Ходжа; текст доказательства для полуплоскости Re s > 11/12 люди отредактировали для читаемости. Название модели не раскрыто.

В списке заявленных результатов — задачи, над которыми математики работали десятилетиями: иррациональность постоянной Каталана, «показатель иррациональности числа π равен 2», гипотеза Гольдфельда, отрицательный ответ на десятую проблему Гильберта над ℚ, обратная гипотеза Гольдбаха (Остманна), гипотеза Делиня — Дринфельда. Репозиторий открыт по лицензии Apache-2.0.

Таблица — наша сводка по файлам репозитория (CONTENTS.md, history.md, документация Lean).

Почему это важно

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

Ключевой вопрос — проверка. Lean подтверждает, что каждый шаг формального доказательства логически верен, но не отвечает на вопрос, точно ли формальная формулировка совпадает с той задачей, которую считают открытой. У 58% работ нет и такой проверки, и OpenAI прямо пишет, что в неформализованных результатах «могут быть проблемы». Первые проблемы нашлись за сутки: три работы отозваны самой OpenAI.

Что это значит для читателя

Модель, которая писала эти работы, недоступна никому — ни в России, ни за рубежом. Но вывод для обычного пользователя практический: даже лучшая модель OpenAI при трёх часах вычислений на задачу ошибается, и ошибки ловят только проверкой. Это то же правило, что для школьной и студенческой математики с публичными нейросетями: требуйте ход решения и проверяйте ответ подстановкой — приёмы собраны в разборе нейросеть решает задачи.

Для российских математиков репозиторий открыт: работы и формализации можно скачать с GitHub и проверить. Судя по числу запросов «нейросеть решает задачи» (9 421 в месяц), тема ИИ в математике в России — массовая, а не только академическая.

Честное ограничение. Мы не математики и не проверяли доказательства — пересказываем то, что заявляет OpenAI в репозитории, и отмечаем, что подтверждено машинной проверкой. В прессе фигурирует число 722 работы; в репозитории на 08.10 — 719, разница совпадает с тремя отозванными. Блог-пост OpenAI о релизе нашим инструментам открыть не удалось (защита сайта отвечает кодом 403), поэтому источник — сам репозиторий.

Читать рядом: Нейросеть решает задачи: что работает, а что врёт · OpenAI остановила работу самых мощных моделей · GPT-6 пришла в бесплатный ChatGPT

Материал носит информационный характер и не является финансовой, юридической или инвестиционной рекомендацией и публичной офертой. Цены и условия верны на дату проверки 8 октября 2026 и могут измениться — сверяйте их на сайте сервиса перед оплатой. Решения вы принимаете самостоятельно. Правовая информация.

Частые вопросы