Les IA d'OpenAI et Google médaillées d'or aux Olympiades de maths : un exploit qui fait débat