Slechts 20 minuten geleden werd het resultaat van de 2025 IMO bekendgemaakt. China stond op nummer 1 en @GoogleDeepMind won een gouden medaille 🥇 Toekomstige wiskundewedstrijden zullen zijn: het team van China tegen het Chinese team van de VS tegen AI.

We zouden wel eens op weg kunnen zijn naar een plotwending in de OpenAI vs. DeepMind IMO-saga. Ik zag net een bericht van Joseph Myers (betrokken bij de Wiskunde Olympiade sinds 1992): de IMO-commissie heeft naar verluidt AI-laboratoria gevraagd om resultaten niet te publiceren tot 7 dagen na de sluitingsceremonie — uit respect voor menselijke deelnemers (zie mijn bericht van gisteren) en waarschijnlijk om tijd te geven voor een goede verificatie van AI-indieningen en -formaten. Volgens Joseph heeft OpenAI niet samengewerkt met de IMO om hun model te testen, en geen van de 91 officiële IMO-coördinatoren was betrokken bij het beoordelen van de oplossingen. Ondertussen lijkt het erop dat DeepMind de regels volgt en geduldig op hun beurt wacht. Voor de context: De IMO heeft 6 problemen, elk goed voor 7 punten. De gouden grens dit jaar is 35 punten. Zelfs een kleine aftrek zou OpenAI naar zilver kunnen duwen. En uit mijn lezing van hun verslagen, kunnen sommige delen vragen oproepen — en mogelijk punten kosten. Terence Tao wees ook op het feit dat hoewel de problemen hetzelfde blijven, testformaten belangrijk zijn. Een student die onder standaardomstandigheden geen brons zou behalen, zou goud kunnen behalen met een aangepast opzet — wat echte vragen oproept over wat "het oplossen van de IMO" betekent voor AI. Volgende week zou het spannend kunnen worden. Blijf op de hoogte.