El repositorio openai/math ha retirado tres manuscritos después de que se encontrara un error de signo en el artículo «Algebraicity of Weil classes on split abelian eightfolds». El error invalida un argumento de cancelación de traza de estabilización y una construcción utilizada por dos artículos dependientes. Los manuscritos retirados son «Algebraicity of Weil classes on split abelian eightfolds», «Algebraicity of Kuga–Satake Correspondences for K3 Surfaces» y «The rational Hodge conjecture for products of K3 surfaces». Cada uno incluye ahora un aviso que explica la laguna y enlaza con el manuscrito archivado.
Catorce manuscritos más han recibido revisiones, que incluyen reparaciones de demostraciones, enunciados corregidos, hipótesis y dependencias más claras, y una corrección de una cita obsoleta. Cuatro artículos sobre alturas de Lipschitz y corrientes de Ashkin–Teller tenían argumentos de cruce, unión con la frontera, condicionamiento y convergencia que fueron reparados. Seis artículos sobre programas minimales de modelos kählerianos y abundancia ampliaron sus argumentos de positividad y contracción. Dos artículos sobre taming y deformación hipersimpléctica corrigieron una afirmación de igualdad de conos y añadieron un ejemplo de inclusión estricta.
Además, 13 manuscritos adicionales se actualizaron para citar las ediciones revisadas de artículos complementarios, cambiando referencias y fechas de versión. Las ediciones publicadas anteriormente siguen accesibles mediante las notas de versión de cada README.
El repositorio también añadió seis formalizaciones y cinco otras adiciones de apoyo. La proporción de resultados principales formalizados es ahora de 300 de 719, aproximadamente un 42 %.
Fuente: Hacker News · Resumido por HeadlinesBriefing