Ik dacht dat de mensheid veilig was, slechts 2 dagen geleden, het telt letterlijk in dagen… Wat context: Dit is niet de eerste keer dat AI een medaille wint op de Internationale Wiskunde Olympiade (IMO). Vorig jaar won Google’s AlphaProof zilver - maar dat model was specifiek getraind voor wiskunde. Deze keer gebruikte OpenAI een algemeen model (waarschijnlijk een interne GPT-5 prototype?), en het won goud. Dat is een enorme sprong in betekenis. Om dit in perspectief te plaatsen: het oplossen van een IMO-niveau probleem kost doorgaans elite menselijke deelnemers ongeveer 100 minuten. Slechts 2 jaar geleden hadden top AI-modellen nog moeite met basisschool woordproblemen (GSM8k), die mensen ongeveer 10 seconden kosten om op te lossen. Zoals Dan Roberts van OpenAI deelde op Sequoia’s AI Ascent 2025, verdubbelt de lengte van taken die AI kan afhandelen elke 7 maanden. Tegen het einde van 2025 kan GPT-5 heel goed op het niveau van menselijke taken van een uur opereren. Een kanttekening: De IMO van dit jaar had naar verluidt een fout in de moeilijkheidsbalans - problemen 1–5 waren relatief eenvoudig, terwijl probleem 6 ongewoon moeilijk was. Als gevolg hiervan waren veel scores gegroepeerd tussen 28–35 (elk probleem is 7 punten waard). De AI scoorde een 35 - net genoeg voor goud. Een beetje geluk, maar de traject is onmiskenbaar. Last but not least, de wiskundewedstrijden zullen ongetwijfeld een race zijn tussen Chinezen in China, Chinezen in de VS, en AI-modellen (gebouwd door Chinezen in de VS en China)