¿Alcanzará algún modelo de IA una puntuación en Math Arena para el 31 de diciembre?