Lanzamiento de MathNet

El Instituto Tecnológico de Massachusetts (MIT) ha puesto en línea MathNet, una base de datos verificada que reúne más de 30 000 problemas y sus soluciones de nivel olímpico. El portal está disponible sin coste para cualquier usuario que quiera consultar o reutilizar el material.

Compilación y verificación

El proyecto partió de la localización de 1 595 volúmenes, que suman más de 25 000 páginas, procedentes de 47 países, 17 idiomas y 143 competiciones internacionales. Un equipo de 30 evaluadores de distintas naciones revisó cada problema y su solución, asegurando que solo se incluyan cuadernillos oficiales revisados por pares.

Un repositorio unificado

Hasta ahora los problemas olímpicos estaban dispersos en archivos nacionales y en colecciones privadas. MathNet los agrupa en una única plataforma, lo que facilita la búsqueda y la comparación entre ejercicios de distintas regiones. Este enfoque permite a los docentes y a los estudiantes acceder a material que antes era difícil de obtener.

Benchmark multimodal para IA

Los investigadores del MIT presentaron MathNet como benchmark multimodal en la Conferencia Internacional sobre Representaciones del Aprendizaje (ICLR 2026) en Brasil. El objetivo es medir no solo la capacidad de cálculo de los modelos, sino también su razonamiento, recuperación de información y transferencia de conocimientos entre problemas.