Les scientifiques vietnamiens propulsent le modèle mathématique d'IA d'AlphaGeometry vers des sommets olympiques

Dans une percé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 atteint un jalon en construisant un modèle mathématique d'IA nommé AlphaGeometry. En collaboration avec une équipe d'experts, le trio, tous spécialistes de l'IA chez Google DeepMind, a réussi à créer un système qui non seulement rivalise avec, mais dépasse les capacités de résolution de problèmes des médaillés de bronze humains aux Olympiades internationales de mathématiques (IMO). La puissance d'AlphaGeometry réside dans son approche unique de la formation et de la résolution de problèmes, représentant un bond significatif dans le domaine des mathématiques assistées par l'IA.

Le modèle mathématique olympien d'IA

Le cœur du modèle d'IA, AlphaGeometry, a démontré ses capacités exceptionnelles en résolvant avec succès 25 problèmes sur 30 de géométrie utilisés lors des IMO de 2000 à 2022. Cette réalisation est particulièrement remarquable lorsqu'on la compare à un système renommé des années 1970, considéré comme le plus puissant prouvé de théorèmes de géométrie à l'époque, qui n'avait réussi à résoudre que 10 problèmes. Ce succès place AlphaGeometry dans une ligue qui lui est propre, dépassant la performance moyenne d'un médaillé d'or aux IMO, qui résout généralement 25,9 problèmes. Le trio, Trieu, Thang et Quoc, a exprimé son étonnement devant cette réalisation sans précédent, soulignant la complexité des problèmes mathématiques qui impliquent souvent des centaines d'étapes.

Les caractéristiques distinctives d'AlphaGeometry résident dans sa combinaison d'un modèle de langage neuronal et d'un moteur symbolique, méticuleusement calibré pour la résolution de problèmes géométriques. Ce qui le distingue, c'est les données synthétiques sur lesquelles il s'appuie, dépourvues d'exemples humains, permettant au modèle de générer des réponses de haute qualité « à partir de rien ». Cela distingue AlphaGeometry d'autres modèles d'IA comme ChatGPT ou Gemini, qui trouvent principalement des réponses existantes ou similaires aux solutions humaines. Le professeur Ngo Bao Chau du département de mathématiques de l'Université de Chicago a reconnu la ressemblance entre la résolution de problèmes de géométrie aux IMO et les échecs, soulignant la réalisation louable des chercheurs en IA.

Le chemin vers AlphaGeometry

Les origines d'AlphaGeometry remontent à 2019 lorsque Trinh Hoang Trieu a conceptualisé l'idée en recherchant un sujet de recherche de diplôme à l'Université de New York. Trieu, ancien élève de l'Université des sciences de Hô Chi Minh-Ville, avait imaginé un modèle capable de résoudre des problèmes géométriques simples. Intrigué par les idées de Trieu, Le Viet Quoc et Luong Minh Thang, anciens étudiants en mathématiques, ont rejoint l'entreprise. Trieu, ayant rejoint Google DeepMind en 2021, et l'équipe ont travaillé assidûment sur AlphaGeometry, atteignant une percée trois mois après qu'un problème de géométrie des IMO ait été résolu.

L'équipe envisage AlphaGeometry comme plus qu'une simple merveille mathématique. Trieu suggère son utilisation potentielle comme système d'accompagnement soutenant les élèves du secondaire confrontés à des problèmes de géométrie, marquant un pas vers l'éducation assistée par l'IA. Evan Chen, médaillé d'or aux IMO 2014 et chercheur au Massachusetts Institute of Technology, a exprimé sa surprise face aux capacités d'AlphaGeometry, soulignant sa dépendance aux principes géométriques purs, ce qui le distingue des méthodes conventionnelles utilisant des coordonnées et de l'algèbre.

Le voyage pionnier d'AlphaGeometry dans les mathématiques assistées par l'IA

Alors qu'AlphaGeometry prend les devants avec ses capacités inégalées, la question se pose : Quelles possibilités se cachent pour le paysage des mathématiques assistées par l'IA ? Avec le potentiel d'assister à la résolution des sept problèmes du prix du millénaire, les chercheurs anticipent un développement continu et des applications d'AlphaGeometry dans divers domaines. La publication de leur travail dans Nature, une revue prestigieuse, remplit Le Viet Quoc de fierté, mettant en évidence le potentiel de l'IA non seulement pour résoudre des problèmes mathématiques, mais pour propulser l'humanité de l'avant. L'approche unique d'AlphaGeometry peut-elle ouvrir la voie à une nouvelle ère dans les mathématiques assistées par l'IA ?

Dans un monde où les frontières de l'intelligence artificielle s'étendent continuellement, la création des scientifiques vietnamiens, AlphaGeometry, témoigne des possibilités illimitées lorsque l'ingéniosité humaine converge avec la technologie de pointe.