OpenAI réfute la conjecture des distances unitaires d'Erdős : un problème ouvert depuis 80 ans clos par un contre-exemple de l'IA
En 1946, Paul Erdős a posé le problème des distances unitaires : parmi n points du plan, combien de paires peuvent être à une distance exactement égale à 1 ? Pendant près de 80 ans, on a cru la grille carrée optimale. OpenAI annonce que son modèle de raisonnement interne a produit la première preuve par contre-exemple entièrement autonome.