¿Cómo puede un solucionador matemático de inteligencia artificial mejorar el rendimiento de los estudiantes?