Ce problème de mathématique posé par Erdős résistait depuis 80 ans : OpenAI affirme l’avoir résolu