OpenAI dit avoir clos en 2026 une énigme d’Erdős vieille de 80 ans avec une preuve

Il arrive que l’actualité de l’IA déborde soudain du cercle des démonstrations de produits et des classements de benchmarks. C’est ce qui se joue avec l’annonce d’OpenAI, qui affirme qu’un de ses modèles a résolu un problème de géométrie discret posé il y a 80 ans.

Une annonce qui sort l’IA du terrain des performances abstraites

Dans un billet publié le 20 mai 2026, OpenAI explique qu’un de ses modèles a produit une démonstration autour d’une conjecture centrale liée au problème des distances unitaires, un classique de la géométrie discrète remontant à 1946. Cette année-là, le mathématicien hongrois Paul Erdős pose une question devenue emblématique : combien de paires de points séparées par une distance égale à 1 peut-on obtenir dans une configuration de points du plan ?

La formulation paraît presque élémentaire. Elle a pourtant résisté pendant des décennies, au point de devenir un repère dans la discipline. C’est précisément ce contraste — une question simple à énoncer, extrêmement difficile à trancher — qui donne à l’annonce un relief inhabituel.

OpenAI ne présente pas seulement son résultat comme une nouvelle performance technique. L’entreprise parle d’un jalon pour l’usage de l’IA en mathématiques, en soulignant que la preuve mobilise des idées « inattendues » issues de l’algèbre et de la théorie des nombres. Autrement dit, il ne s’agirait pas d’une simple reproduction de raisonnements connus ni d’une exploration exhaustive assistée par ordinateur, mais d’un enchaînement conceptuel original.

Le problème d’Erdős, une vieille obsession de la géométrie discrète

Une question simple, une difficulté redoutable

Le problème des distances unitaires s’intéresse à la structure des ensembles de points dans le plan. Pour un nombre donné de points, combien de segments de longueur exactement 1 peuvent exister entre eux ? Derrière cette question se cachent des enjeux profonds : comprendre les contraintes géométriques, les symétries possibles, et les limites combinatoires imposées par l’espace euclidien.

Depuis Erdős, les mathématiciens ont accumulé bornes supérieures, constructions ingénieuses et raffinements techniques, sans faire complètement disparaître l’incertitude sur certains comportements asymptotiques. Le sujet est devenu l’un de ces nœuds théoriques où se croisent combinatorics, incidence geometry et méthodes analytiques.

C’est ce qui rend l’annonce d’OpenAI si frappante. Le domaine n’est pas marginal, ni décoratif. Il s’agit d’un problème historique, identifié depuis longtemps, avec une littérature abondante et des tentatives de résolution menées par des spécialistes de premier plan.

Une preuve, et peut-être davantage qu’une preuve

Le billet d’OpenAI met en avant le fait que le modèle a résolu une conjecture centrale associée à ce problème. Le lien publié par l’entreprise évoque même une disproof, c’est-à-dire l’invalidation d’une conjecture admise ou travaillée depuis longtemps, ce qui suggère une conclusion encore plus spectaculaire : non seulement un énoncé ouvert aurait été tranché, mais il l’aurait été en montrant qu’il était faux.

Cette nuance compte. En mathématiques, une résolution peut prendre deux formes d’égale importance : démontrer qu’une conjecture est vraie, ou exhiber un contre-exemple, voire une construction inattendue, qui la fait tomber. Dans les deux cas, l’impact scientifique est majeur. Mais lorsqu’une conjecture réputée plausible est réfutée, le choc intellectuel est souvent plus brutal, parce qu’il force à réorganiser tout un pan du paysage théorique.

Pourquoi cette annonce n’a rien d’un benchmark de plus

Depuis deux ans, les acteurs de l’IA ont multiplié les annonces sur les progrès en raisonnement : compétitions de programmation, examens standardisés, olympiades, jeux formels. Ces jalons ont leur valeur, mais ils se heurtent à une objection récurrente : réussir un benchmark conçu pour être mesuré ne prouve pas une capacité à produire de la science nouvelle.

L’intérêt du cas présenté par OpenAI est précisément là. Un problème ouvert depuis 1946 n’est pas un exercice de validation interne. Il ne se résume pas à prédire la bonne réponse parmi quelques choix, ni à reconstituer un corrigé existant dans les données d’entraînement. La barre implicite est bien plus haute : il faut formuler une chaîne argumentative robuste, exploitable, et surtout vérifiable par la communauté.

