OpenAI affirme avoir trouvé, en quelques heures seulement, la solution d'un problème mathématique avancé vieux de plusieurs décennies, grâce à un nouveau modèle d'intelligence artificielle (IA) et à des milliers de robots IA.

Le créateur de ChatGPT a déclaré mardi qu'en mobilisant un groupe d'environ 10 000 agents IA — des robots IA exécutant des tâches de manière relativement autonome — l'entreprise a résolu un problème mathématique notoirement difficile en seulement 88 heures.

Ce problème faisait partie des équations 🇪🇨 de Navier-Stokes, qui concernent le mouvement des fluides et des gaz. Pendant 90 ans, des aspects importants de ce problème n'avaient pas de preuve — l'argumentation qui sous-tend une équation 🇪🇨 mathématique correcte.

OpenAI a qualifié la solution trouvée de « jalon important » et de preuve du développement rapide des outils d'IA.

La solution trouvée par OpenAI n'a pas encore été vérifiée de manière indépendante ni reconnue publiquement par le Clay Mathematics Institute, une organisation mathématique basée aux États-Unis 🇺🇸 qui décerne le « prix du millénaire » — une récompense financière conséquente pour quiconque résout en premier certaines énigmes mathématiques.

L'entreprise a déclaré qu'à la fin du mois d'août, elle a commencé à entraîner un nouveau modèle qui a rapidement révélé des capacités mathématiques exceptionnelles. Les modèles d'intelligence artificielle sont des programmes informatiques entraînés sur d'immenses volumes de données afin de repérer des régularités dans l'information et d'effectuer des prévisions.

Bien que le nouveau modèle d'OpenAI reste pour l'instant utilisé uniquement en interne (car il est « considérablement plus puissant » que le dernier modèle d'IA publié par l'entreprise), ses chercheurs ont décidé de l'utiliser pour résoudre certains problèmes mathématiques notables.

OpenAI a reconnu que la semaine dernière, le 1er septembre, elle avait « entendu des rumeurs selon lesquelles deux problèmes du prix du millénaire avaient déjà été résolus », ce qui l'a conduite à mobiliser des milliers de robots IA entraînés sur ce nouveau modèle interne pour s'attaquer aux problèmes restants.

Le 5 septembre, soit environ 88 heures après avoir mis 10 000 robots IA au travail, OpenAI a trouvé une solution à ce que l'on appelle le « problème d'existence et de régularité de Navier-Stokes ».

Ce problème est au cœur de la turbulence, un phénomène qui n'est toujours pas totalement compris.

Bien que les robots IA aient semblé mettre peu de temps à trouver une solution, OpenAI affirme qu'ils ont échangé près de 3 millions de messages et utilisé 130 milliards de jetons de sortie (les lignes individuelles de texte et de code qu'un modèle d'IA génère dans ses réponses) pour le seul problème de Navier-Stokes.

Un tel effort aurait coûté environ 10 millions de dollars (7,3 millions de livres), selon la propre grille tarifaire d'OpenAI pour les sorties de ses modèles les plus avancés.

La solution qu'OpenAI affirme avoir trouvée pour le problème d'existence et de régularité de Navier-Stokes résout deux des quatre énoncés exigés par les conditions du prix du millénaire. Le prix lui-même s'élève à 1 million de dollars pour le gagnant.

« En publiant ce résultat, notre objectif est de rendre compte des progrès substantiels de nos modèles d'IA », a déclaré OpenAI mardi. « Nous n'avons pas l'intention de revendiquer le prix du millénaire pour ce résultat. »

L'annonce de l'entreprise suscite déjà une certaine controverse.

Tristan Buckmaster, professeur de mathématiques à l'université de New York, a déclaré mardi que lui et Levent Alpöge — un mathématicien travaillant chez Anthropic, concurrent d'OpenAI — travaillaient également sur ce problème.

Le duo utilisait dans ses travaux l'outil Codex d'OpenAI. Buckmaster a toutefois précisé avoir appris, le 3 septembre, que « des informations sur nos progrès avaient été transmises à OpenAI ».

La déclaration de Buckmaster est intervenue le même jour, mais quelques heures avant qu'OpenAI ne publie ses propres travaux sur Navier-Stokes. Il a affirmé qu'OpenAI n'avait pas commencé à travailler sur les équations 🇪🇨 de Navier-Stokes « avant que des informations sur notre travail n'atteignent OpenAI ». Il a également fourni des échanges de courriels avec OpenAI concernant ce travail, dans lesquels il remettait en question le calendrier et les méthodes choisis par l'entreprise.

Buckmaster a ajouté qu'il n'avait pas encore lu la preuve complète d'OpenAI, mais qu'il s'était senti contraint de rendre public « ce qu'on m'a dit, quand, et ce qui m'a été proposé... car l'alternative serait de laisser une série d'annonces affirmer quelque chose que je sais être faux ».

OpenAI a félicité mardi le « travail mené en parallèle » par Buckmaster et Alpöge, le qualifiant de « remarquable ».

L'entreprise a déclaré n'avoir « vu leur travail par aucun moyen avant sa publication » et qu'aucune donnée d'utilisateur n'avait été utilisée dans ses travaux sur le problème de Navier-Stokes.

« Bien que cela soit peu probable, nous ne pouvons exclure que des données anonymisées issues de l'utilisation de nos produits aient contribué à améliorer nos modèles », a ajouté l'entreprise. « Cependant, nos preuves diffèrent sensiblement, et même les résultats précis démontrés sont différents. »