OpenAI отзывает три статьи по математике, созданные ИИ, из-за ошибки в знаке

6 октября 2026 года OpenAI выпустила 722 статьи по математике, созданные ИИ, но уже 7 октября три из них были отозваны. Отзыв был вызван обнаружением ошибки в знаке в одном из доказательств, что подорвало ключевые аргументы в двух связанных рукописях.

Первоначальный выпуск, размещенный в репозитории OpenAI на GitHub, включал статьи, сгруппированные в 372 семейства результатов, которые касались около 4000 нерешенных математических задач и заявляли о достижениях в нескольких давних гипотезах, включая некоторые задачи Миллениум-приза. Сообщается, что на каждое доказательство потребовалось около трех часов вычислительного времени.

Ошибочное доказательство происходило из области алгебраической геометрии, где одна ошибка в знаке может аннулировать целый логический аргумент. После отзыва исправленный каталог теперь содержит 719 статей. OpenAI уточнила, что математические утверждения сами по себе не были опровергнуты.

Из оставшихся статей 300 были формально проверены с использованием Lean, помощника по доказательствам, который проверяет доказательства шаг за шагом, что составляет около 42% от общего числа. Критики выразили обеспокоенность по поводу закрытого характера модели, использованной для генерации этих статей, так как это ограничивает возможность внешних исследователей проверять или воспроизводить результаты.

Этот инцидент стал еще одной точкой трения между OpenAI и математическим сообществом, после предыдущих споров, включая отзыв спонсорства в размере 1 миллиона долларов от конкурса по математике ИИ в Калтехе после критики со стороны математиков.