RedNote, la empresa detrás de la popular plataforma china Xiaohongshu, ha alcanzado un hito histórico en inteligencia artificial: su modelo dots-note-3.0 se convirtió en el primero en lograr una puntuación perfecta de 42/42 en la Olimpiada Matemática Internacional (IMO), el concurso de matemáticas más prestigioso del mundo.

A diferencia de los benchmarks matemáticos tradicionales que solo evalúan la respuesta final, la IMO exige demostraciones completas y escritas donde cada paso lógico es inspeccionado por jueces humanos. Un solo error en la cadena de razonamiento significa perder puntos. Este logro demuestra que los modelos de IA pueden ahora competir al nivel de los mejores matemáticos del mundo.

El sistema utiliza un loop agéntico con Python: el modelo genera hipótesis, las prueba con código, detecta errores, las corrige y refina sus demostraciones antes de presentarlas. Este enfoque iterativo marca un cambio fundamental en cómo la IA aborda problemas de razonamiento profundo, pasando de generar respuestas a construir y verificar argumentos de forma autónoma.

Lo más impresionante es que dots-note-3.0 no es el modelo más grande de la familia dots3. Su eficiencia demuestra que la arquitectura correcta puede superar a modelos con órdenes de magnitud más parámetros. Para China, este logro refuerza su posición como potencia en IA y envía un mensaje claro: la innovación en modelos pequeños y eficientes puede ser tan poderosa como la escala bruta.