Le problème de la distance unitaire d'Erdős a été résolu en mai 2026 par un modèle de raisonnement d'OpenAI, qui a réfuté la célèbre conjecture du mathématicien
L'IA a démontré qu'on pouvait obtenir un nombre de paires supérieur à ce que l'on croyait
Pendant des décennies, les meilleures constructions connues reposaient sur des grilles carrées — des arrangements en treillis régulier générant naturellement de nombreuses paires à distance unitaire
Les mathématiciens supposaient que ces grilles étaient essentiellement optimales, et qu'aucun arrangement ne pouvait les surpasser de manière significative
Pendant près de 80 ans, personne ne pùt prouver cette conjecture, ni la réfuter
Elle resta inscrite dans les problèmes ouverts de la géométrie discrète
Plutôt que de travailler dans le cadre des constructions géométriques classiques ou d'itérer sur des grilles carrées, le modèle a relié le problème à la théorie algébrique des nombres — une branche des mathématiques normalement associée aux corps de nombres et à l'algèbre abstraite, et non aux problèmes géométriques
Plus précisément, il a utilisé des techniques issues des tours de corps de classes infinis et de la théorie de Golod-Shafarevich — des outils arithmétiques avancés qui révèlent des symétries cachées dans des systèmes numériques exotiques
Ramenées à la géométrie, ces symétries ont produit des configurations de points contenant bien plus de paires à distance unitaire qu'aucune grille carrée n'avait jamais pu en générer
Jusqu'à présent, une disposition en grille carrée était jugée optimale pour obtenir le nombre maximale de paires pour une croissance notée n1+o(1)
[où o(1) tend vers 0]
Cependant, OpenAI vient de prouver le contraire
Le résultat est noté n1+δ
[où δ est une constante non nulle]
Ce qui rend cette percée particulièrement remarquable : il ne s'agissait pas d'un système spécialisé en mathématiques, mais d'un modèle de raisonnement général — le même type utilisé pour générer du code ou analyser des documents — qui a découvert quelque chose de nouveau en mathématiques pure
le mathématicien de Princeton, Will Sawin, a affiné la construction du modèle et l'a exprimée avec un exposant fixe précis, lui donnant la forme rigoureuse et publiable qu'exige la théorie des nombre
Un article compagnon co-rédigé avec Noga Alon de Princeton contextualise la démonstration et explique pourquoi la théorie algébrique des nombres était la clef que la géométrie classique avait manquée pendant 80 ans
Le fait qu'un modèle généraliste ait réussi là où des efforts spécialisés avaient échoué soulève une question fondamentale sur le sens réel du "raisonnement". Les mathématiques pourraient justement tirer parti du type de pensée associative large que développent les modèles généraux — la capacité à percevoir des analogies entre des domaines éloignés*, plutôt que de se limiter à la manipulation symbolique au sein d'un seul champ disciplinaire
https://openai.com/fr-FR/index/model-disproves-discrete-geometry-conjecture/
avant l'ia
après
L'IA a démontré qu'on pouvait obtenir un nombre de paires supérieur à ce que l'on croyait
Pendant des décennies, les meilleures constructions connues reposaient sur des grilles carrées — des arrangements en treillis régulier générant naturellement de nombreuses paires à distance unitaire
Les mathématiciens supposaient que ces grilles étaient essentiellement optimales, et qu'aucun arrangement ne pouvait les surpasser de manière significative
Pendant près de 80 ans, personne ne pùt prouver cette conjecture, ni la réfuter
Elle resta inscrite dans les problèmes ouverts de la géométrie discrète
Plutôt que de travailler dans le cadre des constructions géométriques classiques ou d'itérer sur des grilles carrées, le modèle a relié le problème à la théorie algébrique des nombres — une branche des mathématiques normalement associée aux corps de nombres et à l'algèbre abstraite, et non aux problèmes géométriques
Plus précisément, il a utilisé des techniques issues des tours de corps de classes infinis et de la théorie de Golod-Shafarevich — des outils arithmétiques avancés qui révèlent des symétries cachées dans des systèmes numériques exotiques
Ramenées à la géométrie, ces symétries ont produit des configurations de points contenant bien plus de paires à distance unitaire qu'aucune grille carrée n'avait jamais pu en générer
Jusqu'à présent, une disposition en grille carrée était jugée optimale pour obtenir le nombre maximale de paires pour une croissance notée n1+o(1)
[où o(1) tend vers 0]
Cependant, OpenAI vient de prouver le contraire
Le résultat est noté n1+δ
[où δ est une constante non nulle]
Ce qui rend cette percée particulièrement remarquable : il ne s'agissait pas d'un système spécialisé en mathématiques, mais d'un modèle de raisonnement général — le même type utilisé pour générer du code ou analyser des documents — qui a découvert quelque chose de nouveau en mathématiques pure
le mathématicien de Princeton, Will Sawin, a affiné la construction du modèle et l'a exprimée avec un exposant fixe précis, lui donnant la forme rigoureuse et publiable qu'exige la théorie des nombre
Un article compagnon co-rédigé avec Noga Alon de Princeton contextualise la démonstration et explique pourquoi la théorie algébrique des nombres était la clef que la géométrie classique avait manquée pendant 80 ans
Le fait qu'un modèle généraliste ait réussi là où des efforts spécialisés avaient échoué soulève une question fondamentale sur le sens réel du "raisonnement". Les mathématiques pourraient justement tirer parti du type de pensée associative large que développent les modèles généraux — la capacité à percevoir des analogies entre des domaines éloignés*, plutôt que de se limiter à la manipulation symbolique au sein d'un seul champ disciplinaire
Spoiler:
https://openai.com/fr-FR/index/model-disproves-discrete-geometry-conjecture/
avant l'ia
après
, mais les dessins sont très jolis. 
