Une démonstration validée par neuf mathématiciens de renom
Un modèle d’intelligence artificielle développé par OpenAI vient de franchir une étape majeure dans le domaine des mathématiques théoriques. L’entreprise américaine affirme qu’un de ses modèles de raisonnement a produit, de manière autonome, une preuve originale concernant un célèbre problème posé en 1946 par le mathématicien hongrois Paul Erdős. La démonstration a été examinée et validée par neuf spécialistes internationaux, parmi lesquels le médaillé Fields Tim Gowers.
Cette avancée relance les débats autour du rôle que pourraient jouer les systèmes d’IA dans la recherche scientifique fondamentale, un domaine jusqu’ici considéré comme largement dépendant de l’intuition humaine.
Le problème des distances unitaires défiait les mathématiciens depuis près de 80 ans
Le problème étudié appartient à la géométrie discrète, une branche des mathématiques qui analyse les configurations de points et leurs propriétés. L’énoncé, formulé par Paul Erdős en 1946, paraît pourtant d’une simplicité déconcertante : si l’on place un certain nombre de points dans un plan, combien de paires de points peuvent être séparées par exactement une unité de distance ?
Pendant des décennies, la conjecture dominante supposait qu’une disposition en grille carrée représentait la configuration optimale. Selon cette hypothèse, le nombre de paires à distance unitaire augmentait seulement légèrement plus vite que le nombre total de points.
Le modèle d’OpenAI est parvenu à démontrer qu’il existait au contraire une infinité de configurations plus efficaces. D’après le mathématicien Will Sawin, la nouvelle construction améliore le résultat connu avec un gain polynomial d’exposant estimé à environ 0,014.
Une approche inédite mêlant géométrie et théorie algébrique des nombres
L’originalité de cette percée réside surtout dans la méthode employée. Au lieu de rester dans le cadre classique de la géométrie discrète, le modèle a établi un lien avec la théorie algébrique des nombres, un champ mathématique réputé particulièrement abstrait.
L’IA a notamment mobilisé les notions de tours infinies de corps de classes ainsi que le théorème de Golod-Chafarevitch, des outils rarement associés à ce type de problème géométrique. Plusieurs chercheurs ont souligné qu’aucune équipe humaine n’avait jusque-là exploré cette connexion spécifique.
Selon Daniel Litt, cité par le magazine Scientific American :
« C’est le premier résultat produit de manière autonome par une IA que je trouve passionnant en lui-même. »
La preuve a été initialement générée par le chercheur Lijie Chen à l’aide du modèle interne d’OpenAI. Elle a ensuite été vérifiée par les chercheurs Mark Sellke et Mehtaab Sawhney.
Un article scientifique complémentaire, cosigné par neuf mathématiciens externes dont Noga Alon et Thomas Bloom, accompagne désormais la publication.
Après les controverses de 2025, OpenAI cherche à convaincre la communauté scientifique
Cette annonce intervient dans un contexte sensible pour OpenAI. En octobre 2025, l’entreprise avait déjà affirmé que GPT-5 avait résolu plusieurs problèmes attribués à Paul Erdős. Ces déclarations avaient toutefois suscité des critiques dans la communauté mathématique.
À l’époque, Thomas Bloom, qui supervise une base de données spécialisée consacrée aux problèmes d’Erdős, avait dénoncé une « déformation dramatique » des résultats présentés. Les solutions revendiquées par le modèle existaient en réalité déjà dans la littérature scientifique.
La situation semble différente cette fois-ci. Thomas Bloom figure désormais parmi les experts ayant participé à la vérification de la nouvelle preuve, ce qui donne davantage de crédibilité à l’annonce d’OpenAI.
Le mathématicien Tim Gowers a même déclaré qu’il recommanderait cette démonstration aux Annals of Mathematics, l’une des publications les plus prestigieuses et sélectives du domaine.
Thomas Bloom estime également que ces outils pourraient transformer progressivement les méthodes de recherche :
« L’IA nous aide à explorer plus complètement la cathédrale de mathématiques que nous avons bâtie au fil des siècles. »
Une nouvelle étape dans l’usage de l’IA pour la recherche fondamentale
L’épisode illustre l’évolution rapide des modèles de raisonnement artificiel, capables désormais de participer à des travaux scientifiques de haut niveau. Jusqu’à récemment, les systèmes d’IA étaient surtout utilisés pour assister les chercheurs dans l’analyse de données ou l’automatisation de tâches techniques.
La capacité d’un modèle à produire une démonstration originale validée par des spécialistes ouvre un nouveau champ de réflexion pour les universités, les laboratoires et les institutions scientifiques européennes, où les débats sur l’encadrement de l’intelligence artificielle restent particulièrement actifs.
Reste désormais à savoir si cette percée constituera un cas isolé ou le début d’une transformation plus profonde de la recherche mathématique contemporaine.
Alexandre Dumas est rédacteur pour Paris Tribune. Il suit l’actualité nationale et internationale, ainsi que les sujets liés à l’économie, aux entreprises, à la technologie et à la société. Il s’attache à fournir une information claire, fiable et utile, en mettant en perspective les événements qui comptent pour les lecteurs.