ARTICLEDEV.to AI·il y a 19j
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.
27