OpenAI a annoncé le retrait de trois prépublications mathématiques après la découverte d’une erreur de signe dans une démonstration centrale. Cette erreur invalide une étape d’annulation de la trace de stabilisation et fragilise également deux articles ultérieurs fondés sur ce résultat. Les manuscrits retirés sont : • 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 OpenAI a ajouté des avis aux articles et mis un lien vers les versions archivées, afin que les lecteurs puissent repérer la faille.
Qu’est-ce qui a également été mis à jour ?
Parallèlement aux retraits, OpenAI a corrigé 14 autres manuscrits. Ces corrections comblent des lacunes dans les démonstrations, précisent les hypothèses et rectifient des citations. Les domaines concernés comprennent les hauteurs lipschitziennes, les programmes des modèles minimaux kählériens et les déformations hypersymplectiques. Treize autres articles ont été mis à jour pour citer les versions révisées de travaux connexes. L’organisation a également ajouté six nouvelles formalisation, portant à environ 42 % (300 sur 719) la part des résultats principaux vérifiés formellement.
Pourquoi c'est important
Pour les mathématiciens qui suivent les travaux d’OpenAI sur la vérification formelle, ces retraits révèlent une faille dans la littérature, susceptible d’affecter les recherches ayant cité ces trois résultats. Les lecteurs peuvent désormais voir précisément où se trouve l’erreur et éviter de s’appuyer sur la démonstration défectueuse. La communauté bénéficie néanmoins des 14 articles corrigés et des nouvelles formalisation, qui renforcent la fiabilité de la bibliothèque mathématique d’OpenAI.
