Le modèle o1 d'OpenAI est un génie des maths ! Il résout 83% des problèmes complexes et ridiculise GPT-4o