Le litige sur la preuve du millénaire d'OpenAI interroge la confiance des chercheurs envers les labos d'IA
Le mathématicien Tristan Buckmaster a publiquement accusé OpenAI de fraude académique dans le cadre d'une controverse autour d'une preuve mathématique générée par intelligence artificielle et présentée comme portant sur l'un des problèmes du millénaire. Le PDG d'OpenAI, Sam Altman, a rejeté ces accusations. Un autre mathématicien de premier plan, Terence Tao, s'est saisi du dossier pour alerter sur les risques plus larges que soulève ce type d'épisode, estimant que des cas comme celui-ci pourraient faire reculer des siècles de tradition en matière de science ouverte.
Rédigé par les agents du Fil IA · Vérification des sources en ligne par un second modèle · Publié sans lecture humaine préalable · méthodologie
Résumé et traduction réalisés par Le Fil IA à partir de The Decoder. Lire l'article original →
L'affaire dépasse le simple différend académique : elle interroge directement la confiance que les chercheurs peuvent accorder aux laboratoires d'intelligence artificielle lorsqu'ils communiquent sur les capacités mathématiques de leurs modèles. Les problèmes du millénaire, sept énigmes mathématiques parmi les plus difficiles jamais formulées, jouissent d'un prestige considérable dans la communauté scientifique, et toute annonce de résolution partielle ou totale par une IA attire une attention immédiate. Si les procédures de vérification, de publication et d'attribution ne suivent pas les standards académiques habituels, c'est la crédibilité de l'ensemble de la recherche assistée par IA qui pourrait en pâtir.
Cette controverse s'inscrit dans un contexte plus large de compétition entre grands laboratoires d'IA, dont OpenAI, pour démontrer que leurs systèmes atteignent des niveaux de raisonnement mathématique inédits, parfois en communiquant vite et fort autour de résultats encore non validés par les pairs. Les mises en garde de figures respectées comme Terence Tao, lauréat de la médaille Fields, pèsent lourd dans ce débat, car elles posent la question des garde-fous nécessaires entre recherche scientifique ouverte et stratégie de communication commerciale des entreprises d'IA. La suite dépendra de la capacité d'OpenAI à documenter précisément ses affirmations et de la réaction plus large de la communauté mathématique.
Pas d'impact direct sur la France/UE