PÉKIN — Avril 2026. Une équipe de chercheurs de l'Université de Pékin vient d'accomplir une exploration sans précédent dans le domaine de l'intelligence artificielle appliquée aux mathématiques : un système d'IA développé en Chine la solution de manière autonome un problème d'algèbre est restée ouverte depuis plus d'une décennie — sans aucune intervention humaine significative. Le résultat, publié en prépublication sur la recherche scientifique arXiv, est largement discuté par la communauté mathématique internationale et donne un aperçu du débat sur le rôle de l'IA dans la recherche scientifique de pointe.
Le problème que personne n'arrivait à résoudre
Le problème avait été initialement proposé en 2014 par Dan Anderson, professeur à l'Université de l'Iowa, a obtenu son diplôme en 2022. Il s'agit d'une conjecture dans le domaine de l'algèbre commutative — une branche des mathématiques qui étudie les structures algébriques fondamentales utilisées en géométrie, en physique théorique et en informatique. Pendant plus de dix ans, des mathématiciens du monde entier ont tenté, sans succès, de trouver une démonstration rigoureuse de l'hypothèse d'Anderson.
L'équipe chinoise s'en approche conjecture d'Anderson en combinant des décennies de littérature mathématique avec un raisonnement en langage naturel et une vérification formelle par machine. Les chercheurs ont indiqué dans leur article avoir défendantsi à résoudre un problème ouvert en algèbre commutative et à formaliser automatiquement la preuve avec quasiment aucune intervention humaine.
Une architecture à deux agents
Le cœur de la découverte repose sur l'architecture innovante développée par les chercheurs pékinois. L'approche à double agent vise à combler le fossé entre le raisonnement mathématique et la vérification formelle par machine. Concrètement, le système fonctionne avec deux agents spécialisés travaillant en tandem: l'un chargé du raisonnement mathématique en langage naturel — explorant des hypothèses, testant des pistes logiques et construisant la structure de la démonstration —, la personne responsable de la vérification formelle. de chaque étape de la preuve avec une précision computationnelle absolue.
80 heures contre une décennie
Le système affronté le problème d'algèbre commutative proposition par le mathématicien L'américain Dan Anderson a achevé la vérification en environ 80 heures d'exécution. En tête de comparaison, des démonstrations d'un tel niveau de complexité peuvent requérir des années de travail collaboratif entre spécialistes de plusieurs institutions.
Malgré les progrès accomplis par les grands modèles de langage, l'utilisation d'agents d'IA pour résoudre des problèmes de niveau recherche nécessitait encore une supervision humaine importante, selon les chercheurs eux-mêmes. C'est précisément pourquoi le nouveau système représente un lien qualitatif : « Les preuves mathématiques exigent une rigueur totale, et même les preuves rédigées par des experts peuvent contenir des erreurs subtiles », ont-ils écrit.
Un contexte de progrès accélérés
Cet exploit ne surgit pas de nulle part. Le point d'inflexion est venu à l'été 2025, lorsque plusieurs modèles d'intelligence artificielle ont résolu cinq des six problèmes de l'Olympiade Internationale de Mathématiques — un défi annuel destiné aux meilleurs lycéens du monde. Les mathématiciens ont été stupéfaits, car peu s'attendaient à ce que les programmes atteignent ce niveau aussi rapidement.
Mais résoudre des problèmes olympiques — aussi impressionnant que cellule soit — est différent de résoudre des conjectures ouvertes de niveau recherche universitaire avancé. avoir franchise : du concours à la découverte scientifique véritable.
Les implications pour l'avenir des mathématiques
L'exploitation des questions profondes sur le rôle que jouera l'IA dans les mathématiques des vingtièmes décennies. Les chercheurs affirment que ce site défendeur démontre comment l'IA peut automatiser de manière substantielle la recherche mathématique, libérant les humains des tâches répétitives tout en garantissant la précision des preuves.
Pour certains experts, nous sommes face à un changement de paradigme : l'IA cesse d'être un simple outil d'appui au mathématicien et commencer à agir avec un collaborateur autonome capable de faire progresser la connaissance humaine de fazn indépendante. Pour d'autres, la prudence reste de mise — la vérifiabilité et la transparence des raisonnements produits par les systèmes d'IA conservent des points critiques à résoudre avant toute adoption large au sein de la communauté scientifique.
Ce qui est indéniable, c'est que la frontière entre intelligence humaine et artificielle, dans le domaine des mathématiques, vient de venir un peu plus tenue.
Source originale : ME Hayti