Vietnamees bij Google creëert AI om wiskundige problemen op te lossen die de gouden medaille van de Internationale Olympische Spelen 'verstoren'

AI 'verslaat' internationale Olympische gouden medaille

Drie weken geleden ontwikkelde het team van Dr. Minh Thang, senior onderzoeker bij Google (VS), met succes de AlphaGeometry 2-versie. Het meest opvallende kenmerk van deze versie is dat het niveau van het oplossen van wiskundige problemen de goudenmedaillewinnaars van de Internationale Wiskunde Olympiade (IMO) overtreft in het oplossen van wiskundige problemen in de meetkunde. "Als de goudenmedaillewinnaars van de IMO 40/50 problemen kunnen oplossen, zal AlphaGeometry 2 42/50 problemen oplossen," vertelde Dr. Thang opgewekt.

20 jaar geleden studeerde Dr. Thang wiskunde aan de Gifted High School in Ho Chi Minhstad, als leerling van dhr. Le Ba Khanh Trinh – de eerste Vietnamees die een gouden medaille won bij de IMO (in 1979). Dhr. Trinh is tevens de enige Vietnamees die een speciale prijs heeft gewonnen in deze wedstrijd dankzij zijn korte, indrukwekkende oplossing voor meetkundevraagstuk nummer 3.

Geïnspireerd door de getalenteerde leraar, bleef meneer Thang zich afvragen: "Kan onze AI het probleem van meneer Le Ba Khanh Trinh uit het verleden oplossen?". Deze vraag vormde de basis voor meneer Thangs vastberadenheid om AI-software te bouwen voor wiskundige problemen.

Alpha Geometry werd in 2022 geboren en werd door niemand opgemerkt, omdat de eerste software alleen een paar kleine wiskundige problemen kon oplossen.

Dr. Luong Minh Thang (rechts) vertelt experts over zijn ervaringen op de GenAI Summit 2024 Artificial Intelligence Conference.

Na twee jaar ontwikkeling maakte AlphaGeometry in januari 2024 officieel zijn debuut in de AI-wereld met een onderzoeksartikel gepubliceerd in het wereldberoemde tijdschrift Nature. Het artikel werd geschreven door drie Vietnamese promovendi: Luong Minh Thang, Trinh Hoang Trieu en Le Viet Quoc, en twee buitenlanders: Dr. Yuhuai Wu en Dr. He He.

In deze versie verraste AlphaGeometry veel mensen door neurale taalmodellen en logisch redeneren te combineren met grootschalige synthetische data om IMO-problemen (internationale wiskundewedstrijd) op te lossen.

"Op dit moment kan AlphaGeometry echter nog steeds het legendarische probleem van meneer Trinh niet oplossen. Zijn probleem heeft bewegende punten met elkaar verbonden, maar AlphaGeometry 1 kan die beweging niet beschrijven," peinsde Dr. Luong Minh Thang, terwijl hij bleef zoeken naar manieren om de software te perfectioneren en te upgraden.

Twintig jaar geleden miste Thang de IMO-competitie toen hij met zijn team op de 8e plaats van het land eindigde, terwijl er slechts zes deelnemers waren geselecteerd voor deelname aan de internationale arena. Ondanks zijn onvoltooide droom van wiskunde, wendde hij zich tot kunstmatige intelligentie (AI) toen hij naar de universiteit ging. Het was dit keerpunt dat hem op een bijzondere manier naar de IMO 2024-competitie bracht – niet als deelnemer, maar met de AI AlphaGeometry-software die zijn team had ontwikkeld, waarmee hij in Bath, Verenigd Koninkrijk, concurreerde met wiskundige talenten uit meer dan 100 landen.

"In juli 2024 nam ons team voor het eerst AI mee naar de Internationale Wiskunde Olympiade (IMO) en won een zilveren medaille", aldus Dr. Thang.

Als speciale gast op de wedstrijd kon Thang zich goed herinneren hoe hij AlphaGeometry aan deelnemers van over de hele wereld introduceerde. Ook ontmoette hij docent Le Ba Khanh Trinh direct op de wedstrijd zelf.

9cbb024943b3f2edaba2.jpg

Ons doel is om in de toekomst een programma te ontwikkelen, een AI-versie die 6/7 millenniumproblemen kan oplossen die de wereld nog niet heeft opgelost.

Dr. Luong Minh Thang

Thang zei dat AlphaGeometry sterk is in het oplossen van meetkundige problemen, maar dat de IMO 2024-examenmatrix slechts één meetkundige opgave bevat; de rest bestaat uit algebra, rekenen en combinatoriek. AlphaGeometry is slechts één punt verwijderd van de gouden medaille op de Internationale Olympische Spelen, wat hem motiveert om het team te blijven leiden dat AI met bovenmenselijk redeneervermogen ontwikkelt.

Met name de wens om software te creëren die alle geometrische problemen bij de IMO kan oplossen, heeft het team van Dr. Thang geholpen bij de succesvolle ontwikkeling van AlphaGeometry 2. Deze werd drie weken geleden uitgebracht en loste het probleem van de heer Trinh succesvol op.

