
Les Olympiades internationales de mathématiques (OIM) 2025 se sont déroulées du 10 au 20 juillet à Sunshine Coast, dans le Queensland, en Australie, et ont réuni 630 participants. Parmi eux, 67 (environ 11 %) ont remporté une médaille d'or. Le fait que l'intelligence artificielle ait également réalisé une performance similaire constitue un événement historique.
Pour la première fois cette année, le concours OIM s'est officiellement associé à plusieurs développeurs d'IA. Les juges de l'OIM ont validé les résultats des entreprises partenaires, dont Google, et leur ont demandé de les publier avant le 28 juillet.
Cependant, les résultats finaux ont montré que même les machines les plus avancées et les plus modernes ont été vaincues par les adolescents les plus brillants du monde .
Le dernier rempart de l'humanité ?
L'examen des Olympiades internationales de mathématiques (OIM), réputé pour sa difficulté, se déroule sur deux jours. Chaque jour, les étudiants doivent résoudre trois problèmes de complexité croissante en un peu plus de quatre heures. Les questions portent sur l'algèbre, la géométrie, la théorie des nombres et la combinatoire.
En raison de ses problèmes complexes et non conventionnels, le test annuel de mathématiques est devenu un outil précieux pour mesurer les progrès de l'IA année après année. À l'ère du développement rapide, les laboratoires de recherche les plus avancés rêvent du jour où leurs systèmes seront suffisamment performants pour remporter une médaille d'or aux Olympiades internationales de mathématiques (OIM).
Bien que cette ambition se soit concrétisée lorsque l'IA de Google et d'OpenAI a remporté des médailles d'or, il est à noter que 26 étudiants ont obtenu des scores supérieurs.
Parmi eux figurent quatre étoiles de l'équipe américaine, dont Qiao Zhang, double médaillée d'or, et Alexander Wang, qui a offert au New Jersey sa troisième médaille d'or consécutive. Grâce à cet exploit, Wang s'impose comme l'un des plus brillants jeunes mathématiciens de tous les temps et pourrait bien remporter une nouvelle médaille d'or aux Olympiades internationales de mathématiques l'année prochaine.
![]() |
L'équipe américaine aux Olympiades internationales de mathématiques de 2025. Photo : WSJ. |
Dans une interview accordée au WSJ , Zhang a déclaré avoir passé le plus de temps sur le problème numéro 6 durant l'examen. Il s'agit d'un problème de combinatoire réputé pour sa difficulté, relevant d'une branche des mathématiques qui consiste à dénombrer, trier et combiner des objets discrets.
La résolution de ce problème exige de l'ingéniosité, de la créativité et de l'intuition, qualités dont les humains sont capables mais que les machines ne possèdent pas, du moins pas encore. « J'aurais même un peu peur si les modèles d'IA parvenaient à résoudre le problème n° 6 », a déclaré Zhang.
Le problème numéro 6 a mis à rude épreuve les modèles de DeepMind et d'OpenAI, mais l'IA n'était pas la seule à rencontrer des difficultés. Sur les 630 participants, 569 ont obtenu un score de 0. Seuls 6 ont décroché la note parfaite de 7 points. Zhang, fier de sa solution partielle, a obtenu 4 points, un score supérieur à celui de la plupart des autres concurrents.
Face à ses progrès constants, nombreux sont ceux qui affirment que l'IA pourrait « détruire » l'humanité en mathématiques. Junehyuk Jung, quant à lui, n'est pas de cet avis.
Ancien médaillé d'or aux Olympiades internationales de mathématiques (OIM), Jung est actuellement professeur associé à l'université Brown et chercheur invité chez DeepMind. Il ne pense toutefois pas qu'il s'agisse du dernier combat de l'humanité. Selon lui, des problèmes comme le Problème 6 continueront de perturber l'IA pendant au moins une décennie.
« L’IA excellera dans certains domaines. Cependant, il y aura toujours des choses que les humains pourront faire mieux », a fait remarquer Jung.
La course à la médaille d'or en mathématiques
En 2021, un étudiant nommé Alexander Wei a participé à un projet de recherche qui lui demandait de prédire les capacités mathématiques de l'IA d'ici juillet 2025. En comparant avec d'autres prédictions, Wei a estimé que celle-ci était trop optimiste.
Pourtant, cet ancien étudiant est aujourd'hui la preuve vivante qu'il s'était complètement trompé. Wei est le chercheur qui a dirigé le projet IMO pour OpenAI. Le plus impressionnant, c'est la manière dont ils y sont parvenus.
Non seulement OpenAI, mais aussi Google ont qualifié les résultats obtenus à l'OIM 2025 d'avancée majeure. En 2024, les modèles d'IA nécessitaient la traduction des problèmes en langages de programmation informatique pour permettre leur démonstration mathématique.
En un an seulement, ces systèmes fonctionnaient entièrement en « langage naturel » sans aucune intervention humaine. DeepMind a également terminé l'examen dans le délai imparti de 4,5 heures des OIM. À titre de comparaison, en 2024, ce système avait mis plusieurs jours pour trouver la solution.
Beaucoup pourraient considérer l'IA comme une concurrente. Cependant, ceux qui conçoivent ces modèles les voient comme des outils complémentaires.
![]() |
Résultats finaux de l'Olympiade internationale de mathématiques 2025. Photo : WSJ. |
« Il pourrait s'agir d'un nouvel ordinateur qui propulsera la prochaine génération de mathématiciens », a déclaré le Dr Luong Minh Thang, chercheur principal chez Google (États-Unis).
Il y a trois semaines, l'équipe du Dr Minh Thang a développé avec succès AlphaGeometry 2. La caractéristique la plus remarquable de cette version est sa capacité à résoudre des problèmes de géométrie qui surpassent ceux des médaillés d'or de l'Olympiade internationale de mathématiques (OIM).
« Si des élèves possédant des compétences leur permettant de remporter une médaille d'or aux OIM peuvent résoudre 40 problèmes sur 50, alors AlphaGeometry 2 sera capable d'en résoudre 42 sur 50 » , a partagé avec enthousiasme le Dr Thang.
L'an dernier, ce modèle n'avait remporté qu'une médaille d'argent. Cette année, Google utilise le modèle polyvalent Gemini Deep Think (une version qui avait été présentée lors de la conférence des développeurs en mai).
D'après le WSJ , l'équipe du Dr Thang procédait encore à des ajustements avant le début de la compétition. Initialement, le Dr Thang s'attendait à ce que le modèle de DeepMind résolve les trois problèmes dès le premier jour.
La simplicité, l'élégance et la remarquable lisibilité de ces solutions ont stupéfié les mathématiciens. Le lendemain, lorsque Thang et ses collègues ont découvert que le système d'IA avait résolu deux autres problèmes, ils ont compris qu'ils pouvaient absolument remporter la médaille d'or.
Par conséquent, l'IA de DeepMind a résolu avec succès 5 des 6 problèmes. Il est à noter que tous ont utilisé des modèles de raisonnement empirique, traitant les concepts mathématiques à l'aide du langage naturel, ce qui contraste fortement avec les approches complexes utilisées auparavant par les entreprises spécialisées en IA.
Source : https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html










Comment (0)