Mensen zijn slimmer dan AI.

Google DeepMind en OpenAI wonnen gouden medailles op de Wiskunde Olympiade, maar de Amerikaanse tieners in het team behaalden nog steeds een hogere score dan deze twee machines.

De IMO 2025 werd gehouden van 10 tot 20 juli in Sunshine Coast, Queensland, Australië, met 630 deelnemers. Daarvan wonnen er 67 (ongeveer 11%) een gouden medaille. Dat AI een vergelijkbare prestatie heeft geleverd, is een historische mijlpaal.

Dit is het eerste jaar dat de IMO-competitie officieel samenwerkt met verschillende AI-ontwikkelaars. De IMO-juryleden hebben de resultaten van de partnerbedrijven, waaronder Google, bevestigd en hen verzocht de resultaten vóór 28 juli te publiceren.

De uiteindelijke resultaten toonden echter aan dat zelfs de meest geavanceerde en moderne machines werden verslagen door de slimste tieners ter wereld .

De laatste muur van de menselijkheid?

Het beruchte, strenge IMO-examen wordt over twee dagen afgenomen. Elke dag moeten studenten binnen iets meer dan vier uur drie steeds complexere problemen oplossen. De vragen hebben betrekking op algebra, meetkunde, getaltheorie en combinatoriek.

Door de complexe en onconventionele vraagstukken is de jaarlijkse wiskundetoets een nuttig instrument geworden om de vooruitgang van AI jaar na jaar te meten. In dit tijdperk van snelle ontwikkeling dromen toonaangevende onderzoekslaboratoria van de dag dat hun systemen krachtig genoeg zijn om in aanmerking te komen voor een gouden medaille van het IMO.

Hoewel deze ambitie werd verwezenlijkt toen de AI van Google en OpenAI gouden medailles won, is het opmerkelijk dat 26 studenten hogere scores behaalden.

Onder hen bevinden zich vier sterren van het Amerikaanse team, waaronder Qiao Zhang, tweevoudig goudenmedaillewinnaar, en Alexander Wang, die New Jersey de derde gouden medaille op rij bezorgde. Met deze prestatie is Wang uitgegroeid tot een van de meest vooraanstaande jonge wiskundigen aller tijden en zou hij volgend jaar op het IMO nog een gouden medaille kunnen winnen.

Het Amerikaanse team op de Internationale Wiskunde Olympiade van 2025. Foto: WSJ.

In een gesprek met de Wall Street Journal vertelde Zhang dat hij tijdens het examen het langst aan opgave nummer 6 had besteed. Dit is een berucht moeilijke combinatorische opgave, die een tak van de wiskunde omvat waarbij het tellen, sorteren en combineren van discrete objecten een rol speelt.

De oplossing voor dit probleem vereist vindingrijkheid, creativiteit en intuïtie, eigenschappen die mensen wel bezitten, maar machines (nog) niet. "Ik zou eigenlijk best wel bang zijn als AI-modellen probleem 6 zouden kunnen oplossen," aldus Zhang.

Probleem nummer 6 bracht de modellen van DeepMind en OpenAI in verlegenheid, maar het waren niet alleen de AI-modellen die het moeilijk hadden. Van de 630 deelnemers behaalden er 569 een score van 0. Slechts 6 behaalden een perfecte score van 7 punten. Zhang, trots op zijn gedeeltelijke oplossing, verdiende 4 punten, meer dan de meeste andere deelnemers.

Dit vind je misschien ook leuk

Robocon Vietnam is klaar om het internationale toneel te veroveren.Het LF-FOF-team (Lac Hong University, Dong Nai) heeft de Robocon Vietnam 2026-competitie gewonnen en is daarmee officieel de vertegenwoordiger van Vietnam geworden bij de ABU Robocon Asia-Pacific-competitie.

Door de voortdurende vooruitgang hebben velen gesuggereerd dat AI de mensheid in de wiskunde zou kunnen "vernietigen". Junehyuk Jung is het daar echter niet mee eens.

