Le 8 septembre 2026, OpenAI a déclaré que ses systèmes d’intelligence artificielle, mobilisant près de dix‑mille agents, avaient résolu le problème de Navier‑Stokes, l’un des sept problèmes du millénaire. Un mois plus tard, la société a publié une série de résolutions entièrement générées par IA pour des centaines de problèmes mathématiques majeurs, déclenchant un débat intense au sein de la communauté scientifique.
OpenAI annonce la résolution du problème de Navier‑Stokes
Le problème de Navier‑Stokes, qui porte sur l’existence et la régularité des solutions aux équations décrivant les fluides, était considéré comme insoluble depuis près d’un siècle. Selon le communiqué d’OpenAI, une flotte d’environ 10 000 agents d’IA a collaboré pour produire une preuve que les chercheurs ont jugée conforme aux critères de rigueur mathématique. Cette annonce intervient dans le cadre d’une compétition informelle entre OpenAI et le laboratoire Anthropic, deux acteurs majeurs du secteur de l’IA qui investissent massivement dans la résolution de problèmes scientifiques complexes.
Une avalanche de démonstrations mathématiques générées par IA
Dans les semaines qui ont suivi, OpenAI a publié ce qu’elle qualifie de « résolution 100 % IA » pour plusieurs centaines de problèmes réputés difficiles, couvrant des domaines tels que la théorie des nombres, la topologie et l’analyse fonctionnelle. Chaque démonstration a été produite sans intervention humaine directe, les algorithmes sélectionnant, testant et affinant les arguments jusqu’à atteindre une forme jugée acceptable par les standards académiques. Le volume et la rapidité de ces résultats dépassent largement les capacités traditionnelles des équipes de recherche.
Réactions de la communauté scientifique : entre enthousiasme et scepticisme
Les mathématiciens ont réagi de façon polarisée. Certains voient dans ces performances une rupture historique, annonçant la fin des « mathématiques artisanales », où chaque preuve était le fruit d’un travail individuel minutieux. D’autres, plus réservés, dénoncent un possible coup de communication marketing, rappelant que la validation finale d’une preuve repose toujours sur la vérification humaine. La question centrale demeure : les chercheurs devront-ils désormais consacrer leurs efforts à la validation et à la critique des résultats produits par l’IA plutôt qu’à la génération de nouvelles conjectures ?
Enjeux politiques, écologiques et éthiques de l’IA en mathématiques
Au-delà du débat académique, l’utilisation massive d’IA pour résoudre des problèmes mathématiques soulève des problématiques plus larges. Sur le plan politique, les gouvernements devront envisager des cadres réglementaires encadrant l’usage de systèmes autonomes dans la recherche fondamentale, afin d’assurer transparence et responsabilité. Le coût énergétique d’une flotte de plusieurs dizaines de milliers d’agents d’IA représente également une préoccupation écologique, compte tenu de l’empreinte carbone associée aux calculs intensifs. Enfin, les dimensions éthiques – notamment la propriété intellectuelle des démonstrations générées et le risque de dépendance excessive à des outils propriétaires – exigent une réflexion collective parmi les institutions scientifiques et les décideurs.