Comment une IA a produit un contre‑exemple à la conjecture des distances unitaires d’Erdős

Le problème des distances unitaires

Considérons un ensemble fini de points dans le plan.

Certaines paires de points peuvent être exactement séparées par une distance de 1.

On note :

• ν(P) : le nombre de paires de points à distance 1 dans un ensemble P
• ν(n) : le nombre maximal possible de telles paires parmi tous les ensembles de n points

La question centrale consiste à comprendre comment ν(n) croît lorsque n augmente.

La conjecture d’Erdős

Dans son article de 1946, Erdős proposa une construction basée sur une grille approximativement √n × √n. Elle produit environ

n^(1 + Ω(1 / log log n))

paires de points à distance 1.

Il conjectura que cette construction était essentiellement optimale — autrement dit que le maximum possible restait presque linéaire en n.

Par ailleurs, un résultat majeur obtenu en 1984 par Spencer, Szemerédi et Trotter établit une borne supérieure :

ν(n) = O(n^(4/3)).

Depuis, la recherche se situe entre ces deux bornes très éloignées, laissant un large écart dans la compréhension du problème.

Le contre‑exemple proposé par l’IA

Le travail publié par OpenAI affirme qu’il existe une constante δ > 0 telle que

ν(n) ≥ n^(1+δ)

pour une infinité de valeurs de n.

Si cette affirmation est correcte, elle contredit directement la conjecture d’Erdős. Celle‑ci autorisait seulement une croissance de type

n^(1 + o(1)),

c’est‑à‑dire à peine plus rapide que linéaire. L’existence d’un exposant fixe positif δ signifie que certaines configurations produisent polynômialement plus de distances unitaires que ce que la conjecture autorisait.

Une idée inattendue : passer par la théorie des nombres

Les constructions précédentes reposaient surtout sur des configurations géométriques régulières, comme les grilles.

La nouvelle approche emprunte un chemin très différent : la théorie algébrique des nombres.

Au cœur de la construction apparaissent plusieurs objets avancés :

• des corps de nombres totalement réels organisés en tours infinies de corps de classes
• des constructions de type Golod–Shafarevich, qui garantissent l’existence de telles tours infinies
• des champs CM obtenus en adjoignant l’unité imaginaire i

Ces structures permettent de produire des réseaux de grande dimension contenant de nombreux éléments de norme 1. Lorsqu’on projette cette structure dans le plan euclidien, ces relations de norme correspondent à un grand nombre d’arêtes de longueur exactement 1 entre les points.

L’avantage de cette approche est qu’elle génère bien plus de relations de distance que les schémas géométriques classiques.

Pourquoi cela contredit la conjecture

La différence entre les deux prédictions peut sembler subtile, mais elle est cruciale.

• Conjecture d’Erdős : croissance presque linéaire (n^(1+o(1)))
• Nouvelle construction : croissance polynomiale plus rapide (n^(1+δ))

Comme δ reste strictement positif, l’écart entre les deux quantités devient arbitrairement grand quand n augmente. Cela suffit à falsifier la conjecture.

Vérification et analyse par des mathématiciens

Après la diffusion du résultat, plusieurs mathématiciens ont examiné l’argument et publié une présentation synthétique vérifiée par des humains, accompagnée de commentaires.

Le document inclut notamment des contributions de chercheurs tels que Noga Alon, Timothy Gowers, Thomas Bloom, Will Sawin et Melanie Matchett Wood. Leur texte résume la construction et explique comment elle relie différents domaines de la théorie des nombres pour produire ces configurations géométriques.

Pourquoi ce résultat attire autant l’attention

L’intérêt dépasse la géométrie discrète elle‑même. Le résultat est présenté comme un cas rare où un système d’IA produit un argument mathématique inédit pour un problème ouvert majeur, plutôt que de retrouver une solution déjà connue.

Si la preuve résiste à l’examen approfondi de la communauté mathématique — un processus qui peut prendre du temps — elle pourrait représenter un moment important dans l’histoire de la recherche assistée par l’IA.

Au‑delà du verdict final, cette avancée illustre déjà une évolution : la découverte mathématique peut désormais émerger d’une interaction entre systèmes de raisonnement automatisés et validation humaine, explorant des pistes que les chercheurs n’avaient pas envisagées auparavant.