Människor är smartare än AI.

Google DeepMind och OpenAI vann guldmedaljer vid matematiska olympiaden, men de amerikanska tonåringarna i laget fick fortfarande högre poäng än dessa två maskiner.

IMO 2025 hölls den 10-20 juli i Sunshine Coast, Queensland, Australien, med 630 deltagare. Av dessa vann 67 (cirka 11 %) guldmedaljer. Att även AI uppnådde en liknande bedrift är en historisk milstolpe.

Detta är första året som IMO-tävlingen officiellt samarbetar med flera AI-utvecklare. IMO-domarna har bekräftat resultaten från partnerföretagen, inklusive Google, och begärt att de publicerar resultaten senast den 28 juli.

Slutresultaten visade dock att även de mest avancerade och moderna maskinerna besegrades av världens smartaste tonåringar.

Mänsklighetens sista mur?

Det ökänt rigorösa IMO-provet hålls under två dagar. Varje dag måste eleverna lösa tre successivt mer komplexa problem inom drygt fyra timmar. Frågorna täcker algebra, geometri, talteori och kombinatorik.

På grund av sina komplexa och okonventionella problem har det årliga matteprovet blivit ett användbart verktyg för att mäta AI-framsteg år efter år. I denna era av snabb utveckling drömmer ledande forskningslaboratorier om den dag då deras system är tillräckligt kraftfulla för att kvalificera sig för en IMO-guldmedalj.

Även om denna ambition förverkligades när Google och OpenAI:s AI vann guldmedaljer, är det anmärkningsvärt att 26 studenter uppnådde högre poäng.

Bland dem finns fyra stjärnor från det amerikanska laget, inklusive Qiao Zhang, tvåfaldig guldmedaljör, och Alexander Wang, som tog hem New Jerseys tredje raka guldmedalj. Med denna prestation har Wang blivit en av de mest framstående unga matematikerna genom tiderna, och kan fortfarande vinna ytterligare en guldmedalj vid IMO nästa år.

Det amerikanska laget vid den internationella matematikolympiaden 2025. Foto: WSJ.

I ett uttalande till WSJ sa Zhang att han lade längst tid på problem nummer 6 under tentan. Detta är ett notoriskt svårt kombinatoriskt problem som omfattar en gren av matematiken som involverar räkning, sortering och kombination av diskreta objekt.

Lösningen på detta problem kräver uppfinningsrikedom, kreativitet och intuition som människor kan använda men maskiner inte kan, eller åtminstone inte än. "Jag skulle faktiskt vara lite rädd om AI-modeller kunde lösa problem 6", sa Zhang.

Problem nummer 6 väckte problem hos DeepMind och OpenAI:s modeller, men det var inte bara AI som hade det svårt. Av de 630 tävlande fick 569 också poängen 0. Endast 6 fick en perfekt poäng på 7 poäng. Zhang, stolt över sin dellösning, fick 4 poäng, mer än de flesta andra tävlande.

Med sina kontinuerliga framsteg har många föreslagit att AI kan "förstöra" mänskligheten inom matematiken. Junehyuk Jung håller dock inte med.

Jung, en tidigare guldmedaljör från IMO, är för närvarande docent vid Brown University och gästforskare vid DeepMind. Han tror dock inte att detta är mänsklighetens sista strid. Enligt Jung kommer problem som Problem 6 att fortsätta att oroa AI i minst ett decennium till.

"Det finns saker som AI kommer att göra väldigt bra. Men det kommer fortfarande att finnas saker som människor kan göra bättre", anmärkte Jung.

Guldmedaljkampen i matematik

År 2021 deltog en student vid namn Alexander Wei i ett forskningsprojekt som bad honom att förutsäga AI:s matematiska kapacitet fram till juli 2025. När Wei beaktade andra förutsägelser tyckte han att detta var för optimistiskt.

Men den här före detta studenten är nu ett levande bevis på hur fel han hade. Wei är forskaren som ledde IMO-projektet för OpenAI. Ännu mer imponerande är hur de gjorde det.

Inte bara OpenAI, utan även Google kallade resultaten vid IMO 2025 för ett stort genombrott. År 2024 krävde AI-modeller att problem översattes till datorprogrammeringsspråk för matematiska bevis.

På bara ett år fungerade dessa system helt på "naturligt språk" utan någon mänsklig inblandning. DeepMind slutförde också provet inom IMO:s tidsgräns på 4,5 timmar. Som jämförelse tog det flera dagar för detta system år 2024 att beräkna lösningen.

Många kanske ser AI som en konkurrent, men de som står bakom modellerna ser dem som kompletterande verktyg.

Slutresultat från den internationella matematikolympiaden 2025. Foto: WSJ.

”Det här skulle potentiellt kunna vara en ny dator som kommer att ge nästa generation matematiker kraft”, säger Dr. Luong Minh Thang, seniorforskare på Google (USA).

För tre veckor sedan utvecklade Dr. Minh Thangs team framgångsrikt AlphaGeometry 2. Den mest anmärkningsvärda funktionen hos den här versionen är dess förmåga att lösa geometriska problem som överträffar de som guldmedaljörerna vid den internationella matematiska olympiaden (IMO) har uppnått.

"Om elever med IMO-guldmedaljvinnande färdigheter kan lösa 40 av 50 problem, så kommer AlphaGeometry 2 att kunna lösa 42 av 50 problem" , delade Dr. Thang glatt.

Förra året vann den här modellen bara en silvermedalj. I år använder Google multifunktionsmodellen Gemini Deep Think (en version som tidigare visades upp på utvecklarkonferensen i maj).

Det är värt att notera att Dr. Thangs team fortfarande gjorde justeringar innan tävlingen började, enligt WSJ. Ursprungligen förväntade sig Dr. Thang bara att DeepMinds modell skulle lösa alla tre problemen under den första dagen.

Enkelheten, elegansen och den anmärkningsvärda läsbarheten hos dessa lösningar förvånade matematikerna. Nästa dag, så snart Thang och hans kollegor upptäckte att AI-systemet hade löst ytterligare två problem, insåg de att de absolut kunde vinna guldmedaljen.

Resultatet blev att DeepMinds AI framgångsrikt löste 5 av 6 problem. Det är värt att notera att alla använde empiriska resonemangsmodeller som bearbetade matematiska begrepp med hjälp av naturligt språk, vilket står i skarp kontrast till de komplexa metoder som tidigare använts av AI-företag.

Källa: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html