Репозиторий openai/math отозвал три рукописи после того, как в статье «Algebraicity of Weil classes on split abelian eightfolds» была обнаружена ошибка в знаке. Эта ошибка делает недействительными аргумент сокращения следа стабилизации и конструкцию, использованную в двух зависимых статьях. Отозванными рукописями стали «Algebraicity of Weil classes on split abelian eightfolds», «Algebraicity of Kuga–Satake Correspondences for K3 Surfaces» и «The rational Hodge conjecture for products of K3 surfaces». Теперь на каждой из них есть уведомление, объясняющее пробел, со ссылкой на архивную рукопись.
Еще четырнадцать рукописей были пересмотрены: в них исправлены доказательства, уточнены формулировки, гипотезы и зависимости, а также исправлена одна устаревшая ссылка. В четырех статьях о высотах Липшица и токах Ашкина–Теллера были исправлены аргументы о пересечениях, присоединении к границе, условиях и сходимости. В шести статьях о программах минимальных моделей на кэлеровых многообразиях и об изобилии расширены аргументы о положительности и стягивании. В двух статьях о таминге и гиперсимплектической деформации исправлено утверждение о равенстве конусов и добавлен пример строгого включения.
Кроме того, тринадцать дополнительных рукописей обновлены, чтобы ссылаться на пересмотренные издания сопутствующих статей; изменены ссылки и даты версий. Ранее опубликованные издания по-прежнему доступны через примечания к версиям в каждом README.
Также в репозиторий добавлены шесть формализаций и пять других вспомогательных дополнений. Доля формализованных основных результатов теперь составляет 300 из 719, примерно 42%.
Источник: Hacker News · Сводку подготовил HeadlinesBriefing