L'IA d'OpenAI remporte l'or aux Olympiades de mathématiques 2025

L'histoire a été réécrite le week-end dernier en Australie, pays hôte de la 66e Olympiade internationale de mathématiques (IMO). Mais cette fois, ce n'est pas un jeune prodige qui a volé la vedette, mais un modèle expérimental d' OpenAI qui a remporté une médaille d'or en résolvant cinq des six problèmes complexes posés par la compétition pré-universitaire la plus exigeante au monde.

L'annonce a été faite par le chercheur Alexander Wei via son compte X (anciennement Twitter), suscitant surprise et débats. « Nous évaluons nos modèles selon les mêmes règles que nos concurrents humains : pas d'outils, pas d'Internet, juste un crayon, du papier et du raisonnement », a-t-il expliqué.

L'IMO est considéré comme le summum de la pensée logique et créative en mathématiques. Le fait qu'une IA ait atteint des performances équivalentes à celles des meilleurs humains de la planète n'est pas une simple anecdote : cela marque un tournant dans le développement des grands modèles de langage (LLM).

Ces modèles, entraînés sur de vastes volumes de texte, ont démontré des compétences en rédaction, traduction et résolution de problèmes. Mais le raisonnement mathématique abstrait est resté jusqu'à présent une frontière peu explorée.

Alexander Wei a souligné : « Les problèmes de l'OMI nécessitent une réflexion créative soutenue. Cela démontre que nous pouvons dépasser le paradigme des récompenses claires et parvenir à des structures logiques complexes qui ressemblent à l'esprit humain. »

Les réponses du modèle ont été évaluées par trois anciens médaillés de l'OMI, qui ont validé le raisonnement du modèle par consensus. Le modèle a obtenu 35 points sur 42 , le score requis pour l'or.

Cette avancée intervient peu après que DeepMind, filiale de Google, ait décroché une simple médaille d'argent lors de la même compétition avec ses modèles AlphaProof et AlphaGeometry. Nombreux étaient ceux au sein de la communauté scientifique qui pensaient que nous étions encore loin d'une IA au plus haut niveau… jusqu'à maintenant.

Cependant, des voix critiques, comme celle d'Ernest Ryu, professeur à l'UCLA, ont souligné que résoudre des problèmes connus est une chose, mais que les vraies mathématiques inventent l'inconnu . « Je ne pense pas que l'IA remplacera les mathématiciens de sitôt », a-t-il déclaré, « mais ce sera un outil puissant pour accroître leur productivité. »

L'un des problèmes les plus difficiles de cette année était la combinatoire , un domaine où il n'existe pas de formules fixes et où la créativité est essentielle. Le modèle d'OpenAI a également réussi à relever ce défi, surprenant même les anciens athlètes olympiques qui ont contribué à l'entraînement de l'IA.

« On ne peut pas transformer la combinatoire en algèbre comme c'est le cas dans d'autres domaines. Il faut inventer, et l'IA l'a fait », a expliqué un membre de l'équipe.

Bien que beaucoup s'attendaient à ce que cette réalisation fasse partie du prochain ChatGPT-5 , Alexander Wei a précisé que le modèle olympique est expérimental et que sa sortie n'est pas prévue à court terme. « Nous voulons d'abord comprendre comment il est arrivé jusqu'ici », a-t-il noté.

L’or obtenu ne représente pas une menace immédiate, mais il représente un signal puissant que la connaissance humaine entre dans une nouvelle ère de collaboration avec l’intelligence artificielle.