Comment OpenAI a réussi à résoudre en 10 jours un des sept problèmes du millénaire de mathématiques ?