Recherche
AI Minute Newsroom
2026-08-08
Des mathématiciens affirment que les preuves écrites par l'IA d'OpenAI reprennent leurs travaux sans les citer
Une semaine après la présentation par OpenAI de dix résultats mathématiques produits par son futur modèle Astra, plusieurs mathématiciens nommément cités affirment que les textes réutilisent des idées publiées sans les créditer. Steven Miller, de l'université Yeshiva, indique que le résultat sur l'empilement de sphères repose sur un argument tiré de son propre article de 2016 ; Francesco Fournier-Facio, de l'université de Cambridge, estime que le résultat de théorie des groupes n'est qu'une combinaison élémentaire de travaux de 2016 et 2019 de Gábor Kun et Andreas Thom, présentée comme une découverte nouvelle. OpenAI a atténué son affirmation initiale selon laquelle ces problèmes n'avaient connu aucun progrès depuis au moins dix ans. Un porte-parole a déclaré que l'entreprise assume la responsabilité de l'exactitude des résultats, s'astreint aux standards attendus des mathématiciens humains et apportera de petites mises à jour à l'article.
Pourquoi c'est importantLes démonstrations ont été formalisées en Lean : une machine peut confirmer que chaque étape est valide. Ce qu'aucune machine ne vérifie, c'est la nouveauté du résultat — et c'est précisément là que porte le litige. Les mathématiciens avaient déjà alerté dans la déclaration de Leiden, soutenue par l'Union mathématique internationale, qui demande aux laboratoires d'IA de créditer les travaux antérieurs et de cesser d'annoncer des résultats par communiqué. L'issue de ce débat déterminera ce qu'un laboratoire d'IA a le droit d'appeler une percée.
✓ Vérifié · 3 sources
Lire dans l'app — gratuit, en 9 langues
Actus liées
Les États-Unis placent l'IA au cœur de la science avec 16 pays.
2026-10-05Cinq problèmes ouverts sont tombés dans un chat ordinaire.
2026-10-05Les modèles bruts ont réussi des tâches que leur version polie rate.
2026-10-04Un modèle nourri de photos banales atteint 70% en raisonnement.
2026-10-04Google a mis ses puces d'IA en orbite pour voir si elles tiennent.
2026-10-03