Google a publié les résultats de l'IA montrant que l'AlphaGeometry 2 de la société a atteint le niveau des étudiants qui ont remporté des médailles d'or à l'Olympiade internationale de mathématiques.
L'Olympiade internationale de mathématiques est un concours annuel pour les étudiants talentueux - Photo : Nature.com
Depuis janvier 2024, l'équipe Google DeepMind a annoncé dans Nature , la prestigieuse revue scientifique de référence, le développement d'un outil d'IA capable de résoudre les problèmes d'AlphaGeometry, qui a impressionné le monde entier. DeepMind a démontré le niveau des étudiants médaillés d'argent aux Olympiades internationales de mathématiques (IMO).
Des scientifiques vietnamiens participent
Le 5 février 2025, l'équipe d'IA de Google DeepMind a annoncé les résultats de son nouveau système, AlphaGeometry 2, qui a dépassé la moyenne des médaillés d'or de l'OMI. Ces résultats ont été décrits dans un tableau préliminaire et ont également été rapportés par Nature.
Une particularité est que les membres de recherche de ce groupe Google DeepMind comprennent trois scientifiques vietnamiens (THTrinh, Y.Wu, QVLe, H.He et T.Luong) dans l'article de 2024 et quatre Vietnamiens (Yuri Chervonyi, Trieu H.Trinh, Miroslav Olšák, Xiaomeng Yang, Hoang Nguyen, Marcelo Menegali, Junehyuk Jung, Vikas Verma, Quoc V.Le et Thang Luong) dans l'article de cette année (2025).
« Je pense qu'il ne faudra pas longtemps avant que les ordinateurs obtiennent la note maximale à l'OMI », déclare Kevin Buzzard, mathématicien à l'Imperial College de Londres.
La résolution de problèmes de géométrie euclidienne est l'un des quatre sujets des examens de mathématiques de l'IMO. Les autres sujets incluent la théorie des nombres, l'algèbre et la combinatoire. Les problèmes de géométrie exigent des compétences particulières, car les candidats doivent fournir des preuves rigoureuses impliquant des objets géométriques sur le plan.
En juillet dernier, AlphaGeometry 2 a été lancé au public avec un nouveau système, AlphaProof, développé par DeepMind pour résoudre des problèmes qui ne font pas partie des problèmes de géométrie de l'ensemble international des Olympiades.
Je pense qu'il ne faudra pas longtemps avant que les ordinateurs obtiennent la note maximale à mon avis.
Kevin Buzzard (mathématicien à l'Imperial College de Londres, Royaume-Uni)
langage des mathématiques
L'équipe d'IA de Google a formé le « modèle de langage » de DeepMind pour parler un langage mathématique commun, lui permettant de vérifier automatiquement l'exactitude logique de sa sortie - et d'éliminer les déclarations erronées ou incohérentes que les chatbots IA font souvent.
Pour AlphaGeometry 2, l'équipe a apporté plusieurs améliorations, notamment l'intégration de Gemini, le modèle de langage de pointe de Google. L'équipe a également introduit la capacité pour l'IA de raisonner en déplaçant des objets géométriques sur un plan (par exemple, en déplaçant un point le long d'une ligne pour modifier la hauteur d'un triangle) et de résoudre des équations linéaires.
Le système AlphaGeometry 2 peut résoudre 84 % de tous les problèmes de géométrie posés dans les compétitions mathématiques de l'OMI au cours des 25 dernières années, ce qui correspond au niveau de la médaille d'or olympique, contre 54 % pour AlphaGeometry.
L'année dernière, les équipes d'IA en Inde et en Chine ont également utilisé d'autres méthodes pour obtenir des résultats dignes d'une médaille d'or en géométrie, mais sur un ensemble plus restreint de problèmes de géométrie de l'OMI.
Les auteurs de l’article de DeepMind écrivent que les futures améliorations d’AlphaGeometry incluront la résolution de problèmes mathématiques impliquant des inégalités et des équations non linéaires, ce qui signifie qu’il sera capable de résoudre toute la gamme des problèmes géométriques.
Des progrès rapides
Le prix de 5 millions de dollars, appelé AI Math Olympiad Prize, est décerné au premier système d'IA à atteindre une performance de niveau médaille d'or pour une Olympiade de mathématiques entière, avec l'exigence que ces systèmes soient open source, ce que DeepMind n'a pas encore fait.
Kevin Buzzard a déclaré ne pas être surpris par les progrès rapides de Google DeepMind et des équipes indienne et chinoise. Cependant, a-t-il ajouté, si les problèmes étaient complexes, ils étaient conceptuellement simples et de nombreux défis restaient à relever avant que l'IA puisse s'attaquer à des problèmes relevant de la recherche mathématique.
J'attends avec impatience la prochaine Olympiade internationale de mathématiques
Les chercheurs en IA attendent avec impatience les Olympiades internationales de mathématiques (IMO) qui se tiendront sur la Sunshine Coast, en Australie, en juillet. Une fois les problèmes du concours présentés aux participants, les systèmes d'IA pourraient également être autorisés à les résoudre. (Les équipes d'IA ne sont pas autorisées à participer au concours et ne peuvent donc pas remporter de médailles.)
Ces nouveaux problèmes sont considérés comme les tests les plus fiables pour les systèmes d'IA, car ils sont soit complètement nouveaux, soit leurs solutions ne sont pas encore apparues et sont donc évités dans les données de formation, ce qui fait que les résultats de la solution d'IA perdent leur intégrité.
Source : https://tuoitre.vn/ai-da-dat-trinh-do-huy-chuong-vang-olympic-toan-quoc-te-20250216075505787.htm
Comment (0)