Segundo melhor Laboratório de IA de Text Arena Math no final de dezembro?