Un problème d'enfant, une résistance de géant
Prenez une feuille de papier. Placez-y n points, au hasard ou avec soin. Maintenant comptez combien de paires de points sont séparées par une distance exactement égale à 1. Ce nombre peut-il croître indéfiniment, ou se heurte-t-il à une limite infranchissable ? La question paraît presque naïve. Elle a résisté quatre-vingts ans aux meilleurs mathématiciens de la planète.
En 1946, Paul Erdős — ce mathématicien hongrois nomade qui résolvait des problèmes comme d'autres respirent, et qui offrait des récompenses en espèces pour les questions qu'il ne parvenait pas à trancher — pose le problème dans un article fondateur sur les distances entre n points. Sa conjecture : le nombre maximal de paires à distance 1 dans un ensemble de n points du plan ne peut pas croître plus vite que n1+o(1) — une expression qui signifie, en clair, que l'exposant reste asymptotiquement proche de 1, sans jamais le dépasser franchement. Autrement dit, vous ne pouvez pas « trop » accumuler de paires à distance 1 : passé un certain seuil, les contraintes géométriques vous rattrapent.
Quatre-vingts ans de tentatives. Des générations de combinatoriciens. Et en 2026, un modèle d'OpenAI produit une réfutation complète — une construction montrant qu'il existe bien des ensembles de points avec beaucoup plus de paires à distance 1 que ce qu'Erdős croyait possible.
Ce que la preuve construit vraiment
On pourrait imaginer que réfuter une conjecture de géométrie plane consiste à trouver une jolie configuration de points dans le plan, un arrangement malin de cercles qui se croisent au bon endroit. Pas du tout.
Selon le manuscrit de preuve publié par OpenAI, la construction passe par des corps de nombres — des extensions algébriques du corps des rationnels — et des réseaux de grande dimension. L'idée, grossièrement : on fabrique une structure arithmétique très riche dans un espace de haute dimension, on la projette ensuite dans le plan, et on obtient un nuage de points où les distances 1 prolifèrent bien au-delà de ce que la conjecture autorisait.
La machinerie mobilisée : tours infinies non ramifiées de corps de nombres, groupes de Galois en puissances de 3, théorème de Golod–Shafarevich — un résultat de théorie algébrique des nombres développé dans les années 1960 pour un tout autre problème, celui des tours de corps de classes, et qui se retrouve ici convoqué pour compter des paires de points dans le plan. Ce sont les détours par d'autres domaines des mathématiques, utilisés ici par l'IA, qui créent la surprise
Le résultat précis, tel que le formule la base de problèmes d'Erdős annotée par Thomas Bloom : il existe un δ > 0 tel que pour une infinité de valeurs de n, on peut placer n points dans le plan avec au moins n1+δ paires à distance 1. Ce n'est pas un contre-exemple isolé pour un n particulier — c'est une infinité de contre-exemples, ce qui détruit la conjecture à la racine. Will Sawin, l'un des vérificateurs, a même précisé la valeur δ = 0,014, selon le communiqué officiel d'OpenAI.
L'IA a eu l'idée. Les humains ont vérifié.
Ce qui rend cet événement différent des précédentes annonces sur l'IA et les mathématiques — et il y en a eu beaucoup ces dernières années, souvent moins convaincantes — c'est la réaction des spécialistes. Tim Gowers, médaillé Fields, a déclaré : « Il ne fait aucun doute que la résolution du problème des distances unitaires est une étape majeure pour l'IA en mathématiques. » Daniel Litt, mathématicien consulté par OpenAI pour vérifier la preuve sans être affilié à l'entreprise, a été plus direct encore : « C'est le seul résultat vraiment intéressant produit de manière autonome par une IA jusqu'à présent. »
Ces citations sont issues du papier compagnon signé par Noga Alon, W. T. Gowers, Thomas Bloom et six autres mathématiciens, qui ont reconstruit, vérifié et exposé humainement la preuve générée par le modèle. Ce papier compagnon est lui-même une pièce intéressante du puzzle : il montre que la valeur mathématique du résultat ne dépend pas de son origine, mais que la lisibilité et la vérifiabilité, elles, dépendent encore très largement du travail humain. Thomas Bloom le formule sans détour : « L'humain joue encore un rôle vital pour discuter, digérer et améliorer cette preuve. »
La pelleteuse a creusé. Les architectes ont ensuite dessiné les plans.
C'est précisément là que la métaphore de Gaël Varoquaux dans Les Echos prend tout son sens. Une pelleteuse mécanique déplace en quelques minutes ce qu'une équipe d'ouvriers mettrait des jours à creuser. Mais elle ne choisit pas où creuser, ne comprend pas pourquoi, et ne construit pas la maison. L'IA a produit une preuve là où les humains avaient échoué — mais elle n'a pas posé le problème, n'a pas décidé qu'il valait la peine d'être résolu, et n'a pas rédigé seule le papier que la communauté peut lire.
Des questions moins confortables se posent aussi. Selon Science News, OpenAI aurait soumis plusieurs fois le même problème au modèle et obtenu la solution dans environ 50 % des essais — mais ces données n'ont pas été publiées ni évaluées par les pairs. Le temps de calcul exact reste inconnu. Le modèle lui-même n'est pas public. Et la Déclaration de Leiden sur l'IA et les mathématiques, signée par plus de 1 500 chercheurs début juin 2026, réclame des garde-fous : qui vérifie ces preuves ? Comment attribuer les idées ? Que devient une discipline dont les résultats pourraient être produits en masse par des systèmes inaccessibles ?
Melanie Matchett Wood, l'une des signataires du papier compagnon, résume l'ambivalence : « C'est un beau morceau de mathématiques qui a été découvert. » Le beau est là. La question de savoir qui — ou quoi — l'a découvert reste, elle, ouverte.
Ce que cette percée révèle peut-être le plus clairement, c'est la structure même du travail mathématique. Poser le bon problème, reconnaître qu'une idée venue d'ailleurs — ici, la théorie algébrique des nombres — pourrait s'appliquer à une question géométrique, puis convaincre une communauté que la preuve est juste : chacune de ces étapes a une nature différente. L'IA a brillé sur l'une d'elles. Les autres restent, pour l'instant, résolument humaines.
Concepts à emporter
Ce que dit exactement le théorème — et pourquoi l'exposant change tout
Notons ν(n) le nombre maximal de paires à distance 1 dans un ensemble de n points du plan euclidien. La borne supérieure élémentaire — obtenue par un argument combinatoire classique dit de Kővári–Sós–Turán — donne ν(n) = O(n3/2). En 1984, Spencer, Szemerédi et Trotter ont amélioré ce résultat en O(n4/3), exploitant des théorèmes d'incidences points-droites spécifiques à la géométrie euclidienne. Cette borne supérieure tient toujours.
Du côté des bornes inférieures, Erdős avait lui-même montré, via des constructions par points de réseau entier, que ν(n) ≥ n1+c/log log n pour une certaine constante c > 0. L'exposant effectif vaut alors 1 + c/log log n, qui tend vers 1 quand n → ∞ — très lentement, mais il tend vers 1. La conjecture affirmait que cette construction de réseau était essentiellement optimale : ν(n) ≤ n1+O(1/log log n).
Ce que la preuve OpenAI établit, selon le manuscrit, c'est l'existence d'un δ > 0 fixe tel que ν(n) ≥ n1+δ pour une infinité de n. La différence avec la borne d'Erdős est qualitative : l'exposant ne tend plus vers 1, il reste strictement supérieur à 1. C'est ce saut d'un exposant « glissant » vers un exposant fixe qui détruit la conjecture. La valeur δ = 0,014 précisée par Sawin reste très loin de la borne supérieure n4/3 — l'écart entre les deux bornes est encore immense — mais l'existence d'un tel δ suffit à invalider définitivement la conjecture.
