OpenAI est accusé d'utiliser les résultats non divulgués d'autres personnes pour résoudre le problème mathématique du millénaire

Résumé :

Le professeur de mathématiques de l'Université de New York, Tristan Buckmaster, a annoncé mardi trois preuves, dont un résultat préliminaire qui pointe vers un problème majeur non résolu en mathématiques théoriques. Il a également accusé OpenAI d'avoir obtenu des informations pertinentes sur les progrès réalisés avant que ses recherches ne soient rendues publiques et d'avoir profité de ses énormes ressources informatiques pour publier d'abord une preuve complète.

Les problèmes d'existence et de fluidité de Navier-Stokes impliqués cette fois-ci sont l'un des sept "Problèmes du Prix du Millénaire" établis par le Clay Mathematics Institute, avec une récompense d'un million de dollars américains. L'équation de Navier-Stokes est largement utilisée en mécanique des fluides, mais les recherches théoriques sont encore insuffisantes. OpenAI a ensuite publié une preuve complète de l'existence et du problème de fluidité de Navier-Stokes, et la découverte de Buckmaster avait déjà permis de résoudre ce problème. Selon OpenAI, ce travail d'une semaine a consommé un total de

300 milliards de jetons de sortie

——Si calculé sur la base des tarifs Astra actuels, cela équivaut à

22,5 millions de dollars américains

coût de calcul.

OpenAI a été accusé de ne pas démarrer le sprint avant d'avoir été informé de l'avancement

"Il y a une autre partie de l'histoire dont, pour être honnête, j'aurais vraiment aimé ne pas avoir à me soucier", a écrit Buckmaster dans un communiqué. Alors que lui et Alpöge terminaient leurs propres recherches, a-t-il déclaré, ils ont appris que « des informations sur nos progrès avaient été transmises à OpenAI ». Après avoir contacté OpenAI, l'autre partie a déclaré avoir obtenu une preuve complète du problème principal. Mais lorsqu’on lui demande quand OpenAI a commencé à étudier ce problème et combien de main d’œuvre elle a investi, les réponses de l’autre partie sont devenues de plus en plus vagues.

"Il s'est avéré qu'une équipe entière travaillait déjà sur le problème, en utilisant une quantité incroyable de calculs... Finalement, il a été convenu que

le premier conseil est arrivé quelques jours après que l'information sur notre travail ait atteint OpenAI

. "Buckmaster a dit.

Si cette affirmation est vraie, cela signifie que l'équipe OpenAI a estimé que l'orientation de recherche de Buckmaster et Alpöge était correcte et a décidé d'utiliser ses énormes avantages en termes de ressources informatiques pour fournir d'abord une preuve formelle. L'annonce d'OpenAI confirme une grande partie de la chronologie, notant spécifiquement que la dernière tentative a commencé le 1er septembre, à la suite de rumeurs selon lesquelles « deux énigmes du millénaire avaient été résolues ». L'annonce confirme également les conversations en cours avec Buckmaster et Alpöge.

Méthodes uniques et litiges de signature

Buckmaster a déclaré que même si les mathématiciens ont étudié le problème de manière approfondie, la stratégie spécifique que lui et ses collaborateurs ont adoptée était loin d'être courante, ce qui l'a amené à se demander pourquoi OpenAI adopterait la même approche en même temps.

"La voie menant au problème de Clay via les forces de lissage, les options c et d dans la déclaration de Fefferman, est la voie tracée par Luis et Diego, et la voie que Levent et moi avons tranquillement choisi d'attaquer." Buckmaster a écrit : "Pour autant que je sache, presque personne ne travaille sur cette route. Ce n'est pas une direction qui peut être atteinte en remettant l'énoncé du problème au modèle et en prenant quelques jours."

Bien qu'Alpöge soit employé par Anthropic, cette recherche n'a pas été menée au nom de l'entreprise. Par conséquent, les deux ont utilisé une variété de modèles, s'appuyant principalement sur le Codex d'OpenAI. Malgré cela, les relations d’Alpöge avec les laboratoires rivaux semblent être devenues un point sensible pour OpenAI. Buckmaster a déclaré que Bubeck d'OpenAI lui avait demandé de retirer l'attribution d'Alpöge d'un compromis proposé.

Lorsque Buckmaster a insisté pour rendre publique la controverse, Bubeck a répondu : « Pourquoi voudriez-vous ruiner votre carrière ? » Buckmaster a déclaré qu'après que Buckmaster ait rétorqué, Bubeck a déclaré : "Si vous ne voulez pas que je sois gentil, je n'ai pas besoin d'être gentil."

Problèmes liés aux données de formation et réponse d'OpenAI

Buckmaster craint également que, parce qu'il utilise largement le Codex lors de la création de projets, les informations sur son travail puissent alimenter les propres efforts de résolution de problèmes d'OpenAI. OpenAI se réserve le droit de former des modèles de manière interactive à l'aide du Codex, bien que les utilisateurs puissent se désinscrire. Si l'équipe OpenAI utilise un modèle basé sur la formation interactive Codex de Buckmaster, il est possible que le modèle « répète » son travail lorsqu'il est confronté à des problèmes similaires.

OpenAI a minimisé la possibilité de récupération de mémoire dans son annonce : "Nous (chercheurs et agents) n'avons vu aucun de leurs travaux avant qu'ils ne soient rendus publics - et en particulier, nous n'avons eu accès à aucune donnée utilisateur spécifique pour comprendre ce problème." L'annonce indiquait : "Bien que cela soit peu probable, nous ne pouvons pas exclure que leur utilisation de données anonymisées générées par notre produit ait contribué à améliorer notre modèle. Cependant, nos preuves diffèrent considérablement, et même les résultats précis dans le cas Euler sont différents (forcés ou non forcés)."

Indépendamment de la controverse, la question est susceptible de relancer le débat en cours sur le rôle de l'IA dans la recherche mathématique et les motivations spécifiques d'OpenAI dans ce domaine. Buckmaster semble croire que la meilleure réponse est de mettre autant d’informations de recherche que possible à la disposition du public.

Articles connexes :

Le modèle d'IA interne inédit d'OpenAI est censé résoudre le problème de l'équation de Navier-Stokes