OpenAI Retire Trois Articles Mathématiques Générés par IA Suite à une Erreur de Signe

OpenAI a publié 722 articles mathématiques générés par IA le 6 octobre 2026, mais dès le 7 octobre, trois d'entre eux ont été retirés. Ce retrait a été motivé par la découverte d'une erreur de signe dans une preuve, ce qui a compromis des arguments clés dans deux manuscrits connexes.

La publication originale, hébergée sur le dépôt GitHub d'OpenAI, comprenait des articles regroupés en 372 familles de résultats, abordant environ 4 000 problèmes non résolus en mathématiques et revendiquant des avancées sur plusieurs conjectures de longue date, y compris certains problèmes du Prix du Millénaire. Chaque résultat aurait nécessité environ trois heures de temps de calcul.

La preuve défectueuse provenait de la géométrie algébrique, où une simple erreur de signe peut invalider un argument logique entier. Suite aux retraits, le catalogue corrigé contient désormais 719 articles. OpenAI a précisé que les assertions mathématiques elles-mêmes n'ont pas été réfutées.

Parmi les articles restants, 300 ont été formellement vérifiés à l'aide de Lean, un assistant de preuve qui vérifie les preuves étape par étape, représentant environ 42 % du total. Des critiques ont exprimé des inquiétudes concernant la nature propriétaire du modèle utilisé pour générer ces articles, car cela limite la capacité des chercheurs externes à inspecter ou reproduire les résultats.

Cet incident marque un nouveau point de friction entre OpenAI et la communauté mathématique, après des controverses précédentes, y compris le retrait d'un parrainage d'un million de dollars d'un concours de mathématiques IA de Caltech après des critiques de mathématiciens.