OpenAI сообщила, что отзывает три математические препринта после обнаружения ошибки со знаком в ключевом доказательстве. Из-за неё оказался неверным шаг с сокращением следа при стабилизации, что также ставит под сомнение два более поздних исследования, опиравшихся на этот результат. Отозваны следующие рукописи: • Алгебраичность классов Вейля на расщеплённых абелевых многообразиях размерности 8 • Алгебраичность соответствий Куги — Сатаки для поверхностей K3 • Рациональная гипотеза Ходжа для произведений поверхностей K3 OpenAI добавила к статьям уведомления и ссылки на архивные версии, чтобы читатели могли увидеть пробел в доказательстве.
Что ещё обновили?
Помимо отзыва статей, OpenAI исправила ещё 14 рукописей. Правки устраняют пробелы в доказательствах, уточняют гипотезы и исправляют ссылки на источники. Они затронули, в частности, высоты Липшица, минимальные модельные программы Кэлера и гиперсимплектические деформации. Ещё в 13 статьях обновили ссылки, указав пересмотренные версии связанных работ. Организация также добавила шесть новых формализаций: теперь формально проверены около 42 % основных результатов (300 из 719).
Почему это важно
Для математиков, следящих за работой OpenAI в области формальной верификации, отзыв означает, что в литературе обнаружился пробел, который может затронуть исследования, опиравшиеся на эти три результата. Теперь читатели могут увидеть, где именно возникла ошибка, и не строить дальнейшие доказательства на некорректном рассуждении. При этом сообщество получило исправленные 14 статей и новые формализации, повышающие надёжность математической библиотеки OpenAI.
