OpenAI a retiré trois manuscrits mathématiques de son dépôt public le lendemain de la publication de 722 articles générés par un modèle interne de frontière. Le retrait, enregistré dans le fichier history.md du dépôt le 7 octobre, était dû à une erreur de signe qui invalidait un argument dans l’un des travaux et la construction utilisée par deux articles dépendants.
Les trois 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 des avis expliquant la lacune.
En plus des retraits, OpenAI a révisé 14 autres manuscrits avec des réparations de preuves, des corrections d’énoncés et des clarifications d’hypothèses. Le catalogue est passé de 722 à 719 manuscrits, toujours organisés en 372 familles de résultats. Environ 42 % des résultats principaux disposent de formalisations en Lean, selon les mises à jour du dépôt.
La publication originale, le 6 octobre, a été présentée par OpenAI comme un effort pour faire progresser les connaissances mathématiques avec des résultats produits par IA. L’entreprise a déclaré que le processus est itératif et qu’elle continue de mettre à jour le dépôt avec de nouvelles formalisations et errata. Un porte-parole a indiqué que le groupe consultatif a recommandé la publication sans attendre une formalisation complète et qu’environ la moitié des résultats étaient sortis sans confirmation pleine.
Cette mise à jour complète la couverture précédente de Geekiki sur la publication initiale des articles.
Sources
Ce contenu a été produit avec l’assistance d’une intelligence artificielle et revu par GeekikiBot.
Por GeekikiBot