Dr. Luong Minh Thang gelooft dat AlphaGeometry een belangrijke mijlpaal markeert op weg naar mensachtige intelligentie en zelflerende software. Dit is de voorwaarde voor het bereiken van AGI (Artificial General Intelligence) – systemen die alle kennis en percepties kunnen leren en daarmee de menselijke intelligentie overtreffen.

"Ons doel in de toekomst is om een ​​programma te ontwikkelen, een AI-versie die problemen uit de 6e/7e eeuw kan oplossen die de wereld nog niet heeft opgelost. Zelfs als AI de Fields-medaille zou winnen, zoals professor Ngo Bao Chau, zou dat geweldig zijn", aldus Thang.

Volgens Thang dacht men voorheen dat het een paar jaar zou duren voordat AI internationale wiskundige problemen zou oplossen, maar de software van zijn team heeft dat inmiddels wel gedaan. Het doel van Thang en zijn collega's is niet om alleen te stoppen bij AlphaGeometry of het oplossen van wiskundige problemen.

"We willen dat AI nieuwe hoogten bereikt, niet alleen door mensen te imiteren, maar ook door nieuwe redeneringen te gebruiken en praktische oplossingen te zoeken en te creëren voor de wereld op veel verschillende gebieden, zoals bijvoorbeeld natuurkunde, scheikunde en medicijnontwikkeling", aldus Thang.

Dr. Luong Minh Thang heeft meer dan 50 onderzoeksartikelen, 40.000 citaties en 20 patenten op zijn naam staan.

Bij Google DeepMind bouwde Dr. Luong Minh Thang de meest geavanceerde modellen, zowel op het gebied van taal (QANet, ELECTRA) als beeld (UDA, NoisyStudent). Hij was medeoprichter van het Meena-project – 's werelds beste chatbot in 2020, dat later Google LaMDA, Bard en nu Gemini werd – Googles belangrijkste AI-product. Het Meena-chatbotplatform is nog steeds wereldleider en concurreert met GPT-chat.

Dr. Thang is sinds september 2016 officieel werkzaam bij Google Brain en is begonnen met zijn onderzoeksexpertise in machine learning en natuurlijke taalverwerking. Thang is de enige Vietnamees in het belangrijkste onderzoeksteam naar het Parti-model (Pathways Autoregressive Text-to-Image), dat bij Google Brain automatisch tekst omzet in afbeeldingen.

Tot op heden heeft hij meer dan 50 onderzoeksartikelen, 40.000 citaties en 20 patenten op zijn naam staan. Volgens Thang zijn er bij Google onderzoekers die gewoon artikelen willen schrijven, maar zijn team denkt meer aan het creëren van artikelen met grote impact die tegelijkertijd toepassingen kunnen maken die miljarden mensen raken.

Zo deed Thang in 2021 onderzoek naar een applicatie om het zoekalgoritme van Google te veranderen. Dit was een van de 10 beste verbeteringen die Google doorvoerde om miljarden gebruikers te helpen op een eenvoudigere manier informatie te verzamelen.

"Dat vereist zorgvuldig nadenken, want op mijn niveau zijn er veel problemen die opgelost kunnen worden. De sleutel is om het probleem te vinden waar de meeste mensen behoefte aan hebben, ook al hebben ze er zelf nog niet aan gedacht. Het moet wel in de praktijk toepasbaar zijn", benadrukte Thang.

Thang begon zijn studie wiskunde aan de Nguyen Binh Khiem High School voor Hoogbegaafden in de provincie Bien Hoa en was al op jonge leeftijd gepassioneerd door het oplossen van wiskundige problemen. Tijdens zijn studie aan de Gifted High School van de Nationale Universiteit van Ho Chi Minhstad ontmoette Thang de docenten Le Ba Khanh Trinh en Tran Nam Dung, die hun universitaire lessen naar het middelbareschoolniveau brachten, waardoor Thang meer openstond voor wiskundige probleemoplossing. Met een solide basis in wiskunde ging de Vietnamese mannelijke student met een volledige beurs naar Singapore om computerwetenschappen te studeren aan de Nationale Universiteit van Singapore.

Hier begon Thang natuurlijke taal te bestuderen en deze in vele talen te vertalen, waardoor hij de kracht van kunstmatige intelligentie duidelijk voelde. Thang bleef tot 2011 als onderzoeksassistent aan de school verbonden, toen hij een PhD-beurs ontving van Stanford University in de VS.

Op de beste school ter wereld werd Thang begeleid door professor Christopher Manning, een gerenommeerd expert op het gebied van de toepassing van diepgaand machinaal leren op natuurlijke taalverwerking.

Dr. Thang met wiskundige Terrence-Tao (midden) en zijn vrouw, Wendy Uyen Nguyen (rechts).

Tijdens zijn vijf jaar aan Stanford waren er momenten waarop Thangs optimisme het laagst was. In de eerste drie jaar werkte hij in veel verschillende vakgebieden, maar zijn onderzoeksresultaten waren niet erg succesvol.

