Hace solo 20 minutos, el resultado de 2025 IMO estaba disponible. China ocupó el puesto número 1 y @GoogleDeepMind ganó una medalla 🥇 de oro Las futuras competencias de matemáticas serán el equipo de China contra el equipo chino de EE. UU. contra la IA

Es posible que nos dirijamos a un giro en la trama de OpenAI vs. DeepMind IMO. Acabo de ver una publicación de Joseph Myers (involucrado en la Olimpiada de Matemáticas desde 1992): el comité de la OMI supuestamente pidió a los laboratorios de IA que no publicaran los resultados hasta 7 días después de la ceremonia de clausura, por respeto a los concursantes humanos (ver mi publicación de ayer) y probablemente para dar tiempo a la verificación adecuada de las presentaciones y formatos de IA. Según Joseph, OpenAI no colaboró con la OMI para probar su modelo, y ninguno de los 91 coordinadores oficiales de la OMI participó en la calificación de sus soluciones. Mientras tanto, parece que DeepMind está siguiendo las reglas y esperando pacientemente su turno. Para contextualizar: La OMI tiene 6 problemas, cada uno vale 7 puntos. El límite de oro de este año es de 35 puntos. Incluso una pequeña deducción podría derribar a OpenAI a plata. Y según mi lectura de sus escritos, algunas partes podrían generar preguntas, y posiblemente puntos de costo. Terence Tao también señaló que, si bien los problemas siguen siendo los mismos, los formatos de prueba son importantes. Un estudiante que no obtendría un bronce en condiciones estándar podría encontrar el oro con una configuración modificada, lo que plantea preguntas reales sobre lo que significa "resolver la OMI" para la IA. La próxima semana podría ser picante. Estén atentos.