Un Vietnamien de Google crée une IA pour résoudre des problèmes mathématiques qui « battent » la médaille d'or olympique internationale

L'IA « bat » la médaille d'or olympique internationale

Il y a trois semaines, l'équipe du Dr Minh Thang, chercheur senior chez Google (États-Unis), a développé avec succès la version AlphaGeometry 2. La principale caractéristique de cette version est qu'elle surpasse les médaillés d'or de l'Olympiade internationale de mathématiques (IMO) en résolution de problèmes de géométrie mathématique. « Si les médaillés d’or de l’OMI peuvent résoudre 40/50 problèmes, AlphaGeometry 2 résoudra 42/50 problèmes », a partagé avec joie le Dr Thang.

Il y a 20 ans, le Dr Thang étudiait dans la classe de mathématiques spécialisées du lycée pour enfants doués de Ho Chi Minh-Ville, élève du professeur Le Ba Khanh Trinh - le premier Vietnamien à remporter une médaille d'or de l'IMO (en 1979). M. Trinh est également le seul Vietnamien à avoir remporté à ce jour le prix spécial de ce concours grâce à sa solution courte et impressionnante au problème de géométrie numéro 3.

S'inspirant du talentueux professeur pour ses recherches, M. Thang s'est toujours posé la question : « Notre IA peut-elle résoudre le problème de M. Le Ba Khanh Trinh dans le passé ? ». Cette question est à l’origine de la détermination de M. Thang à créer un logiciel d’IA pour résoudre des problèmes mathématiques.

Né en 2022, Alpha Geometry est passé inaperçu auprès de tous, car les premiers logiciels ne pouvaient résoudre que quelques petits problèmes mathématiques.

Le Dr Luong Minh Thang (à droite) partage avec des experts lors de la conférence sur l'intelligence artificielle GenAI Summit 2024.

Après 2 ans de développement, en janvier 2024, AlphaGeometry a officiellement « fait ses débuts » dans le monde de l'IA avec un article de recherche publié dans la revue de renommée mondiale Nature. L'article mettait en vedette trois médecins vietnamiens : Luong Minh Thang, Trinh Hoang Trieu et Le Viet Quoc, et deux étrangers, le Dr Yuhuai Wu et le Dr He He.

Dans cette version, AlphaGeometry a surpris de nombreuses personnes en utilisant des modèles de langage neuronal et un raisonnement logique combinés à des données synthétiques à grande échelle pour résoudre les problèmes de l'IMO (concours international de mathématiques).

« Cependant, à l'heure actuelle, AlphaGeometry ne parvient toujours pas à résoudre le problème légendaire de M. Trinh. Ce problème implique des points mobiles reliés entre eux, mais AlphaGeometry 1 ne peut pas décrire ce mouvement », a déclaré le Dr. Luong Minh Thang s’efforce de trouver des moyens d’améliorer et de mettre à niveau le logiciel.

Il y a 20 ans, Thang a raté l'examen de l'IMO alors qu'il était classé 8e du pays, alors que seulement 6 candidats ont été sélectionnés pour participer à l'arène internationale. Bien que son rêve de mathématiques soit resté inachevé, il s’est tourné vers l’intelligence artificielle (IA) lorsqu’il est entré à l’université. C'est ce tournant qui l'a amené à la compétition IMO 2024 d'une manière particulière - non pas en tant que concurrent, mais avec le logiciel d'IA AlphaGeometry développé par son équipe, en compétition avec des talents mathématiques de plus de 100 pays à Bath, au Royaume-Uni.

« En juillet 2024, pour la première fois, notre équipe a amené l'IA à participer à l'Olympiade internationale de mathématiques IMO et a remporté une médaille d'argent », a partagé le Dr Thang.

En tant qu'invité spécial du concours, Thang a eu un excellent souvenir de la présentation d'AlphaGeometry aux candidats du monde entier et a également rencontré le professeur Le Ba Khanh Trinh lors du concours.

9cbb024943b3f2edaba2.jpg

Notre objectif à l’avenir est de développer un programme, une version IA capable de résoudre 6/7 problèmes millénaires que le monde n’a pas résolus.

Dr Luong Minh Thang

Thang a déclaré qu'AlphaGeometry est fort dans la résolution de problèmes de géométrie, cependant, la matrice d'examen IMO 2024 n'a qu'un seul problème de géométrie, les autres sont de l'algèbre, de l'arithmétique et de la combinatoire. AlphaGeometry n'était qu'à un point de remporter une médaille d'or olympique internationale, ce qui l'a motivé à continuer à diriger l'équipe développant une IA capable de raisonnement surhumain.

En particulier, le désir de créer un logiciel capable de résoudre tous les problèmes de géométrie de l'OMI a aidé l'équipe du Dr Thang à développer avec succès AlphaGeometry 2 - sorti il ​​y a 3 semaines, résolvant avec succès le problème de M. Trinh.

