¿Segundo mejor laboratorio de IA de Text Arena Math a finales de noviembre?