Quand l’IA décroche l’or aux Olympiades de maths (et fait scandale)
Par Jp@NeuroStratum — Article original publié le 21 juillet 2025
Résumé — Juillet 2025. Aux Olympiades Internationales de Mathématiques, les modèles d’OpenAI et Google DeepMind décrochent chacun une médaille d’or — performance équivalente au top des meilleurs lycéens mathématiciens du monde. Exploit technique, bien sûr. Mais aussi scandale méthodologique : les IA ont été entraînées spécifiquement pour l’épreuve, et la communauté mathématique s’interroge sur la valeur réelle de ces médailles. Plongée dans ce moment charnière où l’excellence mathématique devient un terrain de compétition géopolitique.
⏱ Temps de lecture estimé : 3 minutes
Il y a des victoires qui sonnent comme des fanfares, et d’autres qui résonnent comme des grincements de dents. La récente annonce d’OpenAI concernant sa médaille d’or aux Olympiades Internationales de Mathématiques 2025 appartient résolument à la seconde catégorie. Une IA qui résout des problèmes mathématiques d’une complexité à faire pâlir les plus brillants cerveaux humains, obtenant 35 points sur 42 en résolvant 5 des 6 problèmes proposés.
L’Exploit Qui Dérange
Les Olympiades Internationales de Mathématiques exigent cette « perspicacité » qui sépare le simple calcul de la véritable compréhension mathématique. Ces énigmes demandent des preuves rigoureuses de plusieurs pages, construites à partir des principes premiers, là où la mémorisation pure trouve ses limites. C’est là qu’OpenAI a frappé fort avec son modèle de raisonnement expérimental.
La Controverse Qui Fait Mouche
OpenAI a brisé l’embargo demandé avant la cérémonie de clôture, et n’a pas coopéré pour une vérification officielle, contrairement à Google. Thang Luong de Google DeepMind : « Sans évaluation basée sur cette directive, aucune revendication de médaille ne peut être faite ». Le lauréat de la médaille Fields Terence Tao a exprimé son scepticisme face à ce « manque de transparence » concernant la méthodologie et les ressources informatiques utilisées.
Un Saut Qualitatif pour l’IA
Il serait malhonnête de balayer d’un revers de main l’importance technique de cet exploit. Alexander Wei a souligné la progression : « De GSM8K (~0,1 min) → MATH (~1 min) → AIME (~10 min) → OIM (~100 min). » Une escalade qui témoigne d’une montée en puissance remarquable dans la durée de réflexion que les modèles peuvent soutenir.
Les Questions Qui Restent
Comment évaluer équitablement les performances d’une machine qui peut « réfléchir » pendant des heures là où un humain dispose de quelques minutes ? Faut-il créer des catégories séparées, comme on le fait déjà dans le sport entre humains et machines ? Cette médaille d’or contestée restera comme un symbole ambivalent — celui d’une IA qui franchit des caps impressionnants tout en soulevant des questions essentielles sur la transparence, l’équité et la nature même de l’intelligence.
Écrit avec le soutien de l’IA pour aider à organiser les pensées et façonner le langage.
Jp@NeuroStratum
Pour Aller plus Loin
- International Mathematical Olympiad — site officiel : → https://www.imo-official.org/
- AlphaProof & AlphaGeometry 2 — blog officiel DeepMind : → https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
- Olympiades de mathématiques — article Wikipedia : → https://fr.wikipedia.org/wiki/Olympiades_internationales_de_math%C3%A9matiques
- Terence Tao sur l’IA et les maths — billet de blog du médaillé Fields : → https://mathstodon.xyz/@tao
Article publié initialement sur Skool IA Mastery le 21 juillet 2025.
