Huit décennies après que Paul Erdős ait posé le problème de la distance unitaire en 1946, une IA à usage général a produit des configurations qui dépassent les bornes conjecturées de longue date, prouvant au moins n^(1+δ) paires de distance unitaire pour un certain δ>0. Des mathématiciens de Princeton ont vérifié le résultat, avec des figures comme Tim Gowers et Arul Shankar le qualifiant d’avancée significative.
- Points clés :
- OpenAI a résolu l’énigme de Paul Erdős de 1946 avec des constructions en n^(1+δ) paires de distance unitaire.
- Princeton a vérifié le résultat, offrant une hausse de crédibilité à l’IA en 2026 en mathématiques.
- Tim Gowers affirme que cette avancée pourrait influencer la cryptographie et des démonstrations au-delà de la géométrie.
Une énigme de géométrie vieille de 80 ans a enfin bougé quand un système OpenAI a assemblé une construction improbable qui a dépassé les attentes de longue date. Le problème de la distance unitaire, posé par Paul Erdős en 1946, cherche à déterminer combien de paires de points distants exactement d’une unité peuvent exister parmi n points dans le plan ; l’IA a trouvé des configurations dont la croissance est plus rapide que ce que permettait le manuel classique. Des mathématiciens de Princeton ont vérifié le travail, et des sommités comme Tim Gowers et Arul Shankar ont pris note. Au-delà des satisfactions, le résultat suggère un nouveau type de collaborateur en mathématiques, qui utilise une inférence générale pour dépasser les heuristiques humaines.
L’IA résout une énigme mathématique vieille de 80 ans avec une solution révolutionnaire
Certains problèmes ne cessent de chatouiller la patience humaine. Le problème de la distance unitaire, posé en 1946 par Paul Erdős, posait une question au départ étonnamment claire : avec n points sur un plan, combien de paires peuvent être exactement distantes de 1. Des générations l’ont attaqué avec des grilles, de la symétrie et de la ténacité. Les progrès venaient par à-coups, jamais par bonds. Puis, discrètement, une IA est intervenue.
Un problème vieux de décennies, enfin résolu
L’approche classique plaçait les points dans des grilles carrées, en ajustant l’échelle pour obtenir davantage de paires à la distance 1. Cette méthode suggérait une croissance juste au-dessus du linéaire, à peu près n multiplié par un facteur qui bat à peine n à mesure que n devient grand. Le domaine s’est stabilisé autour de l’idée que la meilleure borne inférieure oscille près de n^(1+o(1)), une encoche au-dessus de n, pas une marche.
Comment l’IA a dépassé les conjectures
D’après les chercheurs impliqués, un modèle interne d’OpenAI a proposé une nouvelle famille de configurations de points qui franchit un seuil longtemps jugé inaccessible. Le système a produit des constructions avec au moins n^(1+δ) paires de distance unitaire, pour un δ fixe supérieur à 0 qui ne s’évanouit pas quand n augmente. Il s’agit d’une véritable amélioration polynomiale, et non d’une simple erreur d’arrondi.
La démarche a mêlé intuition géométrique et théorie avancée des nombres algébriques, une boîte à outils surprenante pour une énigme de comptage spatial. Elle ne provenait pas d’un moteur spécialisé en mathématiques. Au contraire, elle est apparue d’un modèle d’inférence générale en cours d’évaluation, suggérant des capacités de raisonnement plus larges capables de naviguer entre des domaines lorsque l’espace de recherche est vaste.
Confirmé par des experts, célébré par le domaine
Des mathématiciens indépendants de l’université de Princeton ont examiné les constructions de l’IA et ont confirmé le résultat, selon des personnes familières de la revue. Des voix respectées, dont Sir Tim Gowers et Arul Shankar, ont salué cette avancée comme une étape significative pour le domaine. C’est un cas où une nouvelle borne inférieure, figée depuis longtemps, a enfin bougé parce qu’une IA a trouvé le bon prisme.
Implications pour les mathématiques et au-delà
Que signifie le fait qu’un modèle généraliste dépasse des conjectures ancrées. D’abord, cela laisse entrevoir un flux de travail où les machines font émerger des structures candidates et où les humains les mettent à l’épreuve. En plus de la géométrie, des disciplines comme la combinatoire, la théorie du codage et la cryptographie pourraient voir des collaborations similaires lorsque les démonstrations reposent sur des constructions rares.
