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.

DeepMind obtuvo una medalla de oro en la OMI el viernes por la tarde. Pero tuvieron que esperar a que el marketing aprobara el tuit, hasta el lunes. @OpenAI compartió el suyo por primera vez a la 1 a.m. del sábado y se robó el centro de atención. En este juego, la velocidad > la burocracia. Pierde el momento, pierde la narrativa.

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

A medida que crecen los modelos de IA, la optimización para FLOPS/$ (potencia informática por dólar) se vuelve crucial. Vea cómo Hyperbolic puede optimizar sus costos de GPU a continuación 🧵

¿Qué opinas de esta idea de valla publicitaria para Hyperbolic?

Acabamos de lanzar nuestra cotización instantánea de GPU reservadas: perfecta para equipos de IA que necesitan computación dedicada durante períodos de tiempo más largos. ¡Obtenga precios instantáneos para sus necesidades exactas de infraestructura directamente en nuestra aplicación!

Acabo de salir del trabajo y probé Grok-4 en un problema de topología de pregrado. Me tomó 9 minutos pensar y luego dar con confianza una respuesta 😅 limpia, plausible, pero totalmente equivocada No pienses que este califica como "hábilmente contradictorio". Los modelos de IA están superando los puntos de referencia, pero aún quedan un largo camino por delante para el AGI matemático real.

Grok obtuvo la máxima puntuación en AIME 🤯 Definitivamente necesitamos un mejor punto de referencia matemático para la IA ahora

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

El futuro de la IA es colaborativo