Vietnameser på Google skapar AI för att lösa matematiska problem som "besegrar" guldmedaljen vid Internationella OS

AI "besegrar" internationell olympisk guldmedalj

För 3 veckor sedan utvecklade Dr. Minh Thangs team – en seniorforskare på Google (USA) – framgångsrikt AlphaGeometry 2-versionen. Den mest framträdande egenskapen hos denna version är att nivån på att lösa matematiska problem överträffar guldmedaljörerna från den internationella matematiska olympiaden (IMO) i att lösa matematiska problem i geometri. "Om IMO-guldmedaljörerna kan lösa 40/50-problem, kommer AlphaGeometry 2 att lösa 42/50-problem", delade Dr. Thang glatt.

För 20 år sedan studerade Dr. Thang i matteklassen på Gifted High School i Ho Chi Minh City, en elev till Mr. Le Ba Khanh Trinh - den första vietnamesen att vinna en IMO-guldmedalj (1979). Mr. Trinh är också den enda vietnamesen som har vunnit ett specialpris i denna tävling tack vare sin korta, imponerande lösning på geometriproblem nummer 3.

Inspirerad av den begåvade läraren funderade Mr. Thang alltid över frågan "Kan vår AI lösa Mr. Le Ba Khanh Trinhs problem tidigare?". Denna fråga var källan till Mr. Thangs beslutsamhet att bygga AI-programvara för att lösa matematiska problem.

Alpha Geometry, som föddes 2022, gick obemärkt förbi av alla, eftersom den tidiga programvaran bara kunde lösa ett fåtal små matematiska problem.

Dr. Luong Minh Thang (höger) delar med sig av sina tankar till experter vid GenAI Summit 2024-konferensen om artificiell intelligens.

Efter två års utveckling, i januari 2024, "debuterade" AlphaGeometry officiellt i AI-världen med en forskningsartikel publicerad i den världskända tidskriften Nature. Artikeln presenterade tre vietnamesiska doktorer: Luong Minh Thang, Trinh Hoang Trieu och Le Viet Quoc, samt två utlänningar, Dr. Yuhuai Wu och Dr. He He.

I den här versionen överraskade AlphaGeometry många genom att använda neurala språkmodeller och logiskt resonemang i kombination med storskaliga syntetiska data för att lösa IMO-problem (internationell matematiktävling).

”Men i nuläget kan AlphaGeometry fortfarande inte lösa Mr. Trinhs legendariska problem. Hans problem har kopplat samman rörliga punkter, men AlphaGeometry 1 kan inte beskriva den rörelsen”, funderade Dr. Luong Minh Thang och fortsatte att hitta sätt att finslipa och uppgradera programvaran.

För 20 år sedan missade Thang IMO-tävlingen när han hamnade på 8:a plats i landet i sitt lag, medan endast 6 tävlande valdes ut för att delta på den internationella arenan. Trots sin ofullbordade dröm om matematik vände han sig till artificiell intelligens (AI) när han började på universitetet. Det var denna vändpunkt som förde honom till IMO 2024-tävlingen på ett speciellt sätt – inte som tävlande, utan med AI-programvaran AlphaGeometry som hans team utvecklat, där han tävlade med matematiska talanger från mer än 100 länder i Bath, Storbritannien.

”I juli 2024, för första gången, tog vårt team med sig AI för att delta i den internationella matematiska olympiaden (IMO) och vann en silvermedalj”, berättade Dr. Thang.

Som specialgäst på tävlingen hade Thang ett utmärkt minne av att introducera AlphaGeometry för tävlande från länder runt om i världen, och träffade även läraren Le Ba Khanh Trinh direkt på tävlingen.

9cbb024943b3f2edaba2.jpg

Vårt mål i framtiden är att utveckla ett program, en AI-version som kan lösa 6/7 millennieproblem som världen inte har löst.

Dr. Luong Minh Thang

Thang sa att AlphaGeometry är starka på att lösa geometriska problem, men att IMO 2024 års examensmatris bara har ett geometriskt problem, resten är algebra, aritmetik och kombinatorik. AlphaGeometry saknar bara en poäng för att vinna guldmedaljen vid de internationella olympiska spelen, vilket motiverar honom att fortsätta leda teamet för att utveckla AI med övermänsklig resonemangsförmåga.

