IA d'OpenAI réfute une conjecture d’Erdős vieille de 80 ans

Résumé exécutif

• Le modèle de raisonnement d’OpenAI a produit une preuve réfutant une conjecture posée par Paul Erdős en 1946 sur le nombre maximum de paires de points à distance unité dans le plan.
• Neuf mathématiciens extérieurs à OpenAI ont relu et validé le résultat ; le médaillé Fields Tim Gowers juge la preuve digne d’une grande revue comme les Annals of Mathematics.
• L’IA a quitté la géométrie combinatoire pour utiliser la théorie des nombres algébriques, une branche éloignée, en exploitant des racines de l’unité et des corps de nombres.
• Le modèle n’a reçu aucun entraînement mathématique spécifique ; il s’agit de la même architecture utilisée pour des courriels ou du code Python.
• Trois mathématiciens d’OpenAI (dont Mark Sellke, ancien médaillé d’or aux Olympiades internationales, et Mehtaab Sawhney, lauréat du prix Morgan) ont guidé et vérifié la démonstration.
• La preuve initiale faisait 125 pages ; une version éditée a été publiée, et des relecteurs extérieurs (dont Will Sawin de Princeton) ont simplifié l’argument.
• Le problème reste ouvert pour la valeur exacte du maximum ; l’IA a seulement réfuté une ancienne conjecture, et la meilleure borne supérieure reste celle de Szemerédi.

Introduction

En 1946, le mathématicien hongrois Paul Erdős s’est interrogé sur le nombre maximum de paires de points pouvant être exactement à une distance unité les unes des autres, lorsqu’on place n points dans le plan. Ce problème de géométrie combinatoire, connu sous le nom de « problème des distances unitaires d’Erdős », est resté sans résolution pendant près de quatre-vingts ans. Les meilleures configurations connues provenaient de quadrillages carrés, et personne n’avait réussi à dépasser ce seuil de manière significative. Aujourd’hui, un modèle d’intelligence artificielle d’OpenAI est parvenu à réfuter une conjecture clé liée à ce problème, ouvrant une voie vers une meilleure compréhension du maximum possible. Cette performance marque une première : jamais une IA n’avait résolu seule un problème mathématique ouvert de cette importance.

Comment une IA généraliste a-t-elle résolu un problème mathématique ouvert ?

Un modèle sans spécialisation mathématique

Le modèle utilisé par OpenAI n’a pas été conçu pour les mathématiques. Il s’agit d’un modèle de langage généraliste, capable de rédiger des courriels, de produire du code Python ou d’analyser des textes. Sebastian Bubeck et Noam Brown, chercheurs chez OpenAI, précisent qu’il n’y a aucune parenté avec AlphaProof, l’outil de démonstration formelle de Google DeepMind. Aucun corpus mathématique spécifique n’a été ajouté, et le modèle n’a pas été réglé sur le problème d’Erdős. Pourtant, il a trouvé une preuve que des mathématiciens ont jugée solide.

Un changement de domaine inattendu

Le problème original relevait de la géométrie combinatoire. Le modèle a cependant quitté ce domaine pour se tourner vers la théorie des nombres algébriques, une branche très éloignée. Dans son raisonnement, il a utilisé des racines de l’unité et des puissances d’un point rationnel du cercle. Le basculement est venu d’une remarque surprenante : tout arrangement optimal peut être écrit avec des nombres algébriques, mais au prix d’un degré élevé. Là où un mathématicien aurait pu voir une difficulté, le modèle a perçu une opportunité de construire un contre-exemple en explorant les corps de nombres. Selon Sebastian Bubeck, la première version de la preuve semblait trop belle pour être vraie ; le résumé du raisonnement s’étalait sur 125 pages.

Une validation par des experts humains

OpenAI a mis en place un processus de vérification interne et externe. Trois mathématiciens employés par OpenAI ont supervisé le travail : Mark Sellke (médaillé d’or aux Olympiades internationales de mathématiques, classé parmi les six meilleurs au concours Putnam), Mehtaab Sawhney (lauréat du prix Morgan, récompensant la recherche d’étudiant) et un troisième chercheur (non nommé dans l’article source). Ils ont aidé à guider le modèle et ont vérifié la correction. Neuf mathématiciens extérieurs ont ensuite relu et validé le résultat. Will Sawin, mathématicien à Princeton, a même simplifié l’argument après lecture, ramenant la construction à un seul nombre premier rationnel.

Quelles sont les implications de cette démonstration pour les mathématiques et l’IA ?

Une avancée dans l’utilisation des LLM pour la recherche

Cette preuve montre qu’un modèle de langage généraliste peut apporter une contribution significative à un problème ouvert, à condition d’être guidé par des experts. Le résultat ne signifie pas que les IA remplacent les mathématiciens, mais qu’elles peuvent explorer des voies inattendues, comme le passage à la théorie des nombres. Tim Gowers, médaillé Fields, a estimé qu’un rapporteur des Annals of Mathematics accepterait le texte sans hésiter, bien que la preuve n’ait pas encore été soumise à cette revue. Le processus complet de relecture par les pairs prendra plusieurs mois.

