OpenAI résout un problème mathématique majeur en 88 heures · 2 rédactions