För bara 20 minuter sedan var resultatet av 2025 IMO ute. Kina rankades som nummer 1 och @GoogleDeepMind vann en guldmedalj 🥇 Framtida matematiktävlingar kommer att vara Kinas lag mot USA: Kinesiskt lag vs AI

Vi kan vara på väg in i en plot twist i sagan om OpenAI vs. DeepMind IMO. Såg precis ett inlägg från Joseph Myers (involverad i matematikolympiaden sedan 1992): IMO-kommittén ska enligt uppgift ha bett AI-laboratorier att inte publicera resultat förrän 7 dagar efter avslutningsceremonin - av respekt för mänskliga tävlande (se mitt inlägg igår) och troligen för att ge tid för korrekt verifiering av AI-bidrag och format. Enligt Joseph samarbetade OpenAI inte med IMO för att testa deras modell, och ingen av de 91 officiella IMO-samordnarna var inblandade i betygsättningen av dess lösningar. Samtidigt verkar det som om DeepMind följer reglerna och tålmodigt väntar på sin tur. För sammanhang: IMO har 6 problem, vart och ett värt 7 poäng. Årets guldgräns är 35 poäng. Även ett litet avdrag kan slå ner OpenAI till silver. Och från min läsning av deras skrivningar kan vissa delar väcka frågor - och eventuellt kosta poäng. Terence Tao påpekade också att även om problemen förblir desamma, är testformaten viktiga. En student som inte skulle få ett brons under standardförhållanden kan ta guld med en modifierad uppställning – vilket väcker verkliga frågor om vad det innebär för AI att "lösa IMO". Nästa vecka kan bli kryddig. Håll ögonen öppna.