OpenAI affirme que 10 000 agents d'IA ont résolu un problème mathématique du millénaire en 88 heures — et déclenché un conflit de paternité

OpenAI a annoncé cette semaine qu'un essaim de 10 000 agents d'IA travaillant en parallèle a produit une solution proposée au problème de singularité de Navier-Stokes — l'un des sept problèmes du prix du millénaire du Clay Mathematics Institute, chacun doté d'un million de dollars — en environ 88 heures. L'entreprise affirme qu'elle ne réclamera pas le prix même si la preuve est confirmée.

Ce que le problème demande réellement

Les équations de Navier-Stokes décrivent le mouvement de fluides comme l'eau et l'air. Les mathématiciens ont passé plus d'un siècle à tenter de déterminer si un écoulement parfaitement lisse pourrait théoriquement s'effondrer en une singularité de vitesse infinie en un temps fini. La preuve proposée par OpenAI décrit un vortex fluide qui s'étire et se concentre jusqu'à ce que sa vitesse croisse sans limite, tandis que l'énergie totale du système reste finie.

Comment OpenAI y est parvenu

L'effort a mobilisé 10 000 agents autonomes échangeant des messages entre eux pendant environ 88 heures à partir de samedi soir, consommant des ressources de calcul qu'OpenAI a décrites comme coûtant «des millions de dollars» — environ 1 000 fois plus que les précédents efforts mathématiques de l'entreprise. Le directeur de la recherche Mark Chen a qualifié cela d'«étape importante pour la recherche en IA».

Le conflit de paternité

Quelques heures avant l'annonce d'OpenAI, les mathématiciens Tristan Buckmaster (NYU) et Levent Alpöge (chercheur chez Anthropic) ont publié indépendamment des travaux assistés par IA sur des équations connexes, utilisant une méthodologie similaire développée sur près d'un an. Buckmaster affirme qu'OpenAI n'a poursuivi le problème qu'après avoir eu connaissance de ses recherches. OpenAI nie tout accès direct aux travaux du rival, mais a reconnu que «bien que peu probable, nous ne pouvons exclure que des données anonymisées issues de leur utilisation de nos produits aient contribué à améliorer nos modèles».

La vérification prendra des années

Le Clay Mathematics Institute n'a pas vérifié la preuve. Son président, Martin Bridson, a déclaré que le processus d'évaluation est «délibérément sans hâte» — une solution doit survivre à l'examen par les pairs et à environ deux ans d'acceptation par la communauté mathématique avant que le comité du prix ne l'examine seulement.