L’IA Révolutionne les Mathématiques : 15 Problèmes Résolus en Quelques Semaines
Comment GPT-5.2 et Alpha Evolve transforment la recherche mathématique et ouvrent une nouvelle ère de découvertes scientifiques
🎯 L’Événement Déclencheur
Le 7 janvier 2026, GPT-5.2 Pro a résolu de manière autonome le problème numéro 728 d’une collection légendaire de défis mathématiques. Quelques jours plus tard, un autre problème est tombé, puis un autre, puis un autre…
GPT-5.2 Pro résout le problème n°728 de la collection Erdős
Cascade de résolutions : plusieurs problèmes historiques tombent successivement
Le problème n°397 résolu en 15 minutes après 30 ans d’attente
🧠 Une Confirmation de Poids : Terence Tao
Terence Tao
Considéré comme le plus grand mathématicien vivant
À 2 ans, il enseignait déjà aux autres enfants à compter. À 9 ans, il suivait des cours de mathématiques à l’université. À 10 ans, il est devenu la plus jeune personne de l’histoire à participer aux Olympiades Internationales de Mathématiques. À 13 ans, il en a remporté la médaille d’or — un record qu’il détient toujours.
Le mot clé ici, c’est autonome. L’IA n’est pas simplement aidée par un humain cette fois-ci : elle a proposé une preuve elle-même. Cette preuve a été vérifiée par un système de formalisation appelé LEAN, et Terence Tao l’a acceptée lui-même.
📚 L’Héritage de Paul Erdős
Ce mathématicien hongrois a publié plus de 1 500 articles scientifiques — un record absolu. Au fil de sa carrière, il a posé des centaines de problèmes ouverts qu’il qualifiait lui-même de « glands mathématiques » : des questions d’apparence simple mais dont les réponses nécessitent des connaissances profondes et subtiles.
⚡ Le Cas Emblématique : 15 Minutes vs 30 Ans
Neil Somanie, chercheur quantitatif chez Citadel (l’un des plus grands fonds d’investissement au monde), a décidé de tester GPT-5.2 Pro sur le problème numéro 397 : une question de théorie des nombres concernant les coefficients binomiaux centraux, restée sans réponse pendant plus de trois décennies.
30 ans
Sans solution
15 min
Problème résolu
🔬 Alpha Evolve : La Révolution Google DeepMind
Google DeepMind a développé Alpha Evolve, un agent de programmation évolutif qui combine les capacités créatives des modèles IA avec des évaluateurs automatiques. Appliqué à plus de 50 problèmes ouverts, les résultats sont impressionnants.
🏆 Deux Exploits Majeurs
- Le problème du « Kissing Number » — Un défi géométrique qui fascine les mathématiciens depuis plus de 300 ans. Alpha Evolve a découvert une configuration de 593 sphères dans un espace à 11 dimensions, améliorant la borne inférieure connue.
- L’algorithme de Strassen battu — Inventé en 1969, cet algorithme était considéré comme optimal pour multiplier des matrices 4×4 de nombres complexes. Alpha Evolve a trouvé une méthode utilisant 48 multiplications scalaires au lieu de 49 — un record vieux de 56 ans pulvérisé !
🔄 La Boucle de Découverte
Nous assistons à l’émergence de ce que certains appellent une « boucle de découverte » révolutionnaire :
- 1 L’humain formule une question
- 2 L’IA génère une solution candidate
- 3 Un système de vérification formelle confirme ou invalide
- 4 Si correct, la preuve devient une connaissance validée
Ce cycle peut s’exécuter en quelques minutes, là où le processus traditionnel prenait des années. Et surtout, l’IA peut explorer des branches que l’intuition humaine n’aurait jamais envisagées.
🛠️ Un Nouvel Outil pour les Mathématiciens
Pour les mathématiciens, c’est comparable à l’arrivée de Photoshop pour les graphistes ou d’Excel pour les analystes financiers.
Quand un collègue vous fait un retour sur une étape de votre démonstration, ce changement peut avoir des répercussions sur l’ensemble de votre article. Traditionnellement, vous deviez tout reprendre à la main. Avec ces nouveaux outils, la restructuration devient automatique.
🌍 Des Implications Bien Au-Delà des Mathématiques
Cette transformation rappelle ce qui s’est passé dans d’autres domaines quand les mathématiques et l’informatique ont fait leur entrée :
- Le Baseball — Le film « Moneyball » raconte comment un analyste a révolutionné le sport en appliquant des méthodes statistiques
- La Finance — L’arrivée des « Quants » dans les années 1970
- La Logistique — Les algorithmes d’optimisation (ex: éviter les virages à gauche pour économiser du carburant)
- La Publicité en ligne, l’agriculture de précision, les campagnes électorales…
Un modèle comme GPT-5.2 peut fonctionner 24h/24, 7j/7. Il peut lire l’intégralité de la littérature mathématique existante. Il peut générer et tester des milliers d’hypothèses pendant que vous dormez.
💊 Applications Concrètes à Venir
Droit
Analyse de contrats juridiques et conformité réglementaire
Infrastructure
Optimisation des réseaux et systèmes complexes
Médecine
Traitements personnalisés basés sur votre génome
Terence Tao envisage même l’émergence d’une « mathématique citoyenne ». Les assistants de preuves formelles comme LEAN et les traducteurs d’IA pourraient permettre à des personnes sans formation avancée de participer à des projets mathématiques d’envergure — comme les astronomes amateurs qui découvrent des comètes ou les naturalistes qui identifient de nouvelles espèces.
⚠️ Les Limites Actuelles
Les modèles peuvent encore faire des erreurs, s’appuyer sur des hypothèses implicites incorrectes, ou produire des raisonnements qui semblent convaincants mais s’effondrent après examen. La vérification humaine reste indispensable pour tout résultat sérieux.
Mais ne vous y trompez pas : la tendance est claire. Les outils qui étaient incapables de faire des mathématiques significatives il y a 3 mois à peine résolvent maintenant des problèmes qui résistaient depuis des décennies.
🚀 L’accélération est en cours
Le site web des problèmes d’Erdős a dû mettre en place une politique encadrant l’utilisation de l’IA pour éviter d’être submergé par des soumissions. C’est le genre de problème qu’on n’imaginait même pas avoir il y a un an !
🔮 Conclusion : Êtes-vous Prêt ?
La question n’est plus de savoir si l’IA va transformer les mathématiques — et par extension tous les domaines qui en dépendent. La question est de savoir à quelle vitesse, et si nous y serons prêts.
🎬 Voir la Vidéo Complète
Regarder sur YouTube