Un modèle OpenAI réfute une conjecture centrale en géométrie discrète
Original : An OpenAI model has disproved a central conjecture in discrete geometry
Pourquoi c'est important
Premier problème mathématique ouvert majeur résolu de façon autonome par l'IA
Un modèle d'IA d'OpenAI a résolu le problème de distance unitaire planaire d'Erdős vieux de 80 ans, réfutant la conjecture que les constructions en grille carrée étaient optimales et proposant une amélioration polynomiale.
Depuis 1946, les mathématiciens étudiaient le problème de distance unitaire planaire de Paul Erdős : combien de paires de points parmi n points dans un plan peuvent être exactement à distance 1 ? Un modèle OpenAI à usage général a résolu ce problème ouvert emblématique, prouvant que les constructions en grille carrée ne sont pas optimales contrairement à la croyance dominante. La preuve utilise des idées sophistiquées de théorie algébrique des nombres appliquées à une question géométrique élémentaire. Tim Gowers qualifie ce résultat d'"étape importante en mathématiques IA". C'est la première fois qu'un problème ouvert majeur est résolu de manière autonome par l'IA, sans entraînement spécialisé en mathématiques.