Les limites de l’autonomie : un précédent à ne pas oublier

OpenAI a déjà connu un revers en octobre 2025, lorsqu’un vice-président de l’entreprise avait annoncé à tort la résolution d’un problème d’Erdős. Ce modèle avait en réalité retrouvé des solutions déjà publiées. Thomas Bloom, qui tient le site recensant les problèmes d’Erdős, avait dénoncé cette annonce erronée. Cette fois, Bloom cosigne le papier de vérification et reconnaît qu’aucune IA n’avait accompli une telle performance. Cependant, plusieurs relecteurs extérieurs n’ont pas consulté la sortie brute du modèle ; la version diffusée est une chaîne de raisonnement éditée, retravaillée avec Codex pour l’exposition. OpenAI affirme que le fichier de preuve a été généré en une seule fois, sans intervention humaine sur le contenu mathématique.

Des conséquences sur la compréhension du problème d’Erdős

La conjecture d’Erdős attachait un prix de 500 $ (environ 430 €) à sa résolution. Le modèle a réfuté la conjecture, mais la valeur exacte du maximum reste inconnue. La meilleure borne supérieure connue demeure celle de Szemerédi. Des équipes extérieures au panel initial de relecteurs liront la preuve dans les semaines à venir. Le gain par rapport aux configurations connues est chiffré par un exposant d’environ 0,014, obtenu par Will Sawin. Cela signifie que la nouvelle borne est très légèrement supérieure au plafond des quadrillages carrés, mais le problème n’est pas clos.

À retenir

1. Un modèle de langage généraliste d’OpenAI a réfuté une conjecture d’Erdős de 1946 sur les distances unitaires dans le plan.
2. La preuve a été validée par neuf mathématiciens extérieurs, dont Tim Gowers et Will Sawin.
3. Le modèle a utilisé la théorie des nombres algébriques, alors que le problème relevait de la géométrie combinatoire.
4. Aucun entraînement mathématique spécifique n’a été effectué ; le modèle est le même que celui utilisé pour d’autres tâches.
5. Le processus de vérification a impliqué des experts internes (Mark Sellke, Mehtaab Sawhney) et des relecteurs externes.
6. La valeur exacte du maximum n’est pas déterminée ; seule la conjecture est réfutée.
7. Cette performance marque une première, mais elle n’est pas totalement autonome : la version publiée a été éditée et simplifiée.

Questions fréquentes

Quelle est la conjecture d’Erdős réfutée par l’IA ?

Paul Erdős s’intéressait au nombre maximum de paires de points pouvant être exactement à une distance unité dans le plan, pour n points donnés. La conjecture sous-jacente était que le maximum était proche du nombre de paires obtenu avec un quadrillage carré. L’IA a construit une configuration qui dépasse ce quadrillage, réfutant l’hypothèse que ce dernier était optimal.

Comment l’IA a-t-elle procédé pour trouver la preuve ?

Le modèle a changé de domaine : au lieu de travailler en géométrie, il a utilisé la théorie des nombres algébriques. Il a remarqué que tout arrangement optimal peut être exprimé algébriquement, puis a exploité des corps de nombres pour construire un contre-exemple. Le raisonnement a été guidé par des mathématiciens d’OpenAI, et la preuve finale a été éditée pour être publiée.

Cette preuve est-elle considérée comme une avancée majeure en mathématiques ?

Oui, car c’est la première fois qu’une IA résout un problème ouvert de cette importance. Tim Gowers a jugé la preuve digne des Annals of Mathematics. Cependant, des relectures supplémentaires sont nécessaires, et le problème n’est pas entièrement résolu : seule la conjecture est réfutée, la valeur exacte du maximum reste inconnue.

L’IA a-t-elle travaillé en totale autonomie ?

Non. Trois mathématiciens d’OpenAI ont guidé le modèle et vérifié la correction. La version publiée est une chaîne de raisonnement éditée et retravaillée avec Codex. OpenAI affirme que le contenu mathématique est intact, mais des relecteurs extérieurs n’ont pas vu la sortie brute.

Conclusion

La réfutation d’une conjecture d’Erdős par un modèle de langage généraliste d’OpenAI constitue une étape importante dans l’interaction entre l’intelligence artificielle et les mathématiques. Elle démontre qu’un système non spécialisé peut, avec un cadre humain, trouver des solutions originales en explorant des domaines inattendus. Néanmoins, les limites de l’autonomie et la nécessité d’une validation rigoureuse restent essentielles. Ce résultat ouvre la voie à de nouvelles collaborations entre mathématiciens et IA, où la machine devient un explorateur d’idées plutôt qu’un simple calculateur. La suite dépendra de la capacité des modèles à généraliser cette approche à d’autres problèmes ouverts, et à produire des preuves entièrement vérifiables sans intervention humaine.