OpenAI a annoncé avoir résolu, grâce à ses agents, l'un des problèmes du prix du millénaire, cette liste de sept énigmes mathématiques établie par l'Institut Clay au tournant des années 2000 et dotées chacune d'une récompense d'un million de dollars. Un tel résultat, si confirmé, constituerait l'une des avancées les plus significatives jamais obtenues par un système d'intelligence artificielle en mathématiques pures, aux côtés de percées historiques comme la démonstration de la conjecture de Poincaré par Grigori Perelman.
Mais l'annonce, au lieu de susciter l'unanimité attendue, a immédiatement été rattrapée par la controverse. Selon MIT Technology Review, des accusations ont émergé peu après la communication de l'entreprise, remettant en cause la manière dont le résultat a été obtenu, présenté ou attribué. Ces critiques, qui n'ont pas encore été détaillées publiquement dans leur intégralité, suffisent déjà à assombrir ce qui aurait dû être un motif de fierté incontesté pour OpenAI.
Cet épisode illustre une tension de plus en plus visible dans le monde de la recherche mathématique assistée par IA : la difficulté de vérifier, valider et attribuer correctement des résultats produits, en tout ou partie, par des systèmes automatisés. La communauté mathématique, historiquement attachée à des standards de preuve rigoureux et à la traçabilité du travail intellectuel, se retrouve confrontée à des annonces spectaculaires dont l'examen par les pairs traditionnel peine à suivre le rythme.
Au-delà du cas spécifique d'OpenAI, cette controverse pose une question plus large sur l'avenir des mathématiques à l'ère des agents IA : comment établir des protocoles de vérification adaptés, garantir une attribution honnête du travail humain sous-jacent, et éviter que la course aux annonces retentissantes ne prenne le pas sur la rigueur scientifique. Le débat qui s'ouvre autour de ce cas précis pourrait ainsi peser durablement sur la manière dont les futures percées mathématiques assistées par IA seront reçues et validées.