IMO 2025 blev afholdt fra 10. til 20. juli i Sunshine Coast, Queensland, Australien, med 630 deltagere. Af disse vandt 67 (ca. 11%) guldmedaljer. At AI også opnåede en lignende bedrift, er en historisk milepæl.
Dette er det første år, hvor IMO-konkurrencen officielt har indgået et partnerskab med flere AI-udviklere. IMO-dommerne har bekræftet resultaterne fra partnervirksomhederne, herunder Google, og anmodet om, at de offentliggør resultaterne senest den 28. juli.
De endelige resultater viste dog, at selv de mest avancerede og moderne maskiner blev besejret af verdens klogeste teenagere.
Menneskehedens sidste mur?
Den notorisk strenge IMO-eksamen afholdes over to dage. Hver dag skal eleverne løse tre gradvist mere komplekse problemer inden for lidt over fire timer. Spørgsmålene dækker algebra, geometri, talteori og kombinatorik.
På grund af dens komplekse og ukonventionelle problemer er den årlige matematikprøve blevet et nyttigt værktøj til at måle AI-fremskridt år efter år. I denne æra med hurtig udvikling drømmer førende forskningslaboratorier om den dag, hvor deres systemer er kraftfulde nok til at kvalificere sig til en IMO-guldmedalje.
Selvom denne ambition blev realiseret, da Google og OpenAIs kunstige intelligens vandt guldmedaljer, er det bemærkelsesværdigt, at 26 studerende opnåede højere scorer.
Blandt dem er fire stjerner fra det amerikanske hold, herunder Qiao Zhang, en todobbelt guldmedaljevinder, og Alexander Wang, der bragte New Jerseys tredje guldmedalje i træk hjem. Med denne præstation er Wang blevet en af de mest fremragende unge matematikere nogensinde, og han kan stadig vinde endnu en guldmedalje ved IMO næste år.
 |
Det amerikanske hold ved den internationale matematiske olympiade i 2025. Foto: WSJ. |
I et interview med WSJ sagde Zhang, at han brugte længst tid på opgave nummer 6 under eksamen. Dette er et notorisk vanskeligt kombinatorisk problem, der omfatter en gren af matematikken, der involverer tælling, sortering og kombination af diskrete objekter.
Løsningen på dette problem kræver opfindsomhed, kreativitet og intuition, som mennesker kan bruge, men som maskiner ikke kan, eller i hvert fald ikke endnu. "Jeg ville faktisk være lidt bange, hvis AI-modeller kunne løse problem 6," sagde Zhang.
Problem nummer 6 gav DeepMind og OpenAIs modeller problemer, men det var ikke kun AI, der kæmpede. Ud af de 630 deltagere fik 569 også en score på 0. Kun 6 fik en perfekt score på 7 point. Zhang, stolt af sin delvise løsning, fik 4 point, mere end de fleste andre deltagere.
Med sine kontinuerlige fremskridt har mange antydet, at AI muligvis er ved at "ødelægge" menneskeheden inden for matematik. Junehyuk Jung er dog uenig.
Jung, en tidligere IMO-guldmedaljevinder, er i øjeblikket lektor ved Brown University og gæsteforsker ved DeepMind. Han mener dog ikke, at dette er menneskehedens sidste kamp. Ifølge Jung vil problemer som Problem 6 fortsætte med at plage AI i mindst et årti mere.
"Der er ting, som AI vil gøre rigtig godt. Der vil dog stadig være ting, som mennesker kan gøre bedre," bemærkede Jung.
Guldmedaljekampen i matematik
I 2021 var en studerende ved navn Alexander Wei en del af et forskningsprojekt, der bad ham om at forudsige AI's matematiske evner inden juli 2025. Da Wei overvejede andre forudsigelser, mente han, at dette var for optimistisk.
Denne tidligere studerende er dog nu et levende bevis på, hvor forkert han tog. Wei er forskerfiguren , der ledte IMO-projektet for OpenAI. Hvad der er endnu mere imponerende, er, hvordan de gjorde det.
Ikke kun OpenAI, men også Google kaldte resultaterne på IMO 2025 et stort gennembrud. I 2024 krævede AI-modeller, at problemer blev oversat til computerprogrammeringssprog for at kunne bevise matematisk.
På bare et år fungerede disse systemer udelukkende i "naturligt sprog" uden nogen menneskelig indgriben. DeepMind gennemførte også eksamen inden for IMO's tidsfrist på 4,5 timer. Til sammenligning tog det dette system i 2024 flere dage at beregne løsningen.
Mange mennesker tænker måske på AI som en konkurrent, men de, der står bag modellerne, ser dem som supplerende værktøjer.
 |
Endelige resultater af den internationale matematiske olympiade 2025. Foto: WSJ. |
"Dette kunne potentielt være en ny computer, der vil drive den næste generation af matematikere," sagde Dr. Luong Minh Thang, seniorforsker hos Google (USA).
For tre uger siden udviklede Dr. Minh Thangs team med succes AlphaGeometry 2. Den mest bemærkelsesværdige funktion ved denne version er dens evne til at løse geometriske problemer, der overgår dem, som guldmedaljevindere ved Den Internationale Matematiske Olympiade (IMO) har opnået.
"Hvis elever med IMO-guldmedaljevindende færdigheder kan løse 40 ud af 50 opgaver, så vil AlphaGeometry 2 være i stand til at løse 42 ud af 50 opgaver , " delte Dr. Thang glad.
Sidste år vandt denne model kun en sølvmedalje. I år bruger Google multifunktionsmodellen Gemini Deep Think (en version, der tidligere blev vist frem på udviklerkonferencen i maj).
Det er bemærkelsesværdigt, at Dr. Thangs hold, inden konkurrencen begyndte, ifølge WSJ stadig var i gang med at foretage justeringer. I starten forventede Dr. Thang kun, at DeepMinds model ville løse alle tre problemer på den første dag.
Enkelheden, elegansen og den bemærkelsesværdige læsbarhed af disse løsninger forbløffede matematikerne. Næste dag, så snart Thang og hans kolleger opdagede, at AI-systemet havde løst to problemer mere, indså de, at de absolut kunne vinde guldmedaljen.
Som følge heraf løste DeepMinds AI succesfuldt 5 ud af 6 problemer. Det er værd at bemærke, at de alle brugte empiriske ræsonnementsmodeller, der behandlede matematiske begreber ved hjælp af naturligt sprog, hvilket er en skarp kontrast til de komplekse tilgange, som AI-virksomheder tidligere har brugt.
Kilde: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html
![[Video] Solnedgang ved Lap An-lagunen – Hvor solen går ned over fiskenetene](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)