Changement de paradigme en vue, l’intelligence artificielle est maintenant capable d’obtenir une médaille d’or aux olympiades, à partir des énoncés donnés aux candidats, sans recourir à une traduction du problème par un expert.

• https://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/
• « This year, our advanced Gemini model operated end-to-end in natural language, producing rigorous mathematical proofs directly from the official problem descriptions – all within the 4.5-hour competition time limit. »

OpenAI a aussi fait une annonce en ce sens :

• https://x.com/alexwei_/status/1946477742855532918
• https://github.com/aw31/openai-imo-2025-proofs/
• Voir aussi https://les-mathematiques.net/vanilla/discussion/2341075/oim-et-intelligence-artificielle