OpenAI accusée de mauvaises pratiques scientifiques pour résoudre un problème de maths
Quick and dirty maths
OpenAI prétend avoir résolu un problème mathématique avec une de ses IA sans qu’on en soit sûr. Mais cette annonce arrive en parallèle de celle de deux mathématiciens, Tristan Buckmaster et Levent Alpöge, qui auraient pavé la voie à l’entreprise de Sam Altman à leurs corps défendants, soit par la rumeur sur leur façon d’attaquer le problème, soit sur l’utilisation de leurs données par l’entreprise.
Comme Next en parlait déjà cet été, l’IA générative bouscule la recherche en mathématiques, mais pas forcément dans le bon sens. Dans son effort d’utiliser les maths comme « benchmark » de ses modèles alors que l’entreprise prépare toujours son entrée en bourse, OpenAI défraye la chronique à propos de ces méthodes.
Ce mardi 8 septembre, Tristan Buckmaster, mathématicien de l’université de New York, a annoncé avec Levent Alpöge (qui travaille pour Anthropic, mais pas sur ce sujet) avoir trouvé une voie pour résoudre un important problème non résolu des mathématiques théoriques, appelé « Navier-Stokes ». Ils ont mis en ligne leurs travaux sur le serveur de l’université de New York via trois PDF (1,2 et 3), ainsi qu’un dépôt GitHub avec les fichiers de preuve en Lean non relus par les pairs.
Des équations introduites au XIXᵉ siècle dont on ignore si elles ont toujours des solutions
Ce problème est celui de l’existence et de la régularité de solutions des équations de Navier-Stokes, équations utilisées très régulièrement en mécanique des fluides. Il fait partie de la liste des « problèmes du prix du Millénaire » établie par le Clay Mathematics Institute of Cambridge. Ce dernier a recensé les sept problèmes « les plus complexes auxquels les mathématiciens étaient confrontés au tournant du deuxième millénaire ». Les mathématiciens se demandent si ces équations, introduites au XIXᵉ siècle, ont des solutions quelles que soient les variables utilisées.
Or, OpenAI a annoncé quelques heures après le partage d’un article décrivant une solution au problème Navier-Stokes, là aussi via un PDF sur son propre serveur et un dépôt GitHub avec les fichiers de preuve en Lean et non relus par les pairs non plus.
Attendons le consensus de la communauté
Pas de précipitations sur les conclusions à tirer de ces articles. Next n’a pas les compétences en mathématiques pour les analyser. La communauté de chercheuses et chercheurs sur le sujet pourra juger et nous indiquer ce qu’il en est. Et elle prendra certainement son temps : selon les règles [PDF] du prix du Millénaire, une solution proposée doit d’abord avoir été publiée dans une revue mathématique à comité de lecture de renommée mondiale et doit également avoir été largement acceptée par la communauté mathématique deux ans après cette publication.
De plus, la rédaction de l’article d’OpenAI ne semble pas faciliter les choses : Thomas Rey, mathématicien à l’Université Côte d’Azur et spécialiste du domaine, a partagé à Next sa difficulté à comprendre l’article mis en ligne par OpenAI : « Je ne suis pas capable de lire les détails du papier. […] C’est ultra mal écrit ». Il évoque un autre mathématicien, le chercheur Kazakhe Mukhtarbai Otelbaev, qui avait déjà clamé en 2013 avoir résolu ce problème en rendant public un article de « 120 pages illisibles ». Un effort international de plusieurs mois pour comprendre l’article avait permis finalement de trouver une erreur.
Des suspicions sur la manière dont OpenAI en est arrivée là
Si le temps donnera son verdict, un autre problème apparait. En effet, l’annonce de Tristan Buckmaster est accompagnée d’un texte [PDF] dans lequel il dénonce la manière dont OpenAI s’est emparé de la solution élaborée avec Levent Alpöge.
Commentaires (1)
À l'instant
Signaler un commentaire
Voulez-vous vraiment signaler ce commentaire ?