OpenAI dit avoir réfuté avec une IA la conjecture des distances unité d'Erdos, restée ouverte depuis 1946
Le 20 mai 2026, OpenAI a annoncé qu'un de ses modèles de raisonnement internes avait produit une réfutation du problème des distances unité formulé par Paul Erdos en 1946, l'un des problèmes ouverts de référence en géométrie discrète. Le modèle a exhibé une famille de configurations de points dépassant la borne attendue d'un facteur polynomial. Le mathématicien Will Sawin, de Princeton, a publié sur arXiv une borne inférieure explicite de l'ordre de n^1,014. Un second article de vérification, signé notamment par Noga Alon, Thomas Bloom et Melanie Matchett Wood, ainsi que par le médaillé Fields Timothy Gowers, valide le résultat. OpenAI présente ce travail comme la première résolution autonome d'un problème ouvert central, sans guidage humain sur la méthode. Le nom du modèle utilisé n'a pas été communiqué.
