OpenAI et les équations de Navier-Stokes : une avancée controversée
OpenAI a récemment annoncé que l’un de ses modèles internes a généré une preuve concernant les équations de Navier-Stokes, un des sept problèmes du prix du millénaire, offrant potentiellement une avancée significative dans le domaine des mathématiques. Toutefois, cette annonce est entachée de controverses, notamment des accusations de plagiat.
Le 8 septembre, l’entreprise spécialisée en intelligence artificielle a révélé avoir mobilisé environ 10 000 agents sur une période de 88 heures pour produire une preuve de 165 pages, vérifiée par le langage de programmation Lean, qui as la rigueur logique des raisonnements. Le CEO, Sam Altman, a rapidement relayé ce résultat.
Cependant, OpenAI ne cherche pas à réclamer le prix d’un million de dollars, qui est généralement attribué pour la résolution de ces problèmes mathématiques. Le coût de cette recherche a été évalué en millions de dollars, ce qui dépasse largement la récompense offerte.
La preuve d’OpenAI se concentre sur une version des équations de Navier-Stokes intégrant une force extérieure, ce qui soulève des questions quant à sa validité par rapport aux critères du prix. À ce jour, aucune validation externe n’a été effectuée, et la communauté mathématique doit encore examiner et accepter cette avancée.
La polémique s’est intensifiée lorsque Tristan Buckmaster, mathématicien à l’université de New York, a accusé OpenAI d’avoir utilisé sa méthode sans attribution appropriée. Il a exprimé ses craintes quant à l’utilisation potentielle de ses travaux par OpenAI, qui aurait pu entraîner un modèle basé sur ses brouillons.
En réponse, Sébastien Bubeck, responsable de l’équipe mathématique d’OpenAI, a qualifié ces accusations de « fausses et incendiaires ». OpenAI a également tenté de calmer la situation en félicitant Buckmaster et son co-auteur, tout en soulignant que leurs approches étaient différentes.
Cette situation soulève des questions éthiques sur l’utilisation des données et la recherche en intelligence artificielle. Buckmaster a fait remarquer qu’OpenAI admet avoir utilisé des données d’entraînement postérieures à ses découvertes, remettant en question la légitimité de leur démarche.
Malgré l’enthousiasme autour de cette annonce, le chemin vers la reconnaissance officielle de cette solution est semé d’embûches. Selon les règles de l’institut Clay, une solution doit d’abord être publiée dans une revue à comité de lecture et obtenir l’acceptation générale de la communauté mathématique, ce qui pourrait prendre plusieurs années.
En somme, la déclaration d’OpenAI sur les équations de Navier-Stokes est à la fois une avancée potentielle et une source de controverse qui soulève des questions sur l’éthique et la reconnaissance dans le domaine des mathématiques.
Source : Numerama
