Mathématiques OpenAI : différend sur un problème d'un million

Mathématiques OpenAI : différend sur un problème d'un million

OpenAI a annoncé que son modèle avait permis de résoudre un problème lié aux équations de Navier-Stokes, mais le mathématicien Tristan Buckmaster accuse l'entreprise d'avoir sauté le pas pour revendiquer le crédit qui, selon lui, lui appartient.


Faites de nous votre source préférée sur
gsoitsoitgjeet

Le différend sur le crédit scientifique a atteint l'intelligence artificielle : les mathématiques d'OpenAI sont devenues un sujet de débat après que l'entreprise a annoncé que son modèle contribuait à résoudre un problème lié aux équations de Navier-Stokes, l'une des énigmes les plus difficiles de la physique mathématique. Le mathématicien Tristan Buckmaster de l'Université de New York a répondu en accusant le chercheur d'OpenAI Sébastien Bubeck de s'être empressé de revendiquer la paternité après avoir pris connaissance de ses travaux non publiés.

L'annonce d'OpenAI, publiée dans une publication officielle, a présenté le résultat comme une percée dans laquelle un système d'IA a aidé à construire une démonstration liée à la dynamique des fluides. Le problème s'inscrit dans un domaine que la communauté scientifique considère comme extrêmement difficile, qui comprend les soi-disant problèmes du millénaire, chacun bénéficiant d'une récompense d'un million de dollars offerte par le Clay Institute.

Ce que dit OpenAI à propos du problème mathématique

Selon la version de l'entreprise, soutenue par Bubeck dans un message de suivi dans X, le modèle aurait fourni des idées pertinentes pour faire avancer un test lié au comportement des équations de Navier-Stokes. OpenAI lui-même a accompagné l'annonce d'un tweet citant le travail, et même le directeur exécutif Sam Altman a participé à la diffusion sur le réseau social.

Il est important de clarifier une nuance qui passe souvent inaperçue dans les gros titres : résoudre « un problème à un million de dollars » n’équivaut pas nécessairement à démontrer complètement l’un des problèmes du millénaire dans sa formulation originale. Dans ce type de recherche, les avancées consistent généralement en des cas particuliers, des variantes ou des résultats adjacents qui, bien que précieux, ne clôturent pas la conjecture centrale. C’est précisément l’ampleur exacte de la contribution qui est en cause.

La réponse du rival : qui est arrivé le premier à la manifestation

Buckmaster a publié une déclaration de quatre pages dans laquelle il affirme avoir déjà développé ce résultat en collaboration avec Levent Alpöge, un chercheur lié à Anthropic, avant qu'OpenAI ne fasse son annonce. Le mathématicien de NYU affirme que ses travaux étaient en cours de publication et accuse l'équipe rivale d'avoir accéléré la communication publique pour s'en attribuer le mérite une fois qu'elle a pris connaissance de ces avancées.

Buckmaster lui-même a également détaillé sa version sur le réseau Mastodon, où il a expliqué l'état d'avancement de son enquête. L'épisode révèle une tension croissante dans le monde universitaire : comment la paternité est partagée lorsqu'un outil d'IA participe au processus créatif et lorsqu'une annonce d'entreprise prévaut sur les canaux traditionnels d'évaluation par les pairs.

L'examen par les pairs et la publication formelle sont les mécanismes par lesquels la communauté valide un résultat mathématique. Une publicité sur les réseaux sociaux, quelle que soit sa résonance médiatique, ne remplace pas ce processus. En fait, le célèbre mathématicien Terence Tao a publié ses propres travaux sur les phénomènes d'explosion en temps fini pour des équations connexes, signe de l'ampleur de l'activité autour de ces problèmes.

Pourquoi c'est important pour la carrière en IA

L’affrontement va au-delà d’une dispute entre deux enquêteurs. Les principales sociétés d'intelligence artificielle – OpenAI, Anthropic, Google et autres – rivalisent pour démontrer que leurs modèles peuvent raisonner au niveau des mathématiques avancées, un domaine qui fonctionne comme une vitrine de capacités et, accessoirement, comme un argument commercial auprès des investisseurs et des utilisateurs. Chaque annonce d’une « percée » alimente ce récit.

Cette pression concurrentielle incite à communiquer rapidement, parfois avant qu’un résultat ne soit pleinement vérifié. Le cas Navier-Stokes illustre le risque : lorsque la vitesse de communication dépasse celle de l’examen scientifique, la frontière entre véritable contribution et marketing technologique devient floue.

Pour l’écosystème technologique plus large, y compris l’industrie de la cryptographie qui s’engage également à intégrer l’IA, l’épisode laisse un avertissement utile. La vérification indépendante reste la norme qui sépare une constatation réelle d’une déclaration prématurée, quel que soit le degré de sophistication du modèle qui l’a produite.

Pour l’instant, la communauté mathématique devra examiner sereinement à la fois les preuves publiées par OpenAI et les travaux de Buckmaster et Alpöge pour déterminer ce qui a été prouvé, dans quelle mesure et qui l’a fait en premier. Jusqu'à ce que ce processus soit terminé, le crédit restera en litige.

Voir l’article original en espagnol