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.

DeepMind obtuvo una medalla de oro en la IMO el viernes por la tarde. Pero tuvieron que esperar a que el departamento de marketing aprobara el tuit — hasta el lunes. @OpenAI compartió el suyo primero a la 1am del sábado y robó el protagonismo. En este juego, la velocidad > la burocracia. Pierde el momento, pierde la narrativa.

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.

A medida que los modelos de IA crecen, optimizar por FLOPS/$ (poder de cómputo por dólar) se vuelve crucial. Ve cómo Hyperbolic puede optimizar tus costos de GPU a continuación 🧵

¿Qué opinas de esta idea de cartel publicitario para Hyperbolic?

¡Acabamos de lanzar nuestra Cotización Instantánea de GPUs Reservadas: perfecta para equipos de IA que necesitan computación dedicada por períodos más largos! ¡Obtén precios instantáneos para tus necesidades de infraestructura exactas directamente en nuestra aplicación!

Acabo de salir del trabajo y probé Grok-4 en un problema de topología de pregrado. Pensó durante 9 minutos y luego dio una respuesta limpia, plausible, pero totalmente incorrecta 😅 No creo que este califique como "habilidosamente adversarial". Los modelos de IA están aplastando los benchmarks, pero aún queda un largo camino por recorrer para lograr una AGI matemática real.

Grok obtuvo la puntuación máxima en AIME 🤯 Definitivamente necesitamos un mejor estándar matemático para la IA ahora.

El mejor modelo de razonamiento de código abierto se lanzará el próximo jueves si todo va bien. OpenAI no ha liberado un LLM desde GPT-2 en 2019, así que estoy emocionado. Lo estamos alojando en Hyperbolic. Abróchense los cinturones.

El futuro de la IA es colaborativo