Dans une avancée remarquable qui remet en question les capacités conventionnelles de l'intelligence artificielle, trois scientifiques vietnamiens, Trinh Hoang Trieu, Luong Minh Thang et Le Viet Quoc, ont franchi une étape importante en concevant un modèle mathématique d'IA, baptisé AlphaGeometry. En collaboration avec une équipe d'experts, ce trio de spécialistes en IA chez Google DeepMind est parvenu à créer un système qui non seulement rivalise avec, mais surpasse les performances des médaillés de bronze humains aux Olympiades internationales dematic(OIM). La force d'AlphaGeometry réside dans son approche unique de l'entraînement et de la résolution de problèmes, représentant un progrès significatif dans le domaine desmaticassistées par l'IA.
Le modèle mathématique d'IA olympique
Le cœur du modèle d'IA, AlphaGeometry, a démontré ses capacités exceptionnelles en résolvant avec succès 25 des 30 problèmes de géométrie utilisés aux OIM de 2000 à 2022. Cette performance est d'autant plus remarquable qu'elle surpasse celle d'un système renommé des années 1970, considéré comme le plustrondémonstrateur de théorèmes géométriques de l'époque, qui n'avait résolu que 10 problèmes. Ce succès place AlphaGeometry dans une catégorie à part, dépassant la performance moyenne d'un médaillé d'or aux OIM, qui résout généralement 25,9 problèmes. Le trio, Trieu, Thang et Quoc, a exprimé son étonnement face à cet exploitdentprécédent, soulignant la complexité des problèmesmaticqui impliquent souvent des centaines d'étapes.
AlphaGeometry se distingue par la combinaison d'un modèle de langage neuronal et d'un moteur symbolique, méticuleusement calibrés pour la résolution de problèmes géométriques. Sa particularité réside dans l'utilisation de données synthétiques, dépourvues d'exemples humains, permettant au modèle de générer des réponses de haute qualité « à partir de rien ». Ceci différencie AlphaGeometry d'autres modèles d'IA comme ChatGPT ou Gemini, qui se contentent de trouver des réponses existantes ou similaires à des solutions humaines. Le professeur Ngo Bao Chau, du département de mathématiques de l'université de Chicago, a souligné la ressemblance entre la résolution des problèmes de géométrie des Olympiades internationales de mathématiques (OIM) et le jeu d'échecs, mettant ainsi en lumière la remarquable performance des chercheurs en IA.
Le voyage vers AlphaGeometry
L'idée d'AlphaGeometry tracà 2019, lorsque Trinh Hoang Trieu, alors étudiant à l'Université de New York, cherchait un sujet de recherche pour son mémoire de fin d'études. Trieu, anciendent de l'Université des Sciences de Hô Chi Minh-Ville, imaginait un modèle capable de résoudre des problèmes géométriques simples. Intrigués par ses idées, Le Viet Quoc et Luong Minh Thang, également anciensdenten mathématiques, se sont joints à lui. Trieu a rejoint Google DeepMind en 2021, et son équipe ont travaillé avec acharnement sur AlphaGeometry, réalisant une avancée majeure trois mois après la résolution d'un problème de géométrie des Olympiades internationales de mathématiques (OIM).
L'équipe envisage AlphaGeometry comme bien plus qu'une simple prouessematic. Trieu suggère son utilisation potentielle comme système d'aide à ladentde problèmes géométriques pour les lycéens, marquant ainsi un pas de géant vers une éducation assistée par l'IA. Evan Chen, médaillé d'or aux Olympiades internationales de mathématiques (OIM) de 2014 et chercheur au Massachusetts Institute of Technology (MIT), s'est dit surpris par les capacités d'AlphaGeometry, soulignant son recours aux principes géométriques purs, ce qui la distingue des méthodes conventionnelles utilisant les coordonnées et l'algèbre.
Le parcours novateur d'AlphaGeometry dans lematicdes mathématiques assistées par l'IA
Alors qu'AlphaGeometry s'impose sur le devant de la scène grâce à ses capacités inégalées, une question se pose : quelles perspectives s'offrent à l'avenir desmaticassistées par l'IA ? Capable de contribuer à la résolution des sept problèmes du prix du millénaire, AlphaGeometry devrait connaître un développement et des applications continus dans divers domaines. La publication de leurs travaux dans Nature, revue prestigieuse, remplit Le Viet Quoc de fierté, soulignant le potentiel de l'IA non seulement pour résoudre des problèmesmatic, mais aussi pour faire progresser l'humanité. L'approche unique d'AlphaGeometry peut-elle ouvrir la voie à une nouvelle ère desmaticassistées par l'IA ?
Dans un monde où les frontières de l'intelligence artificielle ne cessent de s'étendre, la création des scientifiques vietnamiens, AlphaGeometry, témoigne des possibilités illimitées qui s'offrent à nous lorsque l'ingéniosité humaine converge avec les technologies de pointe.
