Depuis près de 80 ans, le problème des distances unitaires résistait aux mathématiciens. OpenAI affirme désormais avoir ...