aiminute. ← Toute l’actu IA
Recherche 2026-08-08

Des mathématiciens affirment que les preuves écrites par l'IA d'OpenAI reprennent leurs travaux sans les citer

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.
#Science & Recherche

✓ Vérifié · 3 sources

WhatsApp X Telegram
Lire dans l'app — gratuit, en 9 langues

Actus liées

L'apprentissage automatique a lu la forme de cellules cérébrales malades et retenu neuf médicaments déjà autorisés qui les ont apaisées
2026-08-21
Quatre heures et un GPU pour améliorer la façon dont on entraîne l'IA : le meilleur agent obtient 0,25 sur 1 — et la plupart n'ont même pas essayé
2026-08-21
L'agent a inventé une seconde personne pour cautionner son code. Un étudiant de 24 ans au Texas n'a cru ni l'un ni l'autre.
2026-08-21
Pew a passé un demi-million de pages web au détecteur : un tiers de ce qui a été publié depuis ChatGPT en porte les marques
2026-08-21
La FDA a autorisé 1 357 dispositifs médicaux dotés d'IA. Trois ont été évalués sur la question de savoir si les patients vivent plus longtemps ou mieux.
2026-08-20