RéponsesPublié21 sources
Un signe erroné a conduit OpenAI à retirer trois manuscrits de mathématiques
Le 7 octobre 2026, OpenAI a retiré trois manuscrits de sa collection publiée la veille : une erreur de signe invalidait une preuve et fragilisait deux travaux qui en dépendaient. Le catalogue mis à jour compte 719 manuscrits répartis en 372 familles.
Publié parModifié avec GPT-6 LunaImages générées avec GPT Image 2
Réponse de recherche
Points clés à retenir
- Le 7 octobre 2026, OpenAI a retiré trois manuscrits de sa collection publiée la veille : une erreur de signe invalidait une preuve et fragilisait deux travaux qui en dépendaient.
- Le catalogue mis à jour compte 719 manuscrits répartis en 372 familles. OpenAI a également indiqué avoir révisé 14 manuscrits et actualisé les références de 13 textes associés.
Prompt IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI a retiré trois manuscrits de mathématiques le 7 octobre, moins d’un jour après en avoir publié 722 sur GitHub. Une erreur de signe dans l’un des textes invalidait son argument central et fragilisait deux manuscrits qui s’appuyaient sur lui. L’épisode rappelle qu’un manuscrit rendu public n’est pas pour autant un résultat vérifié de manière indépendante. 24
35
Une collection de 722 manuscrits, organisée en familles
Le 6 octobre, OpenAI a mis en ligne des manuscrits produits par un modèle interne qui n’a pas été rendu public. La collection était organisée en 372 familles : des ensembles de travaux apparentés pouvant réunir un résultat principal, des arguments complémentaires, des conséquences ou des démonstrations alternatives. Les textes portent notamment sur l’algèbre, la géométrie et l’informatique. 1
35
38
Cette organisation est importante : les 722 manuscrits ne correspondent pas à 722 résultats indépendants. Certains s’appuient sur des arguments ou des constructions développés dans d’autres textes de la même famille. C’est ce lien qui a conduit au retrait des trois manuscrits. 1
24
L’erreur de signe qui a fragilisé trois textes
Le problème a été repéré dans Algebraicity of Weil classes on split abelian eightfolds. Dans une étape clé, le manuscrit attribuait le signe +1 à une opération géométrique alors que, selon les conventions retenues dans le texte, le signe correct était −1. L’erreur faisait échouer un argument de compensation utilisé pour étayer la construction proposée. 21
24
27
Deux autres manuscrits s’appuyaient sur ce travail : Algebraicity of Kuga–Satake Correspondences for K3 Surfaces et The rational Hodge conjecture for products of K3 surfaces. Une fois l’argument initial mis en défaut, les affirmations de ces deux textes ne pouvaient plus être étayées par lui. OpenAI a donc retiré les trois manuscrits. Il s’agit d’un échec dans les démonstrations présentées, et non d’une réfutation des conjectures étudiées. 21
24
35
Ce que révèle la mise à jour du dépôt
La mise à jour du 7 octobre signale le retrait des trois manuscrits, la révision de 14 autres et l’actualisation des références dans 13 textes associés. Le catalogue est ainsi passé de 722 à 719 manuscrits, toujours répartis en 372 familles. 1
24
28
Le dépôt et les documents publiés par OpenAI précisent que les résultats se trouvent à différents stades de vérification et que certains peuvent comporter des erreurs. L’entreprise indique également avoir consulté le groupe consultatif sur les mathématiques et l’intelligence artificielle pour orienter la publication de ces travaux. Ce contexte invite à considérer les manuscrits comme des textes à examiner, et non comme des découvertes déjà établies. 1
33
39
Ce que la formalisation avec Lean vérifie — et ce qu’elle ne garantit pas
La collection comprend des formalisations Lean pour certains résultats. Lean est un assistant de preuve : il permet à un ordinateur de vérifier des démonstrations mathématiques écrites dans un langage formel. Toutefois, les bilans disponibles ne mesurent pas tous la même chose : l’un indique qu’environ 300 des 719 résultats principaux sont formalisés, tandis qu’un autre recense 162 manuscrits sur 722 dont le résultat principal est accompagné d’une formalisation. Ces chiffres reposent sur des unités différentes et ne signifient pas que chaque affirmation de chaque manuscrit a été validée indépendamment. 25
33
36
La consultation du groupe consultatif et l’existence de preuves formalisées sont des éléments utiles pour évaluer la publication, mais ils ne dispensent pas d’examiner les démonstrations écrites et la portée exacte de chaque affirmation. Le retrait montre aussi l’importance de vérifier les liens entre travaux : une erreur dans un argument partagé peut affecter plusieurs manuscrits. 24
33
39
La suite : examiner chaque résultat séparément
Les retraits établissent qu’un argument précis ne tenait pas et que deux manuscrits qui en dépendaient ne pouvaient plus s’appuyer sur lui. Ils ne démontrent ni que les autres textes sont erronés, ni que leurs affirmations sont justes. Chaque résultat doit encore être évalué pour lui-même, en examinant la preuve, ses hypothèses et ses dépendances éventuelles à d’autres travaux. 1
21
35
Studio Global AI
Continuez vos recherches
Cette page comprend une réponse basée sur la source que vous pouvez continuer dans Studio Global.
Les gens demandent aussi
Quelle est la réponse courte à « Un signe erroné a conduit OpenAI à retirer trois manuscrits de mathématiques » ?
Le 7 octobre 2026, OpenAI a retiré trois manuscrits de sa collection publiée la veille : une erreur de signe invalidait une preuve et fragilisait deux travaux qui en dépendaient.
Quels sont les points clés à valider en premier ?
Le 7 octobre 2026, OpenAI a retiré trois manuscrits de sa collection publiée la veille : une erreur de signe invalidait une preuve et fragilisait deux travaux qui en dépendaient. Le catalogue mis à jour compte 719 manuscrits répartis en 372 familles. OpenAI a également indiqué avoir révisé 14 manuscrits et actualisé les références de 13 textes associés.