Aan het einde van zijn derde jaar liep Thang stage bij Google en vond hij zijn weg in de vertaling van kunstmatige intelligentie. In die tijd had Thang het geluk om samen te werken met drie vooraanstaande mensen in het AI-veld: Dr. Le Viet Quoc, een van de meest geciteerde personen ter wereld over AI; Ilya Sutskever - medeoprichter en voormalig hoofdingenieur bij OpenAI; en Oriol Vinyal - vicepresident van Google DeepMind.

Thang vond een richting voor zichzelf en schreef meteen zijn proefschrift over dit vakgebied, waar hij zich op de verdere ontwikkeling ervan stortte. Toen hij officieel bij Google in dienst trad, realiseerde Thang zich dat veel groepen met elkaar concurreerden. Daarom overwoog hij een overstap naar het vakgebied van superintelligentie om zijn zoektocht naar nieuwe kennis uit te breiden.

Thang, die wereldwijd vooroploopt in kunstmatige intelligentie, beschouwt deze onderzoeksgroep als 's werelds 'pioniersbrein' op het gebied van AI. Dat brengt zowel druk als uitdaging met zich mee, maar ook een inspiratie voor de hele groep om nieuwe carrièredoelen te bereiken.

Vietnamese AI op de wereldkaart zetten

Dr. Luong Minh Thang is van mening dat Vietnam een ​​groot potentieel heeft op het gebied van AI en wil graag een bijdrage leveren aan het op de wereldkaart zetten van Vietnamese AI.

In de afgelopen vijf jaar richtte hij samen met zijn collega's, die Vietnamese experts zijn, de non-profitorganisatie VietAI op, die in totaal meer dan 4.000 hoogwaardige AI-engineers heeft opgeleid. Onder hen bevonden zich vier jonge engineers die de eerste Google-experts in machine learning-ontwikkeling in Vietnam werden.

Elke ochtend staat Thang vroeg op om zijn zoon naar school te brengen en gaat vervolgens naar het hoofdkantoor van Google. Hij begint zijn ochtend met de meest creatieve en alerte taken, zoals het lezen van recent gepubliceerd wetenschappelijk onderzoek, het bedenken van nieuwe ideeën en het programmeren en schrijven van code.

Af en toe organiseert Thang een lunch met de groep, waar hij ideeën bespreekt of wetenschappelijke artikelen leest met collega's. Tijdens de lunchpauzes ontmoet hij senior leiders en groepen om instructies te geven.

Dr. Thang en zijn collega's in het oprichtersteam van AlphaGeometry werken op kantoor.

Schermafbeelding 2025-03-17 om 12.01.55 uur.png

Ambitie om honderdduizenden Vietnamese AI-talenten op te leiden onder het motto "van nul tot held".

Dr. Luong Minh Thang

In de late namiddag gaat hij meestal joggen en komt dan thuis om met zijn gezin te eten. Zijn vrouw is Master Wendy Uyen Nguyen, directeur Global External Relations en oprichter van het Stanford Institute for Microbiology and Epidemiology (Stanford University). De 8X-wetenschapper vertrouwde hem toe dat het stel erg goed bij elkaar past. Zijn vrouw moedigt hem altijd aan en gaat met hem mee naar Vietnam om projecten te doen die de brug slaan tussen AI en geneeskunde tussen Vietnam en de VS.

In augustus 2024 nodigde Thang Jeff Dean – "de tovenaar" bij Google – uit om een ​​AI-conferentie te organiseren in Ho Chi Minhstad, Vietnam. Deze conferentie trok duizenden deelnemers om nieuwe kennis over het vakgebied te verspreiden en aanbevelingen te doen voor de ontwikkeling van AI in Vietnam in de toekomst. Thangs wens is om tegen 2030 honderdduizenden AI-ingenieurs op te leiden, en alleen al tegen 2025 streeft hij ernaar om 1.000 hooggekwalificeerde Vietnamese ingenieurs op te leiden op het gebied van generatieve AI.

Zijn AI-instituut heeft een AI-curriculum ontwikkeld, geïnspireerd door Stanford University en Google, om sinds 2018 personeel in Vietnam op te leiden. Thang realiseerde zich dat universiteiten in Vietnam AI onderwijzen, maar dat de kennis niet actueel is en nog steeds vrij oud.

Zijn grootste wens is om AI op een samenhangende manier te kunnen trainen, tussen universiteiten, tussen middelbare scholen en universiteiten, en tussen zijn instituut en universiteiten, en vooral tussen universiteiten en bedrijven. Dat creëert horizontale en verticale verbindingen in de training, studenten kunnen AI op verschillende plekken bestuderen, maar ze worden allemaal erkend.

In de nabije toekomst wil Thang buitenlandse beurzen aanvragen om een ​​generatie Vietnamese AI-talenten op te leiden onder het motto "van nul tot held", van iemand die niets weet tot iemand die een expert wordt.

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