OpenAI publie 722 manuscrits de mathématiques assistées par IA, puis en retire 3
Après la publication par OpenAI de 722 manuscrits de recherche mathématique assistée par IA le 6 octobre, trois ont été retirés et 14 corrigés, suscitant des doutes chez les mathématiciens.
OpenAI a publié le 6 octobre 722 manuscrits de recherche mathématique assistée par IA. Trois d'entre eux ont été retirés dans la journée suivant la publication, après la découverte d'erreurs, selon zdnet.co.kr.
L'un des manuscrits comportait un symbole erroné utilisé dans un calcul, ce qui a entraîné le retrait de deux autres manuscrits qui s'appuyaient sur lui. OpenAI a par ailleurs révisé 14 manuscrits pour compléter des démonstrations ou corriger des explications.
Pour produire ces travaux, OpenAI a utilisé un modèle d'IA propriétaire non publié, chargé de s'attaquer à environ 4 000 problèmes dans des domaines comme l'algèbre et la logique mathématique. Une vérification informatique avec Lean a été préparée pour 300 des 719 manuscrits restants, soit environ 42 %. Des résumés complets du processus de résolution n'ont été publiés que pour 10 études.
Des chercheurs de l'université de Cambridge et du King's College London ont relevé au moins deux divergences entre la démonstration écrite d'OpenAI et le code Lean d'une étude portant sur les équations de Navier-Stokes. Le groupe consultatif indépendant en mathématiques et IA de l'Institute for Advanced Study de Princeton a conseillé OpenAI, mais n'a ni approuvé les résultats de la recherche ni la méthode de publication.
Le mois précédent, OpenAI avait affirmé avoir résolu un problème lié aux équations de Navier-Stokes.
En bref
Combien de manuscrits OpenAI a-t-il retirés ?
OpenAI a retiré 3 manuscrits dans la journée suivant la publication du 6 octobre, après la découverte d'erreurs, et en a révisé 14.
Quel modèle d'IA a été utilisé pour ces recherches mathématiques ?
OpenAI a utilisé un modèle d'IA propriétaire non publié, chargé de s'attaquer à environ 4 000 problèmes.
Qui a conseillé OpenAI sur cette recherche ?
Le groupe consultatif indépendant en mathématiques et IA de l'Institute for Advanced Study de Princeton a conseillé OpenAI, sans approuver les résultats ni la méthode de publication.