The Merging Was Always the Point

Un modèle interne d'OpenAI a réfuté la conjecture d'Erdős sur la distance unitaire de 1946, un problème notable en géométrie combinatoire. Neuf mathématiciens ont examiné et confirmé l'exactitude de la réfutation.