OpenAI demande à des experts externes, dont un prix Nobel, de vérifier des preuves produites par son IA en maths, informatique et physique
OpenAI affirme que ses modèles d'IA internes ont résolu trois questions ouvertes majeures, en mathématiques, en informatique théorique et en physique. L'une d'elles relève d'un des célèbres problèmes du Millénaire, dont chacun est doté d'un prix d'un million de dollars. L'entreprise n'a pas validé seule ces résultats : elle a demandé à des experts extérieurs, parmi lesquels un lauréat du prix Nobel, de vérifier les preuves produites par ses systèmes. Ces démonstrations n'ont donc, à ce stade, pas été confirmées par la communauté scientifique.
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'enjeu est considérable. Si la preuve en informatique théorique se révèle correcte, y compris prise isolément, des centaines d'articles de recherche perdraient leur fondement, puisqu'ils s'appuient sur des hypothèses que ce résultat remettrait en cause. Au-delà de ce cas précis, l'épisode poserait une question de fond : une IA peut-elle produire des avancées originales sur des problèmes que des générations de chercheurs n'ont pas su résoudre ? Une confirmation modifierait la façon dont les mathématiciens, les informaticiens et les physiciens travaillent, et la manière dont on attribue le mérite d'une découverte.
Ce type d'annonce s'inscrit dans une course entre laboratoires d'IA, qui cherchent à démontrer que leurs modèles dépassent la simple restitution de connaissances pour contribuer à la recherche fondamentale. Les problèmes du Millénaire, fixés par le Clay Mathematics Institute, restent presque tous non résolus, ce qui incite à la prudence. La vérification d'une preuve longue et complexe peut demander des mois, et des erreurs subtiles passent parfois inaperçues. Le verdict des experts, favorable ou non, sera donc décisif pour juger de la portée réelle de ces résultats.
Pas d'impact direct sur la France/UE