Tu suis la course aux modèles IA ?
Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
Une question vieille de plusieurs décennies enfin résolue
Depuis près de huit décennies, une question intrigante a captivé les esprits des mathématiciens : combien de paires de points peuvent être exactement à une distance de un lorsqu'on place n points dans un plan ? Ce problème, connu sous le nom de problème de la distance unitaire, a été formulé pour la première fois par le célèbre mathématicien Paul Erdős en 1946. Considéré comme l'un des défis les plus célèbres et les plus simples à énoncer en géométrie combinatoire, il a été largement étudié mais jamais résolu jusqu'à récemment. Le livre Research Problems in Discrete Geometry de Brass, Moser et Pach, publié en 2005, le décrit comme potentiellement le problème le plus connu de ce domaine. Noga Alon, une figure éminente de la combinatoire à Princeton, le qualifie de "problème préféré d'Erdős". Erdős avait même offert une récompense pour sa résolution.
Une avancée révolutionnaire par OpenAI
Une avancée significative a récemment été réalisée concernant ce problème de longue date. Depuis les travaux initiaux d'Erdős, la croyance dominante était que les configurations en "grille carrée" étaient optimales pour maximiser le nombre de paires à distance unitaire. Cependant, un modèle développé par OpenAI a défié cette hypothèse, en fournissant une série infinie d'exemples qui améliorent cette approche de manière polynomiale. La véracité de cette preuve a été confirmée par un groupe de mathématiciens externes, qui ont également rédigé un document explicatif pour contextualiser l'importance de cette découverte.
Un modèle de raisonnement général à l'œuvre
Ce qui rend ce résultat particulièrement remarquable, c'est la méthode par laquelle il a été obtenu. La preuve a été générée par un modèle de raisonnement général, et non par un système spécifiquement conçu pour résoudre des problèmes mathématiques ou pour s'attaquer au problème de la distance unitaire. Dans le cadre d'une initiative plus large visant à évaluer la capacité des modèles avancés à contribuer à la recherche de pointe, ce modèle a été testé sur une série de problèmes posés par Erdős. Il a ainsi réussi à produire une preuve pour ce problème ouvert.
Une étape majeure pour les mathématiques et l'intelligence artificielle
Cette preuve représente une avancée significative pour les communautés mathématique et de l'intelligence artificielle. C'est la première fois qu'un problème ouvert majeur, central à un sous-domaine des mathématiques, est résolu de manière autonome par une IA. Cela démontre également la capacité de ces systèmes à soutenir un raisonnement complexe. Les mathématiques offrent un cadre idéal pour tester le raisonnement : les problèmes sont bien définis, les preuves peuvent être vérifiées, et un long argument ne tient que si le raisonnement est cohérent de bout en bout. La méthode utilisée pour résoudre le problème a également apporté des idées nouvelles et sophistiquées de la théorie des nombres algébriques à une question géométrique fondamentale.
Réactions enthousiastes de la communauté mathématique
La communauté mathématique a réagi avec enthousiasme à cette découverte. Noga Alon a exprimé son admiration en déclarant : "C'est l'un des problèmes préférés d'Erdős. Je crois qu'il serait juste de dire que chaque mathématicien travaillant en géométrie combinatoire a réfléchi à ce problème. La solution apportée par le modèle interne d'OpenAI est, à mon avis, une réalisation exceptionnelle, résolvant un problème ouvert de longue date."
Tim Gowers, lauréat de la médaille Fields, a qualifié ce résultat de "jalon dans les mathématiques de l'IA". Il a ajouté que si un humain avait soumis cet article aux Annals of Mathematics, il aurait recommandé son acceptation sans hésitation. Arul Shankar, un théoricien des nombres de renom, a souligné l'originalité de la réflexion du modèle : "Le CoT du modèle est profondément intéressant. Une majorité significative des réflexions tente de construire un contre-exemple à la limite supérieure largement acceptée, plutôt que d'essayer de la prouver."
Enfin, Jacob Tsimerman a exprimé son approbation en affirmant : "C'est un travail vraiment impressionnant, et je l'accepterais pour n'importe quel journal sans hésitation."
Le problème de la distance unitaire en détail
Pour mieux comprendre l'ampleur de cette découverte, il est utile de se pencher sur le problème lui-même. Soit u(n) le nombre maximal de paires à distance unitaire parmi n points dans le plan. Des exemples simples atteignant un taux de croissance linéaire sont faciles à construire : en plaçant n points en ligne, on obtient n-1 paires, tandis qu'une grille carrée en produit environ 2n². La meilleure construction connue jusqu'à présent, basée sur une grille carrée redimensionnée, atteignait même n^{1 + C / log log(n)} pour une certaine constante C.
Pendant des décennies, il a été largement admis que ce taux était le meilleur possible, et qu'aucune autre construction ne pourrait surpasser significativement la grille carrée. Erdős avait conjecturé une limite supérieure de n^{1+o(1)}. Le nouveau résultat réfute cette conjecture. Plus précisément, pour une infinité de valeurs de n, la preuve propose des configurations de n points avec au moins n^{1+δ} paires à distance unitaire, pour un certain exposant fixe δ > 0.
L'apport de la théorie des nombres algébriques
La preuve commence par une idée géométrique familière et la pousse dans une direction inattendue. La borne inférieure originale d'Erdős peut être comprise à travers les entiers gaussiens : des nombres de la forme a + bi, où a et b sont des entiers et i est la racine carrée de -1. Les entiers gaussiens étendent les entiers ordinaires et, comme eux, bénéficient de propriétés telles qu'une factorisation unique en nombres premiers.
L'argument novateur remplace les entiers gaussiens par des généralisations plus complexes issues de la théorie des nombres algébriques, avec des symétries plus riches capables de créer de nombreuses différences de longueur unitaire. Des outils tels que les tours de champs de classes infinies et la théorie de Golod–Shafarevich montrent que les corps de nombres nécessaires pour l'argument existent réellement.
Implications pour l'avenir des mathématiques
Ce résultat marque un tournant dans l'interaction entre l'IA et les mathématiques. Un système d'IA a résolu de manière autonome un problème ouvert de longue date, au cœur d'un domaine actif. Cela offre également un aperçu prometteur d'un nouveau type de collaboration entre l'IA et les mathématiciens humains. Dans ce cas, le travail compagnon des mathématiciens externes a enrichi considérablement la solution originale, soulignant le potentiel des collaborations futures entre l'homme et la machine.