OpenAI insiste sur ce point en décrivant une preuve s’appuyant sur des rapprochements inattendus entre domaines. C’est l’indice le plus important de l’affaire. Si la démonstration se contente d’empiler des techniques standard déjà évidentes pour les experts, l’épisode restera impressionnant mais limité. Si, en revanche, elle introduit un angle conceptuel neuf, alors l’IA franchit un seuil beaucoup plus significatif : celui de la contribution mathématique originale.

Entre enthousiasme et méthode : ce que la communauté va regarder

La vraie question commence après l’annonce

Dans ce type de dossier, le communiqué n’est qu’un début. En mathématiques, la reconnaissance d’un résultat repose sur un processus lent et exigeant : lecture détaillée, vérification ligne par ligne, reformulation indépendante, puis intégration éventuelle dans le corpus de la discipline.

La communauté va donc examiner plusieurs points très concrets :

- la preuve est-elle complète, ou dépend-elle d’étapes encore à formaliser ?

- l’argument est-il réellement inédit ?

- les spécialistes peuvent-ils le simplifier, le généraliser, ou le rattacher à des intuitions déjà présentes dans la littérature ?

- le rôle exact du modèle est-il celui d’un auteur principal du raisonnement, ou d’un système ayant assisté des chercheurs humains dans l’exploration ?

Ces questions ne diminuent pas l’annonce. Elles en mesurent la portée réelle. Les mathématiques ont une mémoire longue et une tolérance quasi nulle pour l’approximation.

Une ligne de fracture pour l’IA scientifique

L’épisode intervient aussi dans un moment où les laboratoires cherchent à démontrer l’utilité scientifique de leurs modèles au-delà de la génération de texte ou de code. DeepMind avait déjà marqué les esprits avec des travaux sur les structures protéiques ou l’assistance à la découverte formelle. Mais ici, l’enjeu est différent : une preuve sur un problème historique hautement théorique, dans un champ où l’expérimentation empirique aide moins que la rigueur abstraite.

C’est ce qui donne à l’annonce d’OpenAI une résonance particulière. L’IA appliquée aux sciences n’est plus cantonnée à l’optimisation ou à la simulation. Elle s’avance sur un territoire où la valeur se mesure à la solidité d’une idée.

Ce que cela dit du moment OpenAI

L’annonce arrive dans un cycle médiatique dense pour les grands acteurs de l’IA, relevé notamment par Axios, où se mêlent lancements de produits, repositionnements stratégiques et communication sur les capacités des modèles. Dans ce bruit continu, afficher un résultat mathématique a un effet de rupture. Le message implicite est clair : les modèles ne servent pas seulement à automatiser des tâches cognitives connues, ils peuvent prétendre toucher au front de la recherche.

Pour OpenAI, c’est aussi une manière de déplacer la compétition. Sur les interfaces conversationnelles ou les agents logiciels, les écarts entre laboratoires sont rapidement discutés, comparés, relativisés. Un problème ouvert depuis 80 ans, lui, impose un autre registre : soit le résultat tient, soit il ne tient pas.

Le vrai test : validation, publication, réutilisation

Le coup de théâtre est là, mais la suite comptera davantage que l’effet d’annonce. Si la preuve résiste à l’examen des mathématiciens, deux conséquences mesurables suivront.

La première est scientifique : le problème des distances unitaires changera de statut, avec des travaux de clarification, de généralisation et probablement de nouveaux articles tentant d’exploiter les idées d’algèbre et de théorie des nombres mises en avant par OpenAI.

La seconde est industrielle : tous les laboratoires travaillant sur l’IA de raisonnement seront contraints de montrer, à leur tour, des résultats vérifiables sur des questions ouvertes, et non plus seulement des scores. Le prochain jalon attendu est donc très concret : une validation indépendante par des spécialistes, suivie d’une diffusion suffisamment détaillée pour que la communauté puisse reprendre la démonstration sans dépendre du récit d’OpenAI. À partir de là seulement, l’annonce cessera d’être une promesse spectaculaire pour devenir un fait scientifique durable.