Le 20 mai 2026, OpenAI a annoncé qu’un de ses modèles d’intelligence artificielle, non spécialisé en mathématiques, avait contribué à réfuter une conjecture formulée en 1946 par le mathématicien hongrois Paul Erdős. Selon Numerama, cette avancée concerne le problème du nombre de paires de points placés à une distance de 1 dans un plan, un défi central en géométrie discrète resté sans réponse définitive pendant près de huit décennies.

Cette annonce s’inscrit dans une tendance récente où les modèles d’IA, initialement conçus pour des tâches générales, démontrent une capacité croissante à résoudre des problèmes mathématiques complexes. OpenAI précise que son modèle, présenté comme un general-purpose reasoning model, a proposé une nouvelle famille de configurations de points dépassant les bornes établies par la conjecture d’Erdős. Une construction qui, selon l’entreprise, aurait échappé aux mathématiciens pendant 80 ans.

Ce qu'il faut retenir

  • Un modèle d’IA d’OpenAI, non dédié aux mathématiques, a permis de réfuter une conjecture de Paul Erdős datant de 1946.
  • Le problème consistait à déterminer le nombre maximal de paires de points placés à une distance exacte de 1 dans un plan, baptisé planar unit distance problem.
  • L’IA a proposé une construction mathématique inédite, produisant un nombre de paires à distance 1 supérieur aux limites prévues par la conjecture d’Erdős.
  • Cette avancée a été validée et reformulée par des mathématiciens humains, avant d’être soumise à un examen externe.
  • Tim Gowers, médaille Fields, qualifie ce résultat d’« exceptionnel » et recommande sans hésitation sa publication dans les Annals of Mathematics.

Un problème mathématique vieux de 80 ans enfin résolu

Le planar unit distance problem, formulé par Paul Erdős en 1946, interroge : si l’on place n points dans un plan, combien de paires de ces points peuvent être exactement à une distance de 1 ? Autrement dit, combien de segments de longueur 1 peut-on dessiner entre ces points ? Pour illustrer, il suffit d’imaginer des points tracés sur une feuille et de relier ceux qui sont distants d’exactement une unité.

Pendant des décennies, les mathématiciens ont exploré ce problème à l’aide de méthodes classiques — géométrie discrète, combinatoire, calculs assistés par ordinateur — sans parvenir à trancher définitivement la question. Les outils numériques ont permis des avancées partielles, mais aucun ne semblait capable de proposer une solution radicalement nouvelle. Jusqu’à l’intervention de l’IA d’OpenAI.

Une construction mathématique inédite, proposée par l’IA

Selon OpenAI, son modèle a généré une famille de configurations de points produisant, pour une infinité de valeurs de n, au moins n^(1+δ) paires à distance 1, où δ > 0. Ce résultat dépasse les bornes théoriques établies par la conjecture d’Erdős, qui limitaient jusqu’alors le nombre de paires possibles.

L’apport de l’IA ne s’est pas limité à une simple intuition. Elle a permis de relier la géométrie discrète à des outils avancés de théorie algébrique des nombres, notamment les tours infinies de corps de classes et la théorie de Golod–Shafarevich. Des concepts qui, en apparence, n’ont aucun lien avec la disposition de points sur un plan. Cette approche hybride a conduit à une construction mathématique suffisamment détaillée pour être traduite en langage formel par des humains.

Une collaboration homme-machine pour valider la preuve

OpenAI reconnaît que son modèle a travaillé « en autonomie », mais précise que des mathématiciens ont ensuite repris la main pour reformuler la construction, combler les lacunes et vérifier la validité de l’argument. Une équipe externe a également relu le travail et rédigé un texte d’accompagnement pour en expliquer l’importance et les implications.

Cette collaboration illustre une tendance croissante dans la recherche mathématique : l’utilisation de l’IA comme outil d’exploration, tandis que les humains assurent la rigueur et la contextualisation. La preuve, bien que prometteuse, devra désormais résister à l’examen minutieux de la communauté mathématique. Des outils comme les assistants de preuve formelle pourraient jouer un rôle clé pour vérifier chaque étape du raisonnement et écarter toute erreur subtile.

Un enthousiasme mesuré, mais unaniment partagé

L’annonce a suscité un large intérêt dans la communauté scientifique. Tim Gowers, mathématicien britannique lauréat de la médaille Fields en 1998, a salué ce résultat sur la plateforme X. Il a déclaré, selon le billet d’OpenAI, que si un humain avait rédigé cette preuve et l’avait soumise aux Annals of Mathematics, il l’aurait recommandée « sans la moindre hésitation ». « Aucune preuve générée par l’IA jusqu’à présent n’a été aussi performante », a-t-il ajouté.

Cette reconnaissance dépasse le cadre d’OpenAI. Elle s’inscrit dans une dynamique plus large où les modèles d’IA, après avoir obtenu des résultats remarquables dans des compétitions mathématiques, démontrent aujourd’hui leur capacité à contribuer à des travaux de recherche fondamentaux. En 2025, un modèle d’IA avait déjà atteint un niveau équivalent à une médaille d’or aux Olympiades internationales de mathématiques.

Un pas de plus vers l’autonomie de l’IA en mathématiques ?

OpenAI insiste sur le caractère inédit de cette avancée : « C’est la première fois qu’un problème ouvert majeur, central dans un sous-domaine des mathématiques, est résolu de manière autonome par une IA », peut-on lire dans son communiqué. Cette affirmation, bien que techniquement exacte, soulève des questions sur la définition même de l’autonomie dans le contexte de la recherche mathématique.

En effet, si l’IA a proposé la structure de base de la construction, la formalisation, la vérification et la contextualisation ont requis l’intervention humaine. Une nuance importante qui rappelle que, pour l’instant, l’IA agit davantage comme un catalyseur que comme un mathématicien indépendant. La communauté scientifique devra donc déterminer jusqu’où l’autonomie de ces outils peut aller, et dans quelles limites leur utilisation reste pertinente.

Et maintenant ?

La prochaine étape consistera à soumettre cette preuve à l’examen approfondi des pairs, un processus qui pourrait prendre plusieurs mois, voire années. Si la construction résiste à la critique, elle ouvrira la voie à de nouvelles recherches en géométrie discrète et en théorie des nombres. Par ailleurs, les mathématiciens pourraient s’inspirer de cette méthode pour explorer d’autres conjectures ouvertes, en combinant outils numériques et raisonnement humain. Enfin, cette avancée pourrait accélérer le développement de modèles d’IA spécialisés, conçus dès leur conception pour la recherche mathématique pure.

En attendant, cette annonce marque un tournant. Elle confirme que l’IA n’est plus seulement un outil d’assistance, mais un partenaire capable de proposer des solutions inattendues à des problèmes ancestraux. Reste à savoir si cette dynamique se confirmera dans d’autres domaines des mathématiques, ou si ce succès restera isolé.

Il s’agit d’un problème de géométrie discrète posé par Paul Erdős en 1946. Il consiste à déterminer, pour un ensemble de n points placés dans un plan, le nombre maximal de paires de points situés exactement à une distance de 1 l’un de l’autre. En d’autres termes, combien de segments de longueur 1 peut-on tracer entre ces points ?

Parce qu’elle marque la première réfutation d’une conjecture centrale en mathématiques par une IA, sans intervention humaine directe dans la découverte de la solution. Jusqu’ici, les modèles d’IA se contentaient de proposer des pistes ou de résoudre des problèmes déjà partiellement explorés. Ici, l’IA a généré une construction mathématique inédite, dépassant les limites théoriques établies depuis 80 ans.