L'IA résout des problèmes mathématiques complexes

L'intelligence artificielle a récemment résolu plusieurs problèmes mathématiques anciens, dont une énigme vieille de 80 ans et un problème vieux de plus d'un siècle. Ces réussites suscitent à la fois enthousiasme et inquiétude chez les mathématiciens quant à l'avenir de leur discipline.

Communication et intérêt pour les mathématiques

Selon François Willot, mathématicien à Mines Paris-PSL, les entreprises d'IA s'intéressent aux mathématiques en partie pour leur visibilité. Résoudre des problèmes complexes leur offre une exposition considérable, car ces défis sont traditionnellement considérés comme le domaine de l'expertise humaine.

Réfuter une conjecture célèbre

En mai 2023, un modèle d'OpenAI a réfuté une conjecture liée au problème de la distance unitaire, une question classique posée par le mathématicien Paul Erdős. L'IA a fourni une démonstration, ensuite vérifiée par des mathématiciens extérieurs, montrant sa capacité à gérer des raisonnements mathématiques complexes.

Les capacités de démonstration de l'IA

François Willot explique que les modèles d'IA peuvent tester des démonstrations mathématiques et parcourir rapidement différentes idées. Cela est rendu possible par la immense quantité de données sur lesquelles ils sont entraînés, notamment des millions d'articles scientifiques, ce qui leur permet de travailler plus vite que les mathématiciens humains.

L'IA, un outil transformateur

L'impact de l'IA sur les mathématiques est comparé à celui du télescope de Galilée sur l'astronomie. Les modèles d'IA commettent peu d'erreurs, et leurs découvertes pourraient profiter à des domaines comme l'ingénierie, l'économie et la recherche sur le climat, selon François Charles, mathématicien et membre de l'AGMAI.

Les efforts de conseil d'OpenAI

OpenAI a constitué un groupe consultatif réunissant des mathématiciens renommés afin de garantir une utilisation responsable de l'IA. Toutefois, des inquiétudes persistent quant au manque de transparence des méthodes d'IA et au temps que met l'IA pour résoudre des problèmes, et les mathématiciens réclament des informations plus détaillées sur les processus d'entraînement des IA.

Défis de publication et de collaboration

OpenAI a partagé certains de ses résultats mathématiques sur GitHub, mais des inquiétudes subsistent quant à la rapidité du développement de l'IA et à sa capacité à démontrer des théorèmes sans compréhension humaine. François Charles a insisté sur la nécessité, pour les chercheurs, d'intégrer les connaissances issues de l'IA, ainsi que sur la difficulté d'accéder à des modèles d'IA avancés contrôlés par quelques entreprises.

Polémique sur la communication

Les annonces de découvertes en informatique et en physique faites par OpenAI ont suscité un débat sur la manière dont ces résultats sont communiqués. Si certains mathématiciens restent confiants quant au rôle du monde académique, l'avenir de la recherche pourrait dépendre de la collaboration entre experts humains et systèmes d'IA.