Hace solo 20 minutos, se publicó el resultado de la IMO 2025. China ocupó el primer lugar y @GoogleDeepMind ganó una medalla de oro 🥇 Las futuras competiciones de matemáticas serán el equipo de China contra el equipo chino de EE. UU. contra la IA.

Podríamos estar entrando en un giro inesperado en la saga 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 IMO supuestamente pidió a los laboratorios de IA que no publicaran 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 permitir tiempo para la verificación adecuada de las presentaciones y formatos de IA. Según Joseph, OpenAI no colaboró con la IMO para probar su modelo, y ninguno de los 91 coordinadores oficiales de la IMO estuvo involucrado en la calificación de sus soluciones. Mientras tanto, parece que DeepMind está siguiendo las reglas y esperando pacientemente su turno. Para dar contexto: La IMO tiene 6 problemas, cada uno con un valor de 7 puntos. El corte de oro de este año es de 35 puntos. Incluso una pequeña deducción podría hacer que OpenAI caiga a plata. Y según mi lectura de sus informes, algunas partes podrían plantear preguntas — y posiblemente costar puntos. Terence Tao también señaló que, aunque los problemas se mantienen iguales, los formatos de prueba importan. Un estudiante que no obtendría un bronce en condiciones estándar podría conseguir oro con un formato modificado — lo que plantea preguntas reales sobre lo que significa "resolver la IMO" para la IA. La próxima semana podría ser intensa. Mantente atento.