En mai 2026, OpenAI a annoncé qu’un modèle de raisonnement expérimental avait réfuté une conjecture ancienne liée au problème des distances unitaires. L’épisode est remarquable moins par un score que par la nature du travail : le système aurait produit une construction mathématique originale, ensuite examinée par des spécialistes.
Le problème en termes simples
On place n points dans le plan et l’on compte les paires séparées par une distance exactement égale à 1. Combien peut-on en obtenir au maximum ? Paul Erdős pose ce problème en 1946. Les grilles donnent beaucoup de telles paires, mais la croissance précise du maximum reste difficile à caractériser.
Une croyance durable voulait que les meilleures constructions ne puissent dépasser qu’assez légèrement une croissance linéaire, notée techniquement n^(1+o(1)). D’après la publication d’OpenAI, son modèle a trouvé une famille infinie de configurations apportant une amélioration polynomiale et invalidant cette conjecture.
Ce qui change par rapport à un benchmark
Résoudre un exercice d’olympiade reste une performance sur une question dont la solution est connue. Ici, le modèle travaillait sur un problème ouvert et devait notamment choisir quelle direction explorer. OpenAI souligne que le système a tenté de construire un contre-exemple plutôt que de conforter l’intuition dominante.
La méthode mobilise des outils d’algèbre et de théorie des nombres pour traiter une question géométrique très concrète. Ce transfert entre domaines est précisément l’un des signes recherchés lorsqu’on évalue une capacité de recherche : reconnaître une structure utile loin de son contexte habituel.
Ce qui est établi — et ce qui ne l’est pas
OpenAI a publié la preuve, un commentaire de mathématiciens externes et une version abrégée du raisonnement du modèle. L’entreprise affirme que la démonstration a été contrôlée par plusieurs chercheurs. Cette transparence est plus solide qu’une simple annonce de performance.
Il faut néanmoins rester précis :
- l’IA n’a pas résolu toutes les variantes du problème des distances unitaires ;
- le modèle expérimental n’est pas nécessairement accessible au public ;
- la vérification, la contextualisation et la rédaction finale impliquent encore des humains ;
- la reconnaissance durable du résultat dépendra aussi de sa lecture et de son utilisation par la communauté.
Pourquoi cette avancée compte
Le cas illustre une évolution de l’IA scientifique. La machine ne sert plus seulement à calculer ou à reformuler : elle peut proposer une piste inattendue, construire une argumentation longue et fournir un objet que des experts peuvent critiquer.
Le bon cadre n’est donc ni « l’IA remplace les mathématiciens », ni « ce n’est qu’un chatbot ». Il s’agit plutôt d’un nouvel instrument de recherche, puissant mais exigeant : sélectionner les problèmes, contrôler les hypothèses, vérifier les preuves et attribuer correctement les contributions deviennent aussi importants que générer une réponse.
Source principale
FAQ
L’IA a-t-elle résolu le problème complet des distances unitaires ?
Non. Elle a réfuté une conjecture importante sur la croissance du nombre maximal de paires à distance unitaire, sans clore toutes les questions liées au problème.
La preuve a-t-elle été vérifiée ?
OpenAI indique qu’un groupe de mathématiciens externes a contrôlé la preuve et qu’un article d’accompagnement en explique la portée.