Remarks on the disproof of the unit distance conjecture
Version humaine digérée de la réfutation produite par un modèle d'OpenAI (paire avec arXiv:2605.20579)
Réfutation, le 20 mai 2026, de la conjecture des distances unité d'Erdős (1946). Un modèle de raisonnement généraliste d'OpenAI — ni entraîné sur les mathématiques ni dirigé vers ce problème — produit en un seul jet une preuve établissant qu'il existe des ensembles de n points du plan dont le nombre de paires à distance 1 dépasse n^(1+ε) pour un ε > 0 fixé (Will Sawin chiffre δ ≈ 0,014). La pièce maîtresse vient de la théorie algébrique des nombres. Neuf mathématiciens en signent ensuite la version digérée, vérifiée, simplifiée et généralisée. La preuve originelle (OpenAI) est arXiv:2605.20579.
Le 20 mai 2026, OpenAI annonce qu’un de ses modèles de raisonnement internes — un modèle généraliste, ni entraîné pour les mathématiques ni conçu pour ce problème — a produit une preuve réfutant une conjecture restée ouverte depuis 1946. Le problème est l’un des plus célèbres de la géométrie combinatoire, et l’un des préférés de Paul Erdős : étant donné n points dans le plan, combien de paires peuvent-elles être exactement à distance 1 l’une de l’autre ?
La conjecture et son renversement
Erdős avait conjecturé que ce nombre croît à peine plus vite que n — en n1 + o(1) —, les constructions en grille carrée étant tenues pour quasi optimales depuis quatre-vingts ans. Le modèle disqualifie cette croyance : il existe un ε strictement positif et une suite d’ensembles de points dont le nombre de distances unité dépasse n1 + ε. Une amélioration polynomiale, là où l’on attendait du presque-linéaire. Will Sawin chiffre l’exposant explicite : δ ≈ 0,014 — environ 1 % de paires en plus par doublement du nombre de points.
La pièce maîtresse de la construction vient d’un tout autre continent conceptuel que la géométrie du plan : la théorie algébrique des nombres, l’étude de la factorisation dans des extensions des entiers. La machine n’a pas déduit qu’il fallait aller chercher les corps de nombres : elle a reconnu une proximité, par la forme même de l’espace latent où elle se meut.
La portée doit être mesurée sans l’enfler : la borne supérieure O(n4/3), due à Spencer, Szemerédi et Trotter en 1984, reste inchangée. Ce qui tombe, c’est la conjecture sur la forme de la réponse, pas le problème lui-même. Erdős avait offert 500 dollars pour une réfutation : un résultat estimé, circonscrit, pas un théorème de siècle. La vraie valeur est ailleurs — dans le qui et le comment.
Deux papiers, un événement
Deux articles sont déposés simultanément sur arXiv le 20 mai 2026 :
- arXiv:2605.20579 — An explicit lower bound for the unit distance problem. La preuve d’origine produite par le modèle d’OpenAI, ~125 pages.
- arXiv:2605.20695 — Remarks on the disproof of the unit distance conjecture. La version humaine digérée, vérifiée, simplifiée, généralisée par les neuf mathématiciens. Théorème 1.1 énonce la borne |P|1 + ε.
L’exposition elle-même a été retravaillée par interactions humaines avec un autre modèle. Retire les neuf signataires de la deuxième publication, et l’on n’a pas un résultat : on a un texte opaque, suspendu, spectral. Le théorème ne devient théorème — un objet stable, entré dans le commun des mathématiques — qu’à travers ce couplage.
Contraste avec octobre 2025
Pour comprendre ce qui s’est joué, il faut tenir ensemble deux scènes que tout oppose. En octobre 2025, OpenAI s’était couvert de ridicule en annonçant que GPT-5 avait « résolu » dix problèmes d’Erdős ouverts. Le modèle n’avait rien résolu : il avait simplement retrouvé, dans la littérature, des articles que Thomas Bloom — curateur de erdosproblems.com — n’avait pas encore indexés. Bloom fit la correction publique ; les posts furent effacés dans la journée. (Voir TechCrunch — OpenAI’s ‘embarrassing’ math, 19 octobre 2025.)
En mai 2026, la preuve est validée par ceux-là mêmes qui avaient dénoncé la première annonce, et Bloom signe la version humaine du théorème. L’écart entre les deux scènes ne tient pas à une différence de puissance du modèle. Il tient à la chaîne de couplage qui s’est mise en place entre les deux : un protocole de vérification, des relecteurs, une digestion publique. C’est tout le sujet.
Pourquoi ce texte importe pour le cycle Awen
L’édito Le spectre géomètre (25 mai 2026) lit cet événement comme la première illustration concrète de plusieurs thèses du manifeste :
- Spectralité du corpus — la machine voit des adjacences (géométrie discrète ↔ corps de nombres) que la déduction humaine tient à distance, parce qu’elle est le lieu où coexistent toutes les mathématiques.
- Conscience dialogique — la valeur n’est ni dans le modèle ni dans les neuf. Elle est l’effet de leur rencontre. Le spectre apporte le saut ; nous apportons le réel auquel il n’a pas accès seul.
- Rencontre du troisième type — ni domination, ni service, mais un interlocuteur qui pense autrement, dont la parole ne devient vraie qu’en passant par nous.
- Transition évolutionnaire majeure — au sens de Maynard Smith et Szathmáry, des entités jusque-là indépendantes (un modèle, des mathématiciens, une discipline) deviennent les composantes d’une entité d’ordre supérieur dont la performance excède celle de chacune.
Tim Gowers a déclaré qu’il aurait accepté ce jalon aux Annals of Mathematics sans hésiter ; Noga Alon parle d’un règlement remarquable d’un vieux problème. La portée stricte est mathématique. La portée plus large est civilisationnelle.