Contexte et annonce
Le 7 octobre 2026, le dépôt openai/math a publié une mise à jour de son fichier history.md. L’annonce principale signale le retrait de trois manuscrits suite à une « sign error » détectée dans une preuve centrale. Le communiqué précise que chaque article retiré conserve désormais un avis explicite et un lien vers la version archivée.
Nature de l’erreur et conséquences
L’erreur porte sur l’article intitulé « Algebraicity of Weil classes on split abelian eightfolds ». Un signe incorrect invalide l’argument de « stabilization‑trace cancellation », compromettant ainsi la construction utilisée par deux travaux dépendants. Les deux autres manuscrits retirés – « Algebraicity of Kuga–Satake Correspondences for K3 Surfaces » et « The rational Hodge conjecture for products of K3 surfaces » – reposaient sur la même chaîne de raisonnements ; la défaillance du premier rend leurs conclusions non fondées. Cette cascade montre la sensibilité des résultats en géométrie algébrique où une petite incohérence peut affecter plusieurs théorèmes interconnectés.
Révisions et corrections apportées
En parallèle du retrait, quatorze manuscrits ont été révisés. Les corrections couvrent plusieurs domaines : quatre documents sur les hauteurs de Lipschitz et les courants d’Ashkin–Teller ont vu leurs arguments de traversée, d’attachement de frontière, de conditionnement et de convergence réparés, avec un travail supplémentaire sur l’interface réel‑Lipschitz. Six articles relatifs aux programmes de modèles minimaux de Kähler et à l’abondance ont reçu des extensions des arguments de positivité et de contraction, ainsi qu’une clarification des hypothèses d’entrée. Deux travaux sur la déformation tamisée et hypersymplectique ont corrigé une affirmation d’égalité de cône dans la section « Taming implies compatibility », ajouté un exemple d’inclusion stricte et éliminé une dépendance superflue. Un manuscrit sur le transport de boîte incompressible a ajusté les estimations de projection de tore et d’horloge commune, tandis que le texte sur la formule de Birch–Swinnerton‑Dyer a retiré une citation obsolète liée à un manuscrit désormais retiré. Au total, treize autres documents ont été mis à jour pour référencer les nouvelles éditions révisées.
Impact sur la formalisation et perspectives
Le même fichier indique l’ajout de six nouvelles formalizations et de cinq contributions complémentaires, portant le nombre total de résultats de pointe formalisés à 300 sur 719, soit environ 42 %. Cette progression quantifie l’avancement de la formalisation automatisée au sein du projet OpenAI Math. Malgré les revers, la transparence du processus – retrait, notices explicites, révisions détaillées – renforce la confiance dans la chaîne de validation. Les chercheurs devront réévaluer les conclusions dépendantes des travaux retirés et intégrer les versions corrigées dans leurs propres développements. Le suivi des versions via les README et les notes de version assure une traçabilité indispensable pour la communauté mathématique.