Särskilt önskan att skapa programvara som kan övervinna alla geometriska problem på IMO hjälpte Dr. Thangs team att framgångsrikt utveckla AlphaGeometry 2 - släppt för 3 veckor sedan, och som framgångsrikt löste Mr. Trinhs problem.

Dr. Luong Minh Thang anser att AlphaGeometry markerar en viktig milstolpe mot människoliknande intelligens och självlärande programvara. Detta är förutsättningen för att uppnå AGI (Artificiell Generell Intelligens) – system som kan lära sig all kunskap och uppfattning, och därmed överträffa mänsklig intelligens.

"Vårt mål i framtiden är att utveckla ett program, en AI-version som kan lösa 6/7 millennieproblem som världen ännu inte har löst. Även om AI kan vinna Fields-medaljen som professor Ngo Bao Chau, vore det underbart", sa Thang.

Enligt Thang trodde man tidigare att det skulle ta några år för AI att lösa internationella matematiska problem, men nu har hans teams programvara gjort det. Thang och hans kollegors mål är inte bara att stanna vid AlphaGeometry eller att lösa matematiska problem.

”Vi vill att AI ska nå nya höjder, inte bara genom att imitera människor utan också genom att ha nytt resonemang, söka och skapa praktiska lösningar för världen inom många olika områden som fysik, kemi, till exempel läkemedelsutveckling”, delade Thang.

Dr. Luong Minh Thang har mer än 50 forskningsartiklar, 40 000 citeringar och 20 patent.

På Google DeepMind byggde Dr. Luong Minh Thang de mest avancerade modellerna inom både språk (QANet, ELECTRA) och vision (UDA, NoisyStudent). Han var med och grundade Meena-projektet – världens bästa chatbot år 2020, som senare blev Google LaMDA, Bard och nu Gemini – Googles främsta AI-produkt. Meena-chatbotplattformen är fortfarande världsledande och konkurrerar med GPT-chatt.

Dr. Thang, som officiellt arbetade på Google Brain sedan september 2016, började med forskningsexpertis inom maskininlärning och naturlig språkbehandling. Thang är den enda vietnamesen i det viktigaste forskarteamet på Parti-modellen (Pathways Autoregressive Text-to-Image), som automatiskt konverterar text till bilder på Google Brain.

Hittills har han fler än 50 forskningsartiklar, 40 000 citeringar och 20 patent. Enligt Thang finns det forskare på Google som bara vill skriva artiklar, men hans team tänker mer på att skapa artiklar med stor effekt och samtidigt kunna göra tillämpningar som påverkar miljarder människor.

Till exempel undersökte Thang år 2021 en applikation för att ändra Googles sökalgoritm och var en av de 10 bästa förbättringarna som Google gjorde för att hjälpa miljarder användare att samla in information på ett enklare sätt.

”Det kräver noggrant tänkande eftersom det på min nivå finns många problem som kan lösas. Nyckeln är att hitta det problem som de flesta behöver, även om de inte har tänkt på det än, men det måste kunna tillämpas i praktiken”, betonade Thang.

Thang började som student med matematik som huvudämne vid Nguyen Binh Khiem High School for the Gifted i Bien Hoa-provinsen och var passionerad för att lösa matematiska problem redan från ung ålder. Under sina studier vid National University of Ho Chi Minh Citys Gifted High School träffade Thang lärarna Le Ba Khanh Trinh och Tran Nam Dung, som förde ner sin universitetsbaserade undervisning till gymnasienivå, vilket hjälpte Thang att bli mer öppen för matematisk problemlösning. Med en solid grund i matematik åkte den vietnamesiske manliga studenten till Singapore för att studera datavetenskap vid National University of Singapore med ett fullt stipendium.

Här började Thang studera naturligt språk och översätta det till många språk, så han kände tydligt kraften i artificiell intelligens. Thang anställdes som forskningsassistent vid skolan fram till 2011 då han fick ett doktorandstipendium från Stanford University, USA.

På världens ledande skola handleddes Thang av professor Christopher Manning, en känd figur inom området tillämpning av djup maskininlärning för naturlig språkbehandling.

Dr. Thang med matematikern Terrence-Tao (mitten) och hans fru Wendy Uyen Nguyen (höger).

Under sina fem år på Stanford fanns det perioder då Thangs optimism var som lägst. Under de första tre åren arbetade han inom många olika områden men hans forskningsresultat nådde inte någon större framgång.

