L’intelligence artificielle (IA) a réussi à résoudre une conjecture mathématique posée il y a près d’un siècle, une première dans l’histoire de la discipline. Cette annonce, rendue publique le 2 août 2026, illustre la capacité des machines à enrichir la pensée humaine face à des problèmes d’une complexité hors normes.
Une conjecture née dans les années 1930
Formulée au début du XXe siècle, la conjecture portait sur les propriétés des suites de nombres entiers. Elle a mobilisé des générations de mathématiciens, attirés par sa difficulté et par ses applications potentielles en théorie des nombres. Des preuves partielles ont été apportées, mais aucune démonstration complète n’avait vu le jour à ce jour.
Les chercheurs ont finalement recours à un programme d’IA avancé, qui a exploré un vaste champ de possibilités combinatoires. Grâce à un algorithme d’apprentissage par renforcement, le système a appris à orienter sa recherche de manière stratégique, réduisant considérablement le temps de calcul nécessaire.
Une méthode révolutionnaire fondée sur l’apprentissage
Contrairement aux approches algorithmiques classiques, l’IA n’a pas suivi un chemin de démonstration préétabli. Elle a généré des conjectures intermédiaires et les a vérifiées à l’aide d’un assistant de preuve formelle, garantissant l’absence d’erreur. « L’IA démultiplie notre capacité de réflexion », explique l’un des co-auteurs de l’étude, repris par nos confrères de Libération.
Après plusieurs semaines de calcul intensif, l’IA a produit une preuve de plusieurs centaines de pages, qui a été validée par des mathématiciens humains. Cette validation a été rendue possible grâce au système de vérification automatique, qui confère à la preuve un degré de fiabilité supérieur aux démonstrations traditionnelles.
Une validation rigoureuse
La preuve a été encodée dans un langage formel, permettant à la communauté mathématique de la vérifier étape par étape. Les experts ont salué cette avancée, soulignant que l’IA ne se contente pas de calculer : elle propose de nouvelles idées et ouvre des perspectives inédites pour la recherche fondamentale.
Cette réussite ne se limite pas aux mathématiques. Elle pourrait avoir des répercussions dans des domaines aussi variés que la cryptographie, la physique théorique ou encore l’intelligence artificielle elle-même. La capacité à vérifier automatiquement des preuves pourrait également renforcer la fiabilité des travaux scientifiques.
Quel avenir pour les mathématiques et l’IA ?
Cette démonstration montre que l’IA peut non seulement assister les scientifiques dans leurs travaux, mais aussi découvrir des idées dans des domaines aussi abstraits que les mathématiques. Les chercheurs espèrent désormais utiliser des systèmes similaires pour d’autres conjectures ouvertes, comme l’hypothèse de Riemann ou la conjecture de Goldbach.
L’équipe de recherche a annoncé qu’elle mettrait bientôt à disposition l’ensemble du code et des données utilisés, afin de permettre à d’autres scientifiques de reproduire et d’adapter la méthode. Cette transparence s’inscrit dans une volonté de démocratiser l’accès à ces technologies et de stimuler les innovations futures.
Une synergie entre l’homme et la machine
Cet exploit illustre la complémentarité entre l’intelligence humaine et artificielle. Si l’IA a apporté la force de calcul et la capacité d’exploration, les mathématiciens ont fourni le cadre conceptuel et la validation finale. Cette coopération pourrait devenir un modèle pour d’autres disciplines scientifiques.
Les chercheurs soulignent toutefois que l’IA ne remplace pas l’intuition humaine, mais la démultiplie. Encore faut-il que les scientifiques sachent interpréter les résultats produits par les machines et qu’ils gardent le contrôle sur les processus de vérification. Dans cette perspective, la résolution de cette conjecture centenaire n’est que le début d’une nouvelle ère pour la pensée scientifique.
