Científicos del MIT crean la mayor colección mundial de problemas de matemáticas a nivel olimpiada y la abren a todo el mundo

Investigadores del Laboratorio de Ciencias de la Computación e Inteligencia Artificial del MIT (CSAIL) han compilado MathNet, el conjunto de datos de mayor calidad y tamaño jamás creado de problemas de matemáticas basados en demostraciones, con más de 30.000 problemas y soluciones de 47 países, 17 idiomas y 143 competiciones. Este dataset, cinco veces más grande que el anterior similar, captura la diversidad global de perspectivas matemáticas y sirve como benchmark riguroso para probar el razonamiento matemático en modelos de IA. Revela limitaciones en modelos frontier como GPT-5, que resuelven solo el 69,3% de los problemas, especialmente en aquellos con figuras o en idiomas menos comunes. Además, proporciona a estudiantes de todo el mundo un recurso centralizado de alta calidad para prepararse para olimpiadas matemáticas. El trabajo se presentará en la Conferencia Internacional sobre Representaciones de Aprendizaje (ICLR).