Le Dr Luong Minh Thang estime qu'AlphaGeometry marque une étape importante vers une intelligence de type humain et un logiciel d'auto-apprentissage. C’est la condition préalable pour parvenir à l’intelligence artificielle générale (IAG) – des systèmes capables d’apprendre toutes les connaissances et perceptions, surpassant l’intelligence humaine.

« Notre objectif pour l'avenir est de développer un programme, une version de l'IA capable de résoudre les problèmes du 6e ou du 7e millénaire que le monde n'a pas encore résolus. Même si l'IA pouvait remporter la médaille Fields comme le professeur Ngo Bao Chau, ce serait formidable », a déclaré Thang.

Selon Thang, les gens pensaient auparavant qu'il faudrait quelques années de plus à l'IA pour résoudre l'Olympiade internationale de mathématiques, mais le logiciel de son équipe l'a désormais fait. L’objectif de Thang et de ses collègues n’est pas de s’arrêter à l’AlphaGeometry ou à la résolution de problèmes mathématiques.

« Nous voulons que l’IA atteigne de nouveaux sommets, non seulement en imitant les humains, mais en ayant un nouveau raisonnement, en recherchant et en créant des solutions pratiques pour le monde dans de nombreux domaines différents tels que la physique, la chimie, par exemple la découverte de médicaments », a partagé Thang.

Le Dr Luong Minh Thang a plus de 50 articles de recherche, 40 000 citations et 20 brevets.

Chez Google DeepMind, le Dr Luong Minh Thang construit des modèles de pointe en langage (QANet, ELECTRA) et en vision (UDA, NoisyStudent). Il a cofondé le projet Meena - le meilleur chatbot au monde en 2020, qui est devenu plus tard Google LaMDA, Bard et maintenant Gemini - le principal produit d'IA de Google. La plateforme de chatbot Meena est toujours leader mondial et en concurrence avec le chat GPT.

Travaillant officiellement chez Google Brain depuis septembre 2016, le Dr Thang a débuté avec une expertise en recherche sur l'apprentissage automatique et le traitement du langage naturel. Thang est la seule personne vietnamienne au sein de l'équipe de recherche principale sur le modèle Parti (Pathways Autoregressive Text-to-Image), qui convertit automatiquement du texte en images chez Google Brain.

À ce jour, il compte plus de 50 articles de recherche, 40 000 citations et 20 brevets. Selon Thang, chez Google, il y a des chercheurs qui veulent simplement écrire des articles, mais son équipe pense davantage à la création d'articles qui ont un grand impact et peuvent créer des applications qui ont un impact sur des milliards de personnes.

Par exemple, en 2021, Thang a étudié une application pour modifier l'algorithme de recherche de Google et a été l'une des 10 meilleures améliorations apportées par Google pour aider des milliards d'utilisateurs à collecter des informations plus facilement.

« Cela demande une réflexion approfondie, car à mon niveau, de nombreux problèmes peuvent être résolus. L'essentiel est de trouver le problème dont la plupart des gens ont besoin, même s'ils n'y ont pas encore pensé, mais il doit être applicable en pratique », a souligné Thang.

Ayant débuté ses études en mathématiques au lycée Nguyen Binh Khiem pour les surdoués, dans la province de Bien Hoa, Thang était passionné par la résolution de problèmes mathématiques depuis son enfance. Alors qu'il étudiait au lycée pour surdoués de l'Université nationale d'Ho Chi Minh-Ville, Thang a rencontré M. Le Ba Khanh Trinh et M. Tran Nam Dung, qui ont adapté le style d'enseignement universitaire au niveau du lycée, aidant Thang à devenir plus ouvert d'esprit en matière de résolution de problèmes mathématiques. Doté d'une solide base en mathématiques, l'étudiant vietnamien s'est rendu à Singapour pour poursuivre des études en informatique à l'Université nationale de Singapour avec une bourse complète.

Ici, Thang a commencé à rechercher le langage naturel et à le traduire dans de nombreuses langues, il a donc clairement ressenti la puissance de l'intelligence artificielle. Thang a été retenu comme assistant de recherche à l'école jusqu'en 2011, date à laquelle il a reçu une bourse de doctorat à l'Université de Stanford, aux États-Unis.

Dans la meilleure école du monde, Thang a été encadré par le professeur Christopher Manning, une figure renommée dans le domaine de l'application de l'apprentissage automatique en profondeur au traitement du langage naturel.

Le Dr Thang avec le mathématicien Terrence-Tao (au milieu) et sa femme, Wendy Uyen Nguyen (à droite).

Au cours de ses cinq années à Stanford, il y a eu des moments où le niveau d’optimisme positif de Thang était à son plus bas. Au cours des trois premières années, il a travaillé dans de nombreux domaines différents, mais ses résultats de recherche n’ont pas eu beaucoup de succès.