Jung, een voormalig gouden medaillewinnaar van de IMO, is momenteel universitair hoofddocent aan Brown University en gastonderzoeker bij DeepMind. Hij gelooft echter niet dat dit de laatste strijd van de mensheid is. Volgens Jung zullen problemen zoals Probleem 6 de AI nog minstens een decennium blijven teisteren.

"Er zijn dingen die AI heel goed zal doen. Maar er zullen ook nog steeds dingen zijn die mensen beter kunnen," merkte Jung op.

De strijd om de gouden medaille in de wiskunde.

In 2021 maakte een student genaamd Alexander Wei deel uit van een onderzoeksproject waarbij hem werd gevraagd de wiskundige mogelijkheden van AI tegen juli 2025 te voorspellen. Wei vond deze voorspelling, vergeleken met andere, te optimistisch.

Deze voormalige student is echter het levende bewijs van hoe erg hij zich vergist heeft. Wei is de onderzoeker die het IMO-project voor OpenAI leidde. Wat nog indrukwekkender is, is hoe ze het voor elkaar hebben gekregen.

Niet alleen OpenAI, maar ook Google noemde de resultaten op IMO 2025 een grote doorbraak. In 2024 moesten AI-modellen problemen vertalen naar programmeertalen voor wiskundige bewijzen.

In slechts één jaar tijd functioneerden deze systemen volledig in "natuurlijke taal" zonder enige menselijke tussenkomst. DeepMind voltooide het examen bovendien binnen de door de IMO gestelde tijdslimiet van 4,5 uur. Ter vergelijking: in 2024 had dit systeem meerdere dagen nodig om de oplossing te berekenen.

Veel mensen beschouwen AI als een concurrent. Degenen die de modellen ontwikkelen, zien ze echter als complementaire instrumenten.

Einduitslag van de Internationale Wiskunde Olympiade 2025. Foto: WSJ.

"Dit zou wel eens een nieuwe computer kunnen zijn die de volgende generatie wiskundigen een enorme impuls zal geven," aldus dr. Luong Minh Thang, senior onderzoeker bij Google (VS).

Drie weken geleden heeft het team van Dr. Minh Thang met succes AlphaGeometry 2 ontwikkeld. Het meest opvallende kenmerk van deze versie is het vermogen om meetkundige problemen op te lossen die die van gouden medaillewinnaars van de Internationale Wiskunde Olympiade (IMO) overtreffen.

"Als leerlingen met vaardigheden die een gouden medaille op het IMO-kampioenschap kunnen winnen 40 van de 50 problemen kunnen oplossen, dan zal AlphaGeometry 2 42 van de 50 problemen kunnen oplossen , " deelde dr. Thang enthousiast mee.

Dit vind je misschien ook leuk

VTV6 keert terug als sportzender.Vanaf 8 juni heeft VTV6 officieel de uitzendingen hervat en is daarmee het gespecialiseerde sportkanaal van de Vietnamese televisie geworden.

Vorig jaar won dit model slechts een zilveren medaille. Dit jaar gebruikt Google het multifunctionele Gemini Deep Think-model (een versie die eerder in mei op de ontwikkelaarsconferentie werd getoond).

Opvallend genoeg, zo meldt de WSJ , was het team van Dr. Thang vóór de start van de wedstrijd nog bezig met aanpassingen. Aanvankelijk verwachtte Dr. Thang alleen dat het model van DeepMind alle drie de problemen op de eerste dag zou oplossen.

De eenvoud, elegantie en opmerkelijke leesbaarheid van die oplossingen verbluffen de wiskundigen. De volgende dag, toen Thang en zijn collega's ontdekten dat het AI-systeem nog twee problemen had opgelost, beseften ze dat ze absoluut de gouden medaille konden winnen.

Als gevolg hiervan loste de AI van DeepMind 5 van de 6 problemen succesvol op. Opvallend is dat ze allemaal gebruik maakten van empirische redeneermodellen, waarbij wiskundige concepten werden verwerkt met behulp van natuurlijke taal. Dit staat in schril contrast met de complexe benaderingen die AI-bedrijven voorheen gebruikten.

Bron: https://znews.vn/nhung-nguoi-thong-minh-hon-ai-post1572367.html