L’IA d’OpenAI a réfuté Erdős — et les mathématiciens n’en reviennent pas
L’IA d’OpenAI vient de résoudre la conjecture d’Erdős — un problème mathématique qui résistait depuis 1946. Prenez une feuille de papier. Dessinez des points. Combien de paires pouvez-vous placer pour qu’elles soient toutes séparées d’exactement un centimètre ?
La question paraît presque enfantine. Elle a résisté aux plus grands mathématiciens du monde pendant 80 ans. Le 20 mai 2026, un modèle d’OpenAI a tranché — en quelques heures, seul, sans guide humain. Et sa réponse contredit ce que Paul Erdős, l’un des mathématiciens les plus prolifiques du XXe siècle, croyait être vrai depuis 1946.
La conjecture d’Erdős : simple à énoncer, impossible à résoudre
Pour comprendre ce qui vient de se passer, il faut d’abord saisir ce qu’est la conjecture des distances unitaires. Paul Erdős pose la question en 1946 : dans un ensemble de n points placés dans un plan, quel est le nombre maximal de paires séparées par exactement une unité de distance ? La formulation est limpide. Mais la réponse, elle, s’est dérobée pendant huit décennies.
Erdős avait formulé une conjecture précise : ce nombre maximal de paires ne croît que très légèrement plus vite que le nombre total de points, selon une loi mathématique que les spécialistes de géométrie discrète notent n^(1+ε). Et il pensait que la configuration optimale ressemblait à une grille carrée — un quadrillage simple, régulier. Depuis 1984 et les travaux de Spencer, Szemerédi et Trotter, aucun être humain n’avait réussi à avancer significativement sur ce problème. Les plus grands noms des mathématiques mondiales s’y étaient cassé les dents.
Ce que l’IA a découvert — et comment
Le modèle d’OpenAI a reçu l’énoncé brut du problème, sans orientation particulière, sans stratégie suggérée par un humain. En quelques heures, il a produit une démonstration qui réfute la conjecture d’Erdős sur un point central : la grille carrée n’est pas la configuration optimale. Il n’existe pas une seule meilleure configuration — il en existe une famille infinie, toutes plus efficaces que ce qu’Erdős avait imaginé.
Ce qui rend la méthode aussi remarquable que le résultat, c’est le chemin emprunté. Pour dépasser le blocage dans lequel les mathématiciens humains étaient enfermés depuis les années 1980, le modèle a combiné deux disciplines que personne n’avait naturellement rapprochées dans ce contexte : la géométrie — l’étude des formes et des espaces — et la théorie algébrique des nombres, plus précisément les tours de corps de classes et le théorème de densité de Chebotarev. Des outils issus de branches très différentes des mathématiques, assemblés d’une façon que les chercheurs humains n’avaient pas explorée. Ce n’est pas un calcul brute force. C’est une idée nouvelle.
OpenAI le souligne explicitement dans son billet de blog du 20 mai : « Ce résultat est remarquable par la manière dont il a été obtenu. La preuve a été fournie par un modèle de raisonnement polyvalent, non par un système spécifiquement formé aux mathématiques. » Dit autrement : le modèle n’était pas entraîné pour résoudre ce problème. Il l’a résolu avec les mêmes capacités qu’il mobilise pour d’autres tâches.
Neuf experts, dont un médaillé Fields
OpenAI avait toutes les raisons d’être prudent. En 2025, l’entreprise avait hâtivement annoncé une « résolution » d’un autre problème mathématique — qui s’était révélée fausse à la vérification. Cet épisode embarrassant a changé la méthode. Cette fois, avant toute communication publique, la démonstration a été soumise à neuf chercheurs indépendants — dont Tim Gowers, médaillé Fields, la plus haute distinction mathématique mondiale. Tous ont confirmé la validité du résultat. La preuve a également été rédigée dans le langage de vérification formelle Lean, ce qui permet à des programmes informatiques de vérifier chaque étape logique sans ambiguïté possible.
La réserve qui subsiste est documentée et honnête : la preuve initiale ne fournit pas de valeur numérique explicite pour le paramètre central δ — un raffinement ultérieur, dû à des chercheurs humains travaillant à partir de la démonstration de l’IA, a comblé cette lacune. Ce n’est pas une faille dans la preuve. C’est une invitation à la collaboration entre intelligence humaine et artificielle qui dit quelque chose d’important sur ce que ce résultat inaugure.
Ce que ça change — et ce que ça ne change pas
La première chose à dire, c’est que résoudre la conjecture d’Erdős sur les distances unitaires ne va pas changer votre vie la semaine prochaine. Les applications directes sont inexistantes à court terme. Ce n’est pas comme découvrir un nouveau médicament ou une nouvelle source d’énergie. C’est une percée dans la compréhension fondamentale des structures géométriques — le genre de découverte dont les applications pratiques mettent parfois des décennies à émerger, parfois n’émergent jamais, et dont la valeur est en soi de repousser la frontière de ce que l’humanité comprend.
Ce qui change, en revanche, c’est la nature de la recherche mathématique. Jusqu’ici, l’IA aidait les mathématiciens à vérifier des démonstrations, à explorer des cas particuliers, à accélérer des calculs fastidieux. Le 20 mai 2026, elle a produit une idée originale — une approche que personne n’avait envisagée, dans un domaine où les humains les plus brillants avaient atteint leurs limites. Ce n’est pas de l’assistance. C’est de la découverte autonome.
Terry Tao, considéré comme le meilleur mathématicien vivant, avait dit en 2024 qu’il pensait que l’IA pourrait contribuer à la recherche mathématique « de la même façon qu’un étudiant en doctorat très brillant mais peu expérimenté » — utile, mais pas encore capable d’intuition originale. Le résultat d’OpenAI du 20 mai est une réponse directe à cette prédiction. La frontière entre outil et chercheur vient de bouger.
La mise en garde qui s’impose
Il serait malhonnête de ne pas mentionner la réserve que plusieurs mathématiciens ont exprimée. Une preuve vérifiée par neuf experts et formalisée en Lean est solide. Mais la communauté scientifique attend encore une publication complète et détaillée dans une revue à comité de lecture, qui permettrait à l’ensemble de la discipline de reprendre et d’étendre la démonstration sans dépendre du récit d’OpenAI. Tant que cette étape n’est pas franchie, l’annonce reste une promesse spectaculaire vérifiée — pas encore un fait scientifique définitivement ancré dans la littérature.
Ce moment s’inscrit dans un contexte que nous suivons de près sur AdrienTech. L’IA qui résout des problèmes mathématiques millénaires, l’IA couplée aux puces quantiques pour améliorer ses propres capacités de raisonnement, les agents IA qui mènent des cyberattaques autonomes — ce sont des signaux cohérents d’un même phénomène : l’IA sort du domaine des tâches bien définies pour entrer dans celui de la découverte ouverte. C’est une frontière que beaucoup pensaient encore lointaine il y a deux ans. Elle vient d’être franchie le 20 mai 2026, sur une feuille de papier couverte de points.
Article rédigé le 21 juin 2026 par Adrien Hassler, passionné d’astronomie, d’IA et de nouvelles technologies, et créateur d’AdrienTech.com
