Los primeros modelos de IA con puntaje perfecto en el IMO 2026 son chinos

Mi opinión: Por primera vez en la historia de la Olimpíada Internacional de Matemáticas, modelos de IA alcanzaron la puntuación perfecta: 42 de 42 puntos. Dos modelos obtuvieron resultados certificados por los organizadores del IMO: Celia de Huawei y dots-note 3.0 de Xiaohongshu (conocida en Occidente como RedNote). Otros cuatro sistemas, incluyendo Claude Fable 5 y GPT-5.6 Sol, también reportaron 42/42, pero en una prueba organizada por un inversionista de capital de riesgo y calificada por agentes de IA, no por los jueces oficiales del IMO. Esa distinción importa si uno quiere tomar el número en serio.

Que la IA pueda resolver problemas de matemáticas de nivel olímpico es un avance genuino en razonamiento formal. Que los primeros en lograrlo con certificación oficial sean dos empresas chinas, y no OpenAI, Google o Anthropic, dice algo sobre la velocidad a la que el ecosistema global de IA se está expandiendo más allá de Silicon Valley.

Para quien usa IA en trabajo analítico, técnico o matemático: las capacidades de razonamiento de los modelos de frontera son reales y ya superan a la mayoría de los expertos humanos en tareas formales muy específicas. ¿Qué procesos en tu trabajo o negocio dependen de razonamiento matemático o lógico avanzado que la IA ya podría ejecutar de forma más eficiente?