À la fin de sa troisième année, Thang a effectué un stage chez Google et a trouvé sa voie dans la traduction en intelligence artificielle. À cette époque, Thang a eu la chance de travailler avec trois personnes éminentes dans le domaine de l'IA : le Dr Le Viet Quoc, l'une des personnes ayant le plus de citations sur l'IA au monde ; Ilya Sutskever - Co-fondateur et ancien ingénieur en chef chez OpenAI ; et Oriol Vinyal - Vice-président de Google DeepMind.

Trouvant une direction pour lui-même, Thang a immédiatement fait sa thèse dans ce domaine et s'est concentré sur son développement. Lorsqu'il est devenu un employé officiel de Google, Thang s'est rendu compte que de nombreux groupes étaient en concurrence les uns avec les autres, il a donc pensé à se tourner vers le domaine de la super intelligence pour élargir sa recherche de nouvelles connaissances.

Travaillant à l'avant-garde mondiale de l'intelligence artificielle, Thang considère ce groupe de recherche comme le « cerveau pionnier » mondial de l'IA. C'est à la fois une pression et un défi, mais aussi une source d'inspiration pour toute l'équipe pour atteindre de nouveaux objectifs dans leur carrière.

Placer l'IA vietnamienne sur la carte du monde

Considérant que le Vietnam a un grand potentiel dans le domaine de l’IA, le Dr Luong Minh Thang aspire à contribuer à mettre l’IA vietnamienne sur la carte du monde.

Au cours des cinq dernières années, lui et ses collègues, experts vietnamiens, ont cofondé l'organisation à but non lucratif VietAI, formant au total plus de 4 000 ingénieurs en IA de haute qualité. Parmi eux, 4 jeunes ingénieurs sont devenus les premiers experts en développement d'apprentissage automatique de Google au Vietnam.

Chaque matin, Thang se lève tôt pour emmener son fils à l'école, puis se rend au siège de Google. Il commence sa matinée par des tâches qui nécessitent le plus de créativité et de vigilance, comme la lecture d'articles de recherche scientifique récemment publiés, la réflexion sur de nouvelles idées et la programmation et l'écriture de code.

De temps en temps, Thang organise des déjeuners avec le groupe, discutant d'idées ou lisant des articles scientifiques avec des collègues. Pendant la pause déjeuner, il rencontre les cadres supérieurs et les équipes pour leur donner des orientations.

Le Dr Thang et ses collègues de l'équipe fondatrice d'AlphaGeometry travaillent au bureau.

Capture d'écran du 17/03/2025 à 12h01.55.png

Aspiration à former des centaines de milliers de talents vietnamiens en IA avec la devise « de zéro à héros ».

Dr Luong Minh Thang

En fin d'après-midi, il fait généralement du jogging et rentre à la maison pour dîner avec sa famille. Son épouse est Maître Wendy Uyen Nguyen, directrice des relations extérieures mondiales, fondatrice du Stanford Institute for Microbiology & Epidemiology (Université de Stanford). Le scientifique de 8X a confié que le couple s'entendait très bien. Sa femme l'encourage toujours et l'accompagne au Vietnam pour réaliser des projets visant à connecter l'IA et les ponts de santé entre le Vietnam et les États-Unis.

En août 2024, Thang a invité M. Jeff Dean - « le magicien » de Google à organiser une conférence sur l'IA à Ho Chi Minh-Ville, au Vietnam, attirant des milliers de participants pour diffuser de nouvelles connaissances sur le domaine et faire des recommandations pour le développement de l'IA au Vietnam à l'avenir. Le souhait de Thang est de former des centaines de milliers d'ingénieurs en IA d'ici 2030. D'ici 2025 seulement, il vise à former 1 000 ingénieurs vietnamiens de haute qualité dans le domaine de l'IA générative.

Son Institut d'IA a construit un cadre de programme d'études en IA, inspiré de l'Université de Stanford et de Google, pour former les ressources humaines au Vietnam depuis 2018. Thang s'est rendu compte que les universités au Vietnam enseignent l'IA mais que les connaissances ne sont pas mises à jour, encore assez anciennes.

Son plus grand souhait est de pouvoir former l’IA de manière interculturelle, entre les universités, entre les lycées et les universités, entre son institut et les universités, et surtout entre les universités et les entreprises. Cela crée des connexions horizontales et verticales dans l’éducation, les étudiants peuvent apprendre l’IA dans différents endroits tout en étant reconnus.

Dans un avenir proche, Thang prévoit de rechercher des bourses étrangères pour former une génération de talents vietnamiens en IA avec la devise « de zéro à héros », de quelqu'un qui ne sait rien à devenir un expert.

Source : https://vtcnews.vn/ts-viet-tai-google-tao-ai-giai-toan-danh-guc-huy-chuong-vang-olympic-quoc-te-ar931477.html