OpenAI affirme avoir résolu un problème de maths vieux de 26 ans, mais la polémique enfle

OpenAI affirme avoir résolu un problème de mathématiques vieux de 26 ans, connu sous le nom de conjecture de l'anneau de Kaplansky. Cette conjecture, formulée en 1990 par le mathématicien Irving Kaplansky, porte sur la structure des anneaux en algèbre abstraite. Un anneau est une structure mathématique où sont définies deux opérations (généralement l'addition et la multiplication) qui généralisent les propriétés des nombres entiers. La conjecture stipulait que dans certains types d'anneaux, appelés anneaux de groupe, il n'existe pas d'éléments non nuls qui soient des diviseurs de zéro. Un diviseur de zéro est un élément non nul qui, multiplié par un autre élément non nul, donne zéro. Par exemple, dans l'anneau des matrices 2x2, certaines matrices non nulles peuvent multiplier d'autres matrices non nulles pour donner la matrice nulle. La résolution de cette conjecture par OpenAI, si elle est confirmée, représenterait une avancée majeure en algèbre moderne.

OpenAI, une entreprise spécialisée dans l'intelligence artificielle (IA), a annoncé avoir utilisé ses modèles d'IA pour démontrer cette conjecture. Les modèles d'IA, comme ceux développés par OpenAI, sont des systèmes capables d'apprendre à partir de grandes quantités de données et de générer des raisonnements ou des solutions à des problèmes complexes. Dans ce cas, l'IA aurait analysé des milliers de cas particuliers et identifié des schémas permettant de confirmer la conjecture de manière générale. Cette approche marque une rupture avec les méthodes traditionnelles, qui reposent généralement sur des preuves mathématiques rigoureuses écrites par des humains. Cependant, cette annonce suscite des débats parmi les mathématiciens, certains doutant de la validité ou de la rigueur de la démonstration proposée par l'IA.

La communauté mathématique réagit avec scepticisme à l'annonce d'OpenAI. Plusieurs experts soulignent que les preuves mathématiques doivent être vérifiables, reproductibles et rigoureuses, ce qui n'est pas toujours le cas avec les démonstrations générées par des IA. Certains mathématiciens, comme ceux interrogés par le magazine Science & Vie, estiment que la solution proposée par l'IA pourrait contenir des erreurs ou des approximations non détectées. La polémique porte notamment sur la transparence de la démonstration : une preuve mathématique classique est détaillée étape par étape, permettant à d'autres experts de la vérifier. À l'inverse, les modèles d'IA fonctionnent comme des boîtes noires, où le raisonnement interne reste difficile à expliquer ou à auditer. Cette situation relance le débat sur l'utilisation de l'IA dans la recherche fondamentale.

Si la démonstration d'OpenAI est validée, elle pourrait ouvrir de nouvelles perspectives en mathématiques et en informatique théorique. La conjecture de l'anneau de Kaplansky est un problème central en algèbre, et sa résolution pourrait avoir des implications dans d'autres domaines, comme la cryptographie ou la théorie des nombres. Par exemple, les anneaux de groupe sont utilisés dans la construction de codes correcteurs d'erreurs, essentiels pour la transmission sécurisée de données. Cependant, l'article ne précise pas si la démonstration a déjà été soumise à une revue scientifique pour évaluation par des pairs, une étape cruciale pour toute avancée mathématique. Les mathématiciens attendent donc des preuves supplémentaires avant de considérer cette résolution comme définitive.