Un equipo de investigadores del Instituto Tecnológico de Massachusetts (MIT), en colaboración con la Universidad Rey Abdullah de Ciencia y Tecnología (KAUST) y la empresa HUMAIN, ha logrado una hazaña sin precedentes: la creación de MathNet, la colección más extensa de problemas matemáticos a nivel olímpico. Este innovador conjunto de datos incluye más de 30,000 problemas provenientes de 47 países, ofreciendo un recurso valioso tanto para investigadores en inteligencia artificial como para estudiantes que se preparan para competiciones matemáticas.
Hasta ahora, las naciones que participan en la Olimpiada Internacional de Matemáticas (IMO) compartían sus mejores problemas en forma de folletos que, tras ser intercambiados, desaparecían sin dejar rastro. La iniciativa del MIT no solo recopila estos problemas, sino que también los limpia y los pone a disposición pública, facilitando el acceso a un material educativo esencial.
Una base de datos sin precedentes
MathNet se distingue por su magnitud y diversidad. Con más de 30,000 problemas y soluciones elaboradas por expertos en 17 idiomas y abarcando cuatro décadas de matemáticas competitivas, esta base de datos es cinco veces mayor que cualquier otro conjunto existente. Su presentación está programada para la próxima Conferencia Internacional sobre Representaciones Aprendidas (ICLR), que se celebrará en Brasil.
A diferencia de otros conjuntos de datos previos que se limitaban principalmente a competiciones en Estados Unidos y China, MathNet incluye contribuciones de múltiples países a lo largo de seis continentes. Esta amplitud busca reflejar una variedad completa de perspectivas matemáticas y tradiciones en la resolución de problemas dentro de la comunidad global.
Un esfuerzo colectivo
"Cada país trae un folleto con sus problemas más novedosos y creativos", explica Shaden Alshammari, estudiante de doctorado en MIT y autora principal del estudio. "Se comparten entre ellos, pero nadie había hecho el esfuerzo sistemático para recopilarlos".
El proceso para construir MathNet implicó rastrear 1,595 volúmenes PDF que suman más de 25,000 páginas, incluyendo documentos digitales y escaneos antiguos en varios idiomas. Un elemento clave fue el archivo personal de Navid Safaei, un destacado miembro de la comunidad IMO que ha estado recopilando estos folletos desde 2006.
Sólida validación y utilidad educativa
Aparte del tamaño del conjunto, su origen es fundamental. Mientras que muchos conjuntos existentes obtienen problemas a partir de foros comunitarios como Art of Problem Solving (AoPS), MathNet se nutre exclusivamente de los folletos oficiales nacionales. Las soluciones contenidas son escritas por expertos y revisadas por pares, proporcionando una profundidad que permite a los modelos AI aprender razonamiento matemático con mayor eficacia.
"Recuerdo muchos estudiantes que tenían que esforzarse individualmente porque nadie en su país les entrenaba para este tipo de competencia", añade Alshammari. "Esperamos que esto les brinde un lugar centralizado con problemas y soluciones de alta calidad".
Impacto en el desarrollo artificial
The MathNet database also serves as a rigorous benchmark for assessing AI performance in mathematics. Although recent advancements have led some models to achieve impressive results—reportedly even gold-medal performances at the IMO—MathNet reveals an uneven landscape of progress. For instance, even the top-performing model tested averaged only about 69.3 percent accuracy on MathNet's main benchmark of 6,400 problems.
This dataset not only aids students preparing for competitions but also challenges AI systems to improve their reasoning capabilities across diverse mathematical contexts. The researchers emphasize that exposure to a wider range of problems enhances both human and machine learning in mathematics.
MathNet está disponible públicamente para todos aquellos interesados en explorar esta rica colección matemática.
Si (
No(
