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

Científicos del MIT CSAIL han compilado MathNet, el conjunto de datos de mayor calidad y tamaño jamás creado de problemas matemáticos 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, captura la diversidad global de perspectivas matemáticas y sirve como banco de pruebas riguroso para el razonamiento matemático en modelos de IA. Revela limitaciones en modelos frontier como GPT-5, que fallan en un tercio de los problemas y peor en aquellos con figuras o idiomas minoritarios. Además, es útil para estudiantes que se preparan para olimpiadas internacionales, proporcionando acceso centralizado a problemas y soluciones expertas. El trabajo se presentará en ICLR y está disponible en mathnet.csail.mit.edu.