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 avancée majeure pour OpenAI
Le 20 mai 2026, OpenAI a révélé qu'un de ses modèles d'intelligence artificielle avait réussi à résoudre un problème mathématique lié à la conjecture d'Erdős, posée en 1946. Ce problème concerne la détermination du nombre maximal de paires de points pouvant être placées à une distance unitaire dans un plan.
OpenAI a démontré qu'il est possible, pour une infinité de valeurs de n, de placer au moins n^(1+δ) paires de points à distance 1, avec δ supérieur à zéro. Cette découverte a été saluée par le mathématicien Tim Gowers, qui a affirmé qu'il recommanderait cette avancée pour publication dans les Annals of Mathematics sans hésitation.
Le défi de la distance unitaire
Le problème de la distance unitaire consiste à maximiser le nombre de segments de longueur 1 reliant des points dans un plan euclidien. Depuis des décennies, les chercheurs ont exploré diverses méthodes pour aborder ce problème complexe.
Approches traditionnelles et nouvelles
Historiquement, les méthodes classiques de géométrie discrète et de combinatoire ont été utilisées, souvent avec des constructions régulières. Les calculs assistés par ordinateur ont également été employés, bien qu'ils soient limités dans leur capacité à générer de nouvelles idées.
Avec l'émergence des modèles d'IA, tels que GPT-4, de nouvelles perspectives se sont ouvertes pour résoudre des problèmes mathématiques variés. OpenAI a utilisé un modèle généraliste, non spécifiquement conçu pour les mathématiques, pour découvrir une nouvelle famille de configurations de points.
La méthode d'OpenAI
Le modèle d'OpenAI a établi un lien entre la géométrie discrète et la théorie algébrique des nombres, permettant de dépasser les limites posées par la conjecture d'Erdős. Il a proposé une méthode précise pour placer les points, traduisible en langage mathématique classique, que des mathématiciens ont ensuite affinée et validée.
Réactions et débats
OpenAI a affirmé que cette solution avait été trouvée de manière autonome par l'IA, marquant une première dans la résolution d'un problème ouvert majeur en mathématiques. Toutefois, cette affirmation a suscité des débats, car l'intervention de mathématiciens humains a été cruciale pour valider le résultat.
Tim Gowers a souligné que cette preuve représente la contribution la plus significative d'une IA à ce jour, renforçant l'idée que les modèles d'IA peuvent jouer un rôle important dans la recherche mathématique.
