¿Tercer mejor laboratorio de IA de Text Arena Math a finales de diciembre?