Un modèle de raisonnement d’OpenAI réfute une conjecture d’Erdős et bouscule les maths assistées par IA

Résumé

Un modèle interne de raisonnement d’OpenAI a construit un contre‑exemple à la conjecture de distance unitaire formulée par Paul Erdős en 1946. En s’appuyant sur des outils de théorie algébrique des nombres jugés inattendus, il dépasse légèrement la construction classique et marque, selon Tim Gowers, « une étape majeure des mathématiques de l’IA ».

Les faits

Un modèle interne de raisonnement développé par OpenAI a réfuté la conjecture dite de la distance unitaire posée par le mathématicien hongrois Paul Erdős. Le problème, décrit comme « probablement le problème le plus connu (et le plus simple à expliquer) en géométrie combinatoire », portait sur la manière de disposer des points sur un plan pour maximiser le nombre de paires distantes d’une unité. OpenAI a annoncé ce résultat accompagné d’un article rédigé par neuf mathématiciens externes, chargé de vérifier, raccourcir et commenter la preuve produite par le modèle. Le problème, resté ouvert depuis 1946, semblait conforter l’idée qu’une disposition quasi optimale était donnée par une grille carrée légèrement déformée, où le nombre de paires à distance unitaire croît à peine plus vite que le nombre de points. Le modèle d’OpenAI a mis au jour une nouvelle configuration de points produisant sensiblement plus de paires à distance unitaire que la grille carrée classique. Selon Will Sawin, de l’université de Princeton, le gain atteint « environ un pour cent de paires supplémentaires à chaque doublement du nombre de points ». Ce gain, bien que modeste, contredit l’intuition d’Erdős, qui estimait qu’un tel progrès était pratiquement impossible. L’exploit repose sur un détour théorique inattendu : plutôt que de s’appuyer sur la géométrie classique, le modèle a utilisé des systèmes de nombres complexes dont les symétries internes se traduisent par des configurations de points particulièrement denses. Ces outils, issus de la théorie algébrique des nombres et bien connus de longue date dans ce domaine, n’étaient pas considérés comme pertinents pour un problème aussi élémentaire de géométrie plane. Le résultat reste cependant partiel : une borne supérieure théorique, connue depuis 1984, demeure largement au‑dessus des performances de la nouvelle construction. Le médaillé Fields Tim Gowers qualifie ce résultat « d’étape majeure dans les mathématiques de l’IA » et ajoute : « nous sommes probablement entrés dans une ère où il sera très difficile pour les humains de rivaliser avec l’IA pour résoudre des problèmes mathématiques ». Selon le mathématicien Thomas Bloom, Erdős avait proposé 500 dollars pour une réfutation de cette conjecture restée ouverte pendant près de huit décennies.

Pourquoi c’est important

Cette avancée déplace la frontière entre raisonnement symbolique humain et capacités des modèles d’IA. En produisant un contre‑exemple à un problème emblématique de géométrie combinatoire, le modèle d’OpenAI montre qu’une IA peut non seulement explorer d’immenses espaces de configurations, mais aussi mobiliser des outils théoriques sophistiqués de manière créative. Elle alimente également le débat sur la place future des mathématiciens face aux systèmes automatisés de raisonnement. L’avertissement de Tim Gowers souligne un basculement possible : les IA pourraient devenir des partenaires incontournables, voire des concurrents, sur des problèmes de haut niveau. Les méthodes employées, issues de la théorie algébrique des nombres appliquée à un problème élémentaire de géométrie plane, laissent entrevoir de nouveaux ponts entre domaines mathématiques que les humains n’avaient pas spontanément envisagés.

Questions fréquentes

Quelle conjecture le modèle d’OpenAI a‑t‑il réfutée ?

Il a réfuté la conjecture de distance unitaire formulée par le mathématicien Paul Erdős en 1946, portant sur le nombre maximal de paires de points à distance unitaire sur un plan.

En quoi consiste le problème de distance unitaire ?

Il s’agit de placer un certain nombre de points sur une feuille et de déterminer combien de paires de points peuvent être exactement à une unité de distance, en cherchant la configuration qui en produit le plus.

Quel progrès le modèle obtient‑il par rapport à la grille carrée ?

La nouvelle configuration produit sensiblement plus de paires à distance unitaire que la grille carrée classique, avec environ 1 % de paires supplémentaires à chaque doublement du nombre de points.

Quelles méthodes mathématiques l’IA a‑t‑elle utilisées ?

Le modèle a utilisé des systèmes de nombres complexes issus de la théorie algébrique des nombres, dont les symétries internes génèrent des configurations de points particulièrement denses.

Que dit Tim Gowers sur cette avancée ?

Tim Gowers parle « d’étape majeure dans les mathématiques de l’IA » et estime que nous sommes probablement entrés dans une ère où il sera très difficile pour les humains de rivaliser avec l’IA pour résoudre des problèmes mathématiques.

Source

Auteur

Rédaction spécialisée dans la veille et l'analyse de l'actualité de l'intelligence artificielle, des puces IA, des robots, des agents IA et de la recherche.