Le dépôt openai/math a retiré trois manuscrits après la découverte d'une erreur de signe dans l'article « Algebraicity of Weil classes on split abelian eightfolds ». Cette erreur invalide un argument d'annulation de trace de stabilisation et une construction utilisée par deux articles dépendants. Les manuscrits retirés sont « Algebraicity of Weil classes on split abelian eightfolds », « Algebraicity of Kuga–Satake Correspondences for K3 Surfaces » et « The rational Hodge conjecture for products of K3 surfaces ». Chacun porte désormais un avis expliquant la lacune et renvoyant au manuscrit archivé.
Quatorze autres manuscrits ont été révisés, avec des réparations de preuves, des énoncés corrigés, des hypothèses et dépendances plus claires, et la correction d'une citation obsolète. Quatre articles sur les hauteurs de Lipschitz et les courants d'Ashkin–Teller ont vu leurs arguments de croisement, d'attachement au bord, de conditionnement et de convergence réparés. Six articles sur les programmes de modèles minimaux kählériens et l'abondance ont développé leurs arguments de positivité et de contraction. Deux articles sur la déformation tamed et hypersymplectique ont corrigé une affirmation d'égalité de cônes et ajouté un exemple d'inclusion stricte.
En outre, treize manuscrits supplémentaires ont été mis à jour pour citer les éditions révisées d'articles complémentaires, avec des références et des dates de version modifiées. Les éditions publiées précédemment restent accessibles via les notes de version de chaque README.
Le dépôt a également ajouté six formalisations et cinq autres compléments de résultats. La part des résultats principaux formalisés s'élève désormais à 300 sur 719, soit environ 42 %.
Source: Hacker News · Résumé par HeadlinesBriefing