El equipo de OpenAI ha retirado tres manuscritos matemáticos debido a un error de signo que invalida un argumento de cancelación de trazas de estabilización y la construcción utilizada por dos trabajos dependientes. Los documentos afectados 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'. Estos archivos ahora incluyen avisos que explican la brecha técnica y enlazan a las versiones archivadas.
Paralelamente, el equipo ha revisado 14 manuscritos adicionales para corregir errores en las pruebas, aclarar hipótesis y dependencias, y eliminar una cita obsoleta. Las correcciones abarcan áreas como las alturas de Lipschitz y corrientes Ashkin–Teller, programas de modelos mínimos kählerianos, deformaciones hipersimplecticas y el transporte de cajas incompresibles. Además, se han actualizado 13 manuscritos complementarios para referirse a las ediciones revisadas de sus trabajos asociados.
En cuanto a la formalización, se han añadido seis formalizaciones y cinco otras adiciones que cubren resultados de apoyo. Esto eleva la proporción de resultados principales formalizados al 42% (300 de 719). Esta actualización refleja la gestión rigurosa de la documentación técnica en el repositorio de matemáticas de OpenAI, asegurando la precisión y la trazabilidad de los resultados científicos.