OpenAI a annoncé qu'un modèle de raisonnement général interne a réfuté la conjecture de la distance unitaire d'Erdős, un problème...

Brief source

OpenAI a annoncé qu'un modèle de raisonnement général interne a réfuté la conjecture de la distance unitaire d'Erdős, un problème central en géométrie discrète posé en 1946. Cette percée démontre comment l'IA peut vérifier indépendamment les hypothèses scientifiques et générer de nouvelles idées.