Raisonnement mathématique IA : 42/42 à l'Olympiade de maths 2026.
💡 En juillet-août 2026, plusieurs modèles IA - notamment Claude Opus 5 d'Anthropic et deux systèmes chinois officiellement notés - ont obtenu 42/42 à l'Olympiade internationale de mathématiques, la compétition de maths la plus difficile pour les lycéens. Le seuil de la médaille d'or est 29 points. Le raisonnement mathématique de l'IA peut désormais résoudre chaque problème de l'IMO.
- Le Celia de Huawei et le dots-note-3.0 de Xiaohongshu ont été officiellement notés par les organisateurs de l'IMO et ont chacun obtenu un score parfait de 42/42 - les premiers modèles formellement récompensés ainsi via le canal officiel.
- Claude Opus 5 d'Anthropic (lancé le 24 juillet 2026, à 5 $ par million de tokens d'entrée) a également obtenu 42/42, avec quatre solutions indépendantes par problème confirmées par des experts humains.
- Le seuil de la médaille d'or humaine est de 29 sur 42. Les modèles IA ont dépassé ce seuil de 13 points complets, y compris sur les problèmes 3 et 6 que les médaillés d'or humains laissent souvent incomplets.
- Mise en garde honnête : seuls deux modèles ont été soumis au processus de notation officielle de l'IMO. Quatre autres ont été évalués avec des agents IA comme correcteurs - une affirmation plus faible que beaucoup de titres n'ont pas distinguée.
- Les problèmes de l'IMO sont des questions de compétition au format connu - pas de la recherche mathématique originale. Le benchmark est maintenant saturé.
Que s'est-il passé à l'Olympiade internationale de mathématiques 2026 ?
L'Olympiade internationale de mathématiques est la plus ancienne et la plus prestigieuse compétition de maths pour les élèves du secondaire. Chaque année, un jury international propose six problèmes couvrant la théorie des nombres, la géométrie, la combinatoire et l'algèbre. Les problèmes 3 et 6 sont si difficiles que même les meilleurs jeunes mathématiciens du monde les laissent souvent incomplets ou n'obtiennent que des points partiels.
En 2026, deux systèmes IA ont été officiellement soumis via le canal formel de l'IMO : le Celia de Huawei et le dots-note-3.0 de Xiaohongshu. Les deux ont obtenu 42 sur 42, résolvant les six problèmes sans assistance humaine.
Séparément, le raisonnement mathématique IA de Claude Opus 5 d'Anthropic - sorti le 24 juillet 2026 - a été testé sur les mêmes problèmes par des chercheurs indépendants et a produit quatre solutions distinctes par problème, toutes confirmées correctes par un panel d'experts humains. Un capital-risqueur a également testé quatre modèles frontières dont Claude Fable 5 et GPT-5.6 Sol ; tous ont obtenu 42/42 via une évaluation par des agents IA. Le seuil de la médaille d'or humaine est de 29 points. Tous les modèles IA l'ont dépassé de 13 points complets.
Tous les scores de 42/42 ne sont pas égaux
Le même chiffre peut recouvrir des niveaux de fiabilité très différents, selon la manière dont les solutions ont été vérifiées.
Les deux modèles officiellement notés - Celia et dots-note-3.0 - ont suivi le même processus formel que les candidats humains : solutions soumises aux organisateurs de l'IMO, notées sans intervention humaine par la même équipe qui évalue les copies des élèves. C'est le niveau de vérification le plus élevé disponible.
Les autres modèles ont obtenu 42/42 par un autre chemin : un chercheur a exécuté les problèmes, les modèles ont produit des solutions, et d'autres IA ont joué le rôle de correcteurs. Utile, mais différent d'un contrôle officiel. Dans au moins un cas documenté, deux modèles IA ont fourni des réponses incorrectes identiques au problème 3, indiquant un angle mort partagé dans les données d'entraînement plutôt qu'un véritable raisonnement indépendant.
Pourquoi c'est encore un vrai jalon
Malgré ces nuances, l'exploit est réel. Les problèmes de l'IMO requièrent des preuves de plusieurs pages, un raisonnement logique rigoureux, et des combinaisons d'idées mathématiques bien au-delà du calcul mécanique. Les médaillés d'or humains s'entraînent pendant des années pour résoudre de façon fiable trois ou quatre des six problèmes. Les problèmes ne sont communiqués aux IA qu'après la fin de la compétition humaine, excluant tout raccourci.
Claude Opus 5 produisant quatre solutions indépendantes par problème - chacune vérifiée par des experts humains - n'est pas le fruit du hasard. Cela montre que le raisonnement mathématique IA de pointe peut désormais s'engager dans l'intégralité de la rédaction de preuves structurées : énoncer des propositions précisément, construire des arguments étape par étape, et parvenir à une conclusion logique complète et vérifiable. Ce niveau de performance n'était pas atteignable il y a deux ans.
Qu'est-ce que cela signifie pour vous ?
Si vous utilisez l'IA comme tuteur de maths, partenaire d'étude ou outil de résolution de problèmes, le message pratique est clair : sur des problèmes mathématiques structurés avec des réponses vérifiables, les IA de pointe opèrent désormais à un niveau de classe mondiale. Cela change ce que vous pouvez raisonnablement leur demander :
- Vérifier vos propres solutions pour détecter des erreurs logiques, au niveau d'un réviseur expert
- Expliquer chaque étape d'une démonstration complexe, pas seulement fournir la réponse
- Générer plusieurs approches distinctes du même problème - utile quand comprendre importe plus que copier
- Travailler sur des sujets avancés en analyse, algèbre linéaire, théorie des nombres ou combinatoire à un niveau qui nécessiterait normalement un spécialiste
Pour les chercheurs et les éducateurs, les implications méritent réflexion. Si une IA peut maintenant résoudre chaque problème du concours de maths le plus difficile pour les lycéens, la valeur d'évaluer la compétence mathématique uniquement par ce type de problèmes doit évoluer. La compétence vraiment irremplaçable est la créativité mathématique : savoir quelles questions poser, pas seulement répondre à celles qu'on vous soumet.
Pour ceux qui suivent les technologies du langage : la même capacité de raisonnement qui alimente cette performance en maths sous-tend aussi des applications comme la traduction en langue des signes par IA, et l'analyse des dépendances logiques dans les documents techniques et les brevets.
Ce que le score parfait IA à l'Olympiade ne signifie pas ?
L'élément le plus important à comprendre sur ce résultat, c'est ce qu'il ne dit pas.
Résoudre l'IMO 2026 ne revient pas à faire de la mathématique originale. Les problèmes, aussi difficiles soient-ils, sont des questions conçues avec des réponses correctes dans un format connu. Formuler une nouvelle conjecture, trouver une démonstration pour un problème ouvert, ou reconnaître quelles questions méritent d'être posées - ce sont des compétences différentes, et les performances de l'IA dans ces domaines restent bien plus limitées.
Le benchmark est aussi maintenant saturé. Quand plusieurs modèles obtiennent tous 42/42, ce chiffre ne porte plus d'information. Il ne distingue plus les bons modèles des excellents, ni ne vous indique quel modèle convient à votre tâche réelle.
Le phénomène le plus important à intérioriser en 2026 est la frontière irrégulière : les mêmes modèles qui résolvent les six problèmes de l'IMO ont des échecs documentés sur des tâches beaucoup plus simples. Selon une analyse de 2026, GPT-5.4 ne lit correctement une horloge analogique que dans 50,1% des cas - à peu près comme un hasard.
Une étude séparée a révélé que 42 des 53 modèles IA de pointe ont donné de mauvaises réponses à une question simple sur la décision de marcher ou de conduire jusqu'à un lave-auto à 50 mètres. Ces modèles sont très forts dans les domaines bien couverts par leurs données d'entraînement, et étonnamment faibles dans les cas limites inédits.
Les recherches récentes sur le réseau linguistique du cerveau humain illustrent bien ce contraste : même quand l'IA égale l'humain sur des problèmes structurés, les mécanismes sous-jacents restent différents de manières importantes.
Quoi surveiller ensuite
La frontière du raisonnement IA a dépassé l'IMO. Les nouveaux tests sont plus difficiles et plus ouverts :
- FrontierMath : problèmes originaux et non publiés conçus par des mathématiciens de recherche, où les performances de l'IA restent bien en dessous du niveau des experts humains
- Découverte de preuves en terrain ouvert : l'IA peut-elle générer une démonstration pour un problème réellement non résolu, vérifiable de façon indépendante ?
- Fiabilité sous changement de format : le raisonnement du modèle tient-il quand la structure du problème diffère de ce qui apparaît dans l'entraînement ?
L'IMO nous a dit où était le seuil en 2024. Il ne dit plus où est la frontière en 2026. Pour comprendre ce que l'IA peut réellement faire en mathématiques, il faut des benchmarks plus difficiles, de vraies tâches de recherche, et une analyse honnête des modes d'échec - pas la compétition que l'IA a déjà réussie.
FAQ
L'IA a-t-elle réellement participé à l'Olympiade internationale de mathématiques 2026 ?
Deux systèmes IA - le Celia de Huawei et le dots-note-3.0 de Xiaohongshu - ont été soumis officiellement aux organisateurs de l'IMO après la fin de la compétition humaine et ont tous deux obtenu 42/42. Claude Opus 5 et d'autres modèles ont été testés indépendamment sur les mêmes problèmes, mais pas via le canal officiel. Les deux formes de test sont valables, mais elles ne sont pas équivalentes.
Cela signifie-t-il que l'IA est meilleure en maths que tout être humain ?
Sur les problèmes de démonstration structurés avec des réponses correctes vérifiables, les modèles IA de pointe égalent ou dépassent désormais les meilleurs jeunes mathématiciens au monde. Cela ne signifie pas être meilleur en mathématiques de façon générale. La recherche originale, la formulation de problèmes et la créativité mathématique sont des compétences différentes, et les performances de l'IA y restent bien plus limitées.
Puis-je utiliser l'IA pour apprendre les mathématiques ?
Oui, et ce résultat rend cela plus crédible. Les modèles de pointe peuvent expliquer, vérifier et résoudre des problèmes mathématiques avancés à un niveau de classe mondiale sur des problèmes structurés. Pour l'apprentissage, l'approche la plus utile n'est pas de copier la réponse, mais de demander au modèle d'expliquer chaque étape, de proposer plusieurs approches, ou d'identifier où votre propre raisonnement a failli. C'est là que le raisonnement mathématique IA apporte une vraie valeur pédagogique.
Pourquoi la méthode de vérification est-elle importante si les scores sont tous 42/42 ?
Parce qu'une IA notée par une autre IA n'équivaut pas à une notation par des examinateurs humains officiels. Quand deux modèles IA ont donné des réponses incorrectes identiques au problème 3 lors de tests indépendants, cela a révélé un angle mort partagé dans les données d'entraînement, pas un raisonnement indépendant. Le processus de notation officiel de l'IMO est le seul standard comparable à la mesure des performances humaines.
Que se passe-t-il maintenant que l'IA a saturé le benchmark IMO ?
L'IMO cesse d'être un outil d'évaluation utile pour l'IA - une fois que chaque modèle obtient 42/42, le chiffre ne porte plus d'information. Les chercheurs se tournent vers des tests plus difficiles : FrontierMath utilise des problèmes originaux non publiés conçus par des mathématiciens de recherche. Ce sont ces benchmarks qui montreront où se trouve la vraie frontière.
Sources : Anthropic - Notes de version de Claude Opus 5 (2026) ; BreezyScroll - L'IA obtient un score parfait à l'Olympiade internationale de mathématiques (2026) ; Digital Applied - Quatre IA ont obtenu 42/42 à l'IMO 2026. Et alors ? (2026)
À propos de l'auteur
Dao Huy (Lucas) est un traducteur professionnel travaillant entre l'anglais, le vietnamien, le chinois et le français, avec plus de sept ans d'expérience. Il suit les avancées en IA et en raisonnement mathématique IA non pas en tant que chercheur, mais en tant que quelqu'un dont le travail quotidien dépend de la précision, de la structure logique et de la capacité à détecter quand un système automatisé est fiable et quand il ne l'est pas - des compétences aussi nécessaires dans une démonstration vérifiée que dans une traduction technique de contrat.
Lucas propose des services professionnels de traduction anglais-vietnamien, notamment en traduction technique, juridique et de brevets. Si vous avez besoin d'un contenu où la précision et le jugement humain comptent tous les deux, il sera heureux de vous fournir un devis sur daohuy.com.
Written by Dao Huy (Lucas), Vietnamese translator & localization specialist (EN · ZH · FR → Vietnamese). See translation services →