I slutet av sitt tredje år praktiserade Thang på Google och fann sin väg inom översättning av artificiell intelligens. Vid den tiden hade Thang turen att arbeta med tre framstående personer inom AI-området: Dr. Le Viet Quoc, en av de mest citerade personerna i världen inom AI; Ilya Sutskever - medgrundare och tidigare chefsingenjör på OpenAI; och Oriol Vinyal - vice vd för Google DeepMind.

Thang fann en riktning för sig själv och skrev omedelbart sin avhandling inom detta område och fokuserade på att utveckla det. När han blev officiell anställd på Google insåg Thang att många grupper konkurrerade med varandra, så han funderade på att byta till området superintelligens för att utöka sitt sökande efter ny kunskap.

Thang, som arbetar i den globala framkanten av artificiell intelligens, anser att denna forskargrupp är världens "banbrytande hjärna" inom AI. Det är både en press och en utmaning, men också en inspiration för hela gruppen att erövra nya mål i sin karriär.

Sätter vietnamesisk AI på världskartan

Dr. Luong Minh Thang bedömer att Vietnam har stor potential inom AI och strävar efter att bidra till att sätta vietnamesisk AI på världskartan.

Under de senaste fem åren har han och hans kollegor, som är vietnamesiska experter, varit med och grundat den ideella organisationen VietAI, som utbildat totalt fler än 4 000 högkvalificerade AI-ingenjörer. Bland dem blev fyra unga ingenjörer de första experterna på maskininlärningsutveckling från Google i Vietnam.

Varje morgon vaknar Thang tidigt för att skjutsa sin son till skolan och åker sedan till Googles huvudkontor. Han börjar morgonen med de mest kreativa och alerta uppgifterna, som att läsa nyligen publicerad vetenskaplig forskning, komma på nya idéer samt programmera och skriva kod.

Ibland organiserar Thang lunch med gruppen, diskuterar idéer eller läser vetenskapliga artiklar med kollegor. Under lunchraster träffar han högre chefer och grupper för att ge anvisningar.

Dr. Thang och hans kollegor i grundarteamet bakom AlphaGeometry arbetar på kontoret.

Skärmdump 2025-03-17 kl. 12.01.55.png

Ambitionen är att utbilda hundratusentals vietnamesiska AI-talanger med mottot "från noll till hjälte".

Dr. Luong Minh Thang

Sent på eftermiddagen brukar han jogga och komma hem för att äta middag med sin familj. Hans fru är Master Wendy Uyen Nguyen, chef för globala externa relationer och grundare av Stanford Institute for Microbiology and Epidemiology (Stanford University). 8X-forskaren anförtrodde att paret är mycket kompatibla. Hans fru uppmuntrar honom alltid och följer med honom till Vietnam för att genomföra projekt som kopplar samman AI och medicin mellan Vietnam och USA.

I augusti 2024 bjöd Thang in Jeff Dean – "trollkarlen" på Google – att organisera en AI-konferens i Ho Chi Minh-staden, Vietnam, som lockade tusentals deltagare för att sprida ny kunskap om området och ge rekommendationer för AI-utveckling i Vietnam i framtiden. Thangs önskan är att utbilda hundratusentals AI-ingenjörer till 2030, och enbart till 2025 siktar han på att utbilda 1 000 högkvalificerade vietnamesiska ingenjörer inom generativ AI.

Hans AI-institut har sedan 2018 byggt en AI-läroplan, inspirerad av Stanford University och Google, för att utbilda personal i Vietnam. Thang insåg att universitet i Vietnam lär ut AI men kunskapen är inte uppdaterad, fortfarande ganska gammal.

Hans största önskan är att kunna utbilda AI på ett sammankopplat sätt, mellan universitet, mellan gymnasier och universitet, och mellan hans institut och universitet, och särskilt mellan universitet och företag. Det skapar horisontella och vertikala kopplingar i utbildningen, studenter kan studera AI på olika platser men alla är erkända.

Inom en snar framtid planerar Thang att söka utländska stipendier för att utbilda en generation vietnamesiska AI-talanger med mottot "från noll till hjälte", från någon som inte vet någonting till att bli expert.

[annons_2]
Källa: https://vtcnews.vn/ts-viet-tai-google-tao-ai-giai-toan-danh-guc-huy-chuong-vang-olympic-quoc-te-ar931477.html