An OpenAI model has disproved a central conjecture in discrete geometry

Un modèle OpenAI a résolu le problème de la distance unitaire, vieux de 80 ans, réfutant une conjecture majeure en géométrie discrète. Cela marque une étape importante dans les mathématiques pilotées par l'IA.