IMO 2025 ble avholdt fra 10. til 20. juli på Sunshine Coast i Queensland i Australia, med 630 deltakere. Av disse vant 67 (omtrent 11 %) gullmedaljer. At også AI oppnådde en lignende bragd er en historisk milepæl.
Dette er første året IMO-konkurransen offisielt har inngått et samarbeid med flere AI-utviklere. IMO-dommerne har bekreftet resultatene fra partnerselskapene, inkludert Google, og bedt om at de publiserer resultatene innen 28. juli.
De endelige resultatene viste imidlertid at selv de mest avanserte og moderne maskinene ble beseiret av verdens smarteste tenåringer.
Menneskehetens siste mur?
Den notorisk strenge IMO-eksamenen går over to dager. Hver dag må studentene løse tre gradvis mer komplekse problemer i løpet av litt over fire timer. Oppgavene dekker algebra, geometri, tallteori og kombinatorikk.
På grunn av sine komplekse og ukonvensjonelle problemer har den årlige matteprøven blitt et nyttig verktøy for å måle fremgang innen kunstig intelligens år etter år. I denne tiden med rask utvikling drømmer ledende forskningslaboratorier om den dagen systemene deres er kraftige nok til å kvalifisere seg til en IMO-gullmedalje.
Selv om denne ambisjonen ble realisert da Google og OpenAIs AI vant gullmedaljer, er det verdt å merke seg at 26 studenter oppnådde høyere poengsummer.
Blant dem er fire stjerner fra det amerikanske laget, inkludert Qiao Zhang, som har vunnet to gullmedaljer, og Alexander Wang, som tok med seg New Jerseys tredje gullmedalje på rad. Med denne prestasjonen har Wang blitt en av de mest fremragende unge matematikerne gjennom tidene, og han kan fortsatt vinne nok en gullmedalje i IMO neste år.
 |
Det amerikanske laget ved den internasjonale matematikkolympiaden i 2025. Foto: WSJ. |
I et intervju med WSJ sa Zhang at han brukte lengst tid på oppgave nummer 6 under eksamen. Dette er et notorisk vanskelig kombinatorisk problem, som omfatter en gren av matematikken som involverer telling, sortering og kombinasjon av diskrete objekter.
Løsningen på dette problemet krever oppfinnsomhet, kreativitet og intuisjon som mennesker kan bruke, men som maskiner ikke kan, eller i hvert fall ikke ennå. «Jeg ville faktisk vært litt redd hvis AI-modeller kunne løse problem 6», sa Zhang.
Problem nummer 6 satte DeepMind og OpenAIs modeller i trøbbel, men det var ikke bare AI som slet. Av de 630 deltakerne fikk 569 også en poengsum på 0. Bare 6 fikk en perfekt poengsum på 7 poeng. Zhang, stolt av sin delvise løsning, fikk 4 poeng, mer enn de fleste andre deltakerne.
Med sine kontinuerlige fremskritt har mange antydet at AI kan være i ferd med å «ødelegge» menneskeheten innen matematikk. Junehyuk Jung er imidlertid uenig.
Jung, en tidligere gullmedaljevinner fra IMO, er for tiden førsteamanuensis ved Brown University og gjesteforsker ved DeepMind. Han tror imidlertid ikke dette er menneskehetens siste kamp. Ifølge Jung vil problemer som problem 6 fortsette å plage AI i minst et tiår til.
«Det finnes ting AI vil gjøre veldig bra. Det vil imidlertid fortsatt være ting mennesker kan gjøre bedre», bemerket Jung.
Gullkampen i matematikk
I 2021 var en student ved navn Alexander Wei en del av et forskningsprosjekt som ba ham forutsi de matematiske egenskapene til AI innen juli 2025. Da han vurderte andre spådommer, mente Wei at dette var for optimistisk.
Denne tidligere studenten er imidlertid nå et levende bevis på hvor feil han tok. Wei er forskeren som ledet IMO-prosjektet for OpenAI. Det som er enda mer imponerende er hvordan de gjorde det.
Ikke bare OpenAI, men også Google kalte resultatene på IMO 2025 et stort gjennombrudd. I 2024 krevde AI-modeller at problemer ble oversatt til programmeringsspråk for matematisk bevis.
På bare ett år opererte disse systemene utelukkende på «naturlig språk» uten menneskelig inngripen. DeepMind fullførte også eksamen innenfor IMOs tidsfrist på 4,5 timer. Til sammenligning tok det dette systemet i 2024 flere dager å beregne løsningen.
Mange tenker kanskje på AI som en konkurrent, men de som står bak modellene ser på dem som komplementære verktøy.
 |
Endelige resultater fra den internasjonale matematikkolympiaden 2025. Foto: WSJ. |
«Dette kan potensielt være en ny datamaskin som vil drive neste generasjon matematikere fremover», sa dr. Luong Minh Thang, seniorforsker ved Google (USA).
For tre uker siden utviklet Dr. Minh Thangs team AlphaGeometry 2 med suksess. Den mest bemerkelsesverdige funksjonen ved denne versjonen er dens evne til å løse geometriske problemer som overgår de som ble vunnet av gullmedaljevinnere ved Den internasjonale matematiske olympiaden (IMO).
«Hvis elever med IMO-gullmedaljevinnende ferdigheter kan løse 40 av 50 oppgaver, vil AlphaGeometry 2 kunne løse 42 av 50 oppgaver» , delte Dr. Thang gladelig.
I fjor vant denne modellen bare en sølvmedalje. I år bruker Google flerbruksmodellen Gemini Deep Think (en versjon som tidligere ble vist frem på utviklerkonferansen i mai).
Det er verdt å merke seg at Dr. Thangs team fortsatt gjorde justeringer før konkurransen startet, ifølge WSJ. I utgangspunktet forventet Dr. Thang bare at DeepMinds modell ville løse alle tre problemene den første dagen.
Enkelheten, elegansen og den bemerkelsesverdige lesbarheten til disse løsningene forbløffet matematikerne. Dagen etter, så snart Thang og kollegene hans oppdaget at AI-systemet hadde løst to problemer til, innså de at de absolutt kunne vinne gullmedaljen.
Som et resultat løste DeepMinds AI 5 av 6 problemer. Det er verdt å merke seg at alle disse brukte empiriske resonneringsmodeller, og behandlet matematiske konsepter ved hjelp av naturlig språk, en sterk kontrast til de komplekse tilnærmingene som tidligere ble brukt av AI-selskaper.
Kilde: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html
![[Video] Solnedgang ved Lap An-lagunen – Der solen går ned over fiskegarnene](https://vphoto.vietnam.vn/thumb/1200x675/vietnam/resource/IMAGE/2026/05/31/1780192137701_beach-landscape-sea-water-nature-grass-745871-pxhere-com.jpeg)
Kommentar (0)