# OpenAI отозвала три математические статьи из-за ошибки в доказательстве

> 7 октября 2026 года OpenAI объявила об отзыве трёх статей по алгебраической геометрии: ошибка со знаком нарушила ключевые доказательства.

Oossa · 2026-10-08 · https://oossa.com/ru/openai-pulls-three-math-papers-after-proof-error-discovered

OpenAI сообщила, что отзывает три математические препринта после обнаружения ошибки со знаком в ключевом доказательстве. Из-за неё оказался неверным шаг с сокращением следа при стабилизации, что также ставит под сомнение два более поздних исследования, опиравшихся на этот результат. Отозваны следующие рукописи:
• Алгебраичность классов Вейля на расщеплённых абелевых многообразиях размерности 8
• Алгебраичность соответствий Куги — Сатаки для поверхностей K3
• Рациональная гипотеза Ходжа для произведений поверхностей K3
OpenAI добавила к статьям уведомления и ссылки на архивные версии, чтобы читатели могли увидеть пробел в доказательстве.

## Что ещё обновили?

Помимо отзыва статей, OpenAI исправила ещё 14 рукописей. Правки устраняют пробелы в доказательствах, уточняют гипотезы и исправляют ссылки на источники. Они затронули, в частности, высоты Липшица, минимальные модельные программы Кэлера и гиперсимплектические деформации. Ещё в 13 статьях обновили ссылки, указав пересмотренные версии связанных работ. Организация также добавила шесть новых формализаций: теперь формально проверены около 42 % основных результатов (300 из 719).

## Факты

- Об отзыве объявили 7 октября 2026 года.
- Три статьи отозвали из-за ошибки со знаком, которая сделала неверным аргумент о сокращении следа при стабилизации.
- OpenAI пересмотрела ещё 14 рукописей и обновила ссылки в 13 других статьях.
- Добавлены шесть новых формализаций; теперь формализовано около 42 % результатов.
- В отозванных статьях появились уведомления со ссылками на архивные версии.

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

Для математиков, следящих за работой OpenAI в области формальной верификации, отзыв означает, что в литературе обнаружился пробел, который может затронуть исследования, опиравшиеся на эти три результата. Теперь читатели могут увидеть, где именно возникла ошибка, и не строить дальнейшие доказательства на некорректном рассуждении. При этом сообщество получило исправленные 14 статей и новые формализации, повышающие надёжность математической библиотеки OpenAI.

## Источники и ссылки

1. [OpenAI Withdraws 3 Math Papers](https://github.com/openai/math/blob/main/history.md) – Hacker News, 2026-10-08
2. [OpenAI’s math solutions aren’t meeting the field’s standards yet](https://techcrunch.com/2026/10/08/openais-math-solutions-arent-meeting-the-fields-standards-yet/) – TechCrunch, 2026-10-08
3. [Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field](https://the-decoder.com/some-mathematicians-call-for-openai-boycott-after-ai-generated-proofs-flood-their-field/) – The Decoder, 2026-10-08
4. [OpenAI withdraws three mathematical results](https://twitter.com/danintheory/status/2108065033070789090) – Hacker News, 2026-10-08

Обновлено: 2026-10-08