Séisme dans les maths : l’IA résout une énigme insoluble depuis 80 ans
Un modèle d’OpenAI a résolu seul un problème de géométrie que les plus grands mathématiciens n’avaient pas réussi à dépasser en huit décennies. Ce n’est pas une performance de calcul. C’est une idée nouvelle, vérifiée, publiée, et qui change la façon dont la recherche mathématique va se pratiquer.
Le 20 mai 2026 restera sans doute comme une date charnière dans l’histoire des sciences. Ce jour-là, OpenAI a annoncé qu’un de ses modèles de raisonnement avait réussi, de manière totalement autonome, à infirmer la borne proposée par Paul Erdős dans sa conjecture des distances unitaires — un problème de géométrie discrète qui résistait aux mathématiciens depuis 1946.
Ce succès marque une rupture réelle. Nous ne parlons plus d’une IA capable de trier des données ou de réussir un examen, mais d’un système capable de produire une idée mathématique genuinement nouvelle, là où les meilleurs spécialistes humains avaient échoué depuis des décennies.
La conjecture d’Erdős, ou le piège de la simplicité
Posée par le légendaire mathématicien hongrois Paul Erdős il y a exactement 80 ans, la conjecture des distances unitaires est d’une formulation trompeusement simple.
Le problème : Si vous placez nn n points sur un plan, combien de paires de points peut-on positionner de façon à ce qu’elles soient séparées par exactement la même distance — disons, une unité ?
Pendant huit décennies, la communauté mathématique a partagé la même intuition : pour maximiser ces paires, il fallait aligner les points selon des structures régulières — grilles carrées, réseaux triangulaires, motifs périodiques. Erdős lui-même avait conjecturé que le nombre maximal de telles paires ne pouvait pas dépasser une borne presque linéaire, notée n1+o(1)n^{1 + o(1)} n1+o(1).
Cette intuition géométrique a longtemps semblé indépassable. Ancrés dans leur perception visuelle et spatiale, les chercheurs n’imaginaient tout simplement pas qu’une autre famille de configurations puisse exister.
La méthode : un saut conceptuel, pas de la force brute
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
— OpenAI (@OpenAI) May 20, 2026
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that… pic.twitter.com/j2g3Ze0zEG
Pour dépasser cette borne, le modèle d’OpenAI n’a pas procédé par exploration exhaustive. Tester des milliards de configurations géométriques à l’aveugle n’aurait mené nulle part. La machine a emprunté un chemin radicalement différent.
Elle a transposé le problème depuis la géométrie discrète classique vers le domaine très abstrait de la théorie algébrique des nombres — un déplacement conceptuel que peu de mathématiciens auraient spontanément envisagé.
**Le mécanisme :** en mobilisant des structures comme les *corps CM* et les *tours de corps de classes de type Golod-Shafarevich*, le modèle a construit une nouvelle famille de configurations de points capables de surpasser radicalement les réseaux traditionnels. La borne établie est de type n1+δn^{1 + \delta} n1+δ, où δ\delta δ est une constante universelle strictement positive — ce qui **contredit formellement la conjecture d’Erdős**.
Le résultat a de quoi donner le vertige : la plus petite configuration illustrant cette découverte nécessite un nombre de points de l’ordre de 10195710^{1957} 101957. Un chiffre tellement astronomique qu’aucune représentation physique n’est concevable dans notre univers. C’est précisément ce qui explique pourquoi aucun esprit humain ne l’avait envisagée : cette configuration n’existe que dans l’espace abstrait des mathématiques.
Une preuve vérifiée à deux niveaux
If you are a mathematician, then you may want to make sure you are sitting down before reading further.
— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026
La Silicon Valley est coutumière des annonces fracassantes, et la communauté scientifique avait de bonnes raisons de rester prudente. Cette fois, deux dispositifs de validation indépendants ont levé les doutes.
1. La vérification formelle par Lean La preuve produite par le modèle a été soumise à Lean, un assistant de preuve formel qui vérifie chaque étape logique sans marge d’interprétation. Le résultat : validation complète, sans aucune faille. Le risque d’hallucination, souvent évoqué pour les IA, est ici éliminé par construction.
2. La relecture par les pairs Un comité de mathématiciens de premier plan — Noga Alon, Timothy Gowers, Will Sawin et Jacob Tsimerman — a examiné l’ensemble du raisonnement. Leur conclusion, publiée dans un document d’analyse, est sans ambiguïté : la preuve est rigoureuse, et le saut conceptuel opéré par la machine est, selon leurs propres termes, aussi inattendu qu’élégant.
Un point d’orgue, pas un point final
three of the things we are most excited about:
— Sam Altman (@sama) May 20, 2026
1. AGI accelerating research
2. AGI accelerating companies
3. personal AGI accelerating everyone in achieving their goals
today it was great to announce the unit distance result.
yesterday it was great to announce that we are…
Cette découverte n’est pas un exploit isolé. Depuis le début de l’année 2026, quinze problèmes d’Erdős qui stagnaient depuis des générations ont été résolus, dont onze directement attribués aux nouveaux modèles de raisonnement artificiel.
Les implications dépassent les mathématiques pures. En démontrant sa capacité à maintenir des chaînes de raisonnement longues et abstraites sans se perdre, cette technologie ouvre des perspectives concrètes dans d’autres domaines :
- Physique quantique : modélisation d’états de la matière jusqu’ici hors de portée.
- Biologie moléculaire : prédiction du repliement de protéines de très haute complexité.
- Cybersécurité : conception de systèmes de chiffrement dont la robustesse peut être vérifiée formellement.
Ce que cela change vraiment

La question n’est plus de savoir si une machine peut « penser ». Elle est trop chargée philosophiquement pour être utile. Ce que cette découverte montre concrètement, c’est qu’un système artificiel peut aujourd’hui explorer des espaces conceptuels inaccessibles à l’intuition humaine, non pas parce qu’il est plus intelligent, mais parce qu’il n’est pas contraint par les mêmes biais perceptifs.
Pour les mathématiciens, cela ne signe pas la fin de leur discipline, mais le début d’une pratique différente, dans laquelle certains problèmes se résolvent non plus au tableau noir, mais en dialogue avec une machine capable de voir ce qu’ils ne voient pas…
Cet article Séisme dans les maths : l’IA résout une énigme insoluble depuis 80 ans a été publié sur LEBIGDATA.FR.












