Un modèle d'IA d'OpenAI décroche l'or aux Olympiades internationales de maths : faut-il y croire ?