Le monde des mathématiques vient de vivre un séisme silencieux. Le 20 mai 2026, OpenAI a annoncé qu’un de ses modèles d’intelligence artificielle a réfuté la conjecture d’Erdős sur les distances unités, une énigme posée par le mathématicien hongrois Paul Erdős en 1946. Pendant quatre-vingts ans, ce problème de géométrie discrète a résisté à l’assaut des plus grands esprits de la discipline. Sa chute, validée par neuf mathématiciens de premier plan, marque selon plusieurs spécialistes un tournant historique pour la recherche assistée par OpenAI et plus largement pour la conjecture d’Erdős longtemps considérée comme inattaquable.
Une énigme simple à énoncer, redoutable à résoudre
Le problème dit « des distances unités » se formule presque comme un jeu : on place n points dans un plan et l’on cherche le nombre maximal de paires de points séparées par une distance exactement égale à 1. Paul Erdős avait suggéré, dès 1946, que la grille carrée constituait la configuration optimale. Cette intuition est devenue progressivement le socle implicite de toute une branche de la géométrie combinatoire : on ne savait pas démontrer la conjecture, mais on la considérait comme moralement vraie.
Or, c’est précisément cette croyance qu’un modèle de raisonnement interne à OpenAI a fait s’effondrer. Le système a exhibé une famille infinie de constructions qui dépassent strictement la grille carrée, apportant une amélioration polynomiale par rapport à la borne historique. Autrement dit, la grille n’était pas la meilleure réponse : il existe mieux, et l’écart est mesurable.
Une preuve de 125 pages, validée par les plus grands
L’annonce ne repose pas sur une simple démonstration de force communicationnelle. Le travail produit s’étend sur environ 125 pages, réparties en deux articles distincts. Le premier, signé par le chercheur Lijie Chen avec l’appui calculatoire du modèle, construit le contre-exemple. Le second, intitulé « Remarks on the disproof of the unit distance conjecture », tient en 19 pages et porte la signature de neuf mathématiciens reconnus : Noga Alon, Thomas Bloom, Tim Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang et Melanie Matchett Wood.
La présence de ces noms est essentielle. Thomas Bloom administre le site de référence qui recense les problèmes ouverts d’Erdős. Tim Gowers est lauréat de la médaille Fields 1998. Leur lecture critique et leur validation conjointe confèrent à la démonstration une crédibilité que peu d’annonces liées à l’IA peuvent revendiquer.
Un saut conceptuel inattendu
Ce qui frappe les spécialistes, c’est moins la puissance brute du calcul que la nature de l’idée. Le modèle n’a pas exploré la conjecture dans son cadre naturel, celui de la géométrie discrète plane. Il a transposé le problème dans le champ très abstrait de la théorie algébrique des nombres, un domaine que peu de chercheurs auraient spontanément mobilisé pour attaquer cette question.
Noga Alon parle d’une « réalisation remarquable » qui applique « des outils relativement sophistiqués de la théorie algébrique des nombres de manière élégante et astucieuse ». Tim Gowers, plus sobre, qualifie le résultat de « jalon de l’IA appliquée aux mathématiques ». Ces formulations, mesurées dans une communauté traditionnellement prudente, traduisent l’ampleur de l’événement.
Une IA chercheuse, et non plus simple assistante
Jusqu’ici, l’intelligence artificielle intervenait surtout comme assistante : vérification de preuves formelles, suggestions de variantes, exploration de cas. Avec ce résultat, l’IA d’OpenAI franchit un seuil qualitatif en proposant une stratégie de démonstration originale et en générant elle-même la majeure partie des arguments. Le modèle n’a pas réécrit une preuve connue : il a découvert un objet nouveau, qui n’existait pas dans la littérature.
Cette bascule ouvre une question méthodologique majeure pour la recherche fondamentale. Si une IA est capable de réfuter une conjecture vieille de huit décennies, comment intégrer son travail dans la chaîne classique de production scientifique ? Faut-il, comme dans le cas présent, encadrer chaque démonstration par un comité humain de relecture étendu ? Et que faire des conjectures déjà publiées que les modèles pourraient invalider en chaîne ?
Ce que cela change concrètement
- Pour les mathématiques : une partie de la littérature consacrée aux distances unités devra être révisée, les bornes connues n’étant plus optimales.
- Pour la recherche assistée par IA : la démonstration sert de cas d’école d’un modèle capable de raisonnement long, abstrait, et vérifiable.
- Pour la communauté scientifique : la question de la signature et de l’attribution des découvertes générées par IA devient pratique, et non plus théorique.
Le résultat n’a, en lui-même, aucune application industrielle immédiate. Les distances unités sont un problème de mathématiques pures. Mais le mode opératoire qu’il illustre, lui, est généralisable : OpenAI revendique désormais la capacité, au moins ponctuelle, de produire des preuves originales sur des problèmes ouverts.
Sources officielles
- OpenAI – An OpenAI model has disproved a central conjecture in discrete geometry
- arXiv – Remarks on the disproof of the unit distance conjecture
- OpenAI – PDF complet de la note de relecture des neuf mathématiciens
