OpenAI réalise un exploit historique en mathématiques
Il y a une semaine, OpenAI affirmait avoir résolu plus de 700 problèmes majeurs en mathématiques grâce à ses nouveaux systèmes. Une performance que Cédric Villani, mathématicien de renom et médaillé Fields 2010, ne prend pas à la légère. Pour celui qui se produit chaque lundi à 21 heures au Théâtre de Poche à Paris avec sa conférence "Mathématique en poésie", il ne faut pas se tromper d'échelle. Si entre 100.000 et 200.000 nouveaux théorèmes sont démontrés chaque année dans le monde, nous ne sommes pas ici dans le registre de la production courante. "On ne parle pas de résultats mineurs", insiste l'ancien député.
Les problèmes évoqués par l'entreprise américaine sont des questions ouvertes, identifiées depuis longtemps par la communauté et dont la résolution était très attendue. Il s'agit donc, selon lui, d'une véritable démonstration de force qu'il faut analyser comme telle, venant d'une grande entreprise de la tech. Le fonctionnement de ces intelligences artificielles interpelle le mathématicien. Ces systèmes, capables de produire de nouveaux théorèmes en s'appuyant sur l'intégralité du corpus mathématique publié à ce jour, agissent en réalité comme des démonstrateurs automatiques ultra-puissants.
Au-delà de la prouesse technique, c'est la portée philosophique de l'événement qui inquiète le lauréat de la plus prestigieuse distinction en mathématiques. Pour Cédric Villani, cette avancée fulgurante de l'IA fait peser un risque existentiel sur la discipline elle-même, sur sa pratique, son enseignement et le sens même de la recherche mathématique humaine.
