Como punto de discusión
No creo que sea difícil automatizar probadores y solucionadores de una manera que demuestre la técnica matemática correcta. La parte difícil es la pieza educativa. La pedagogía y la psicología de determinar cómo piensa un estudiante sobre un tema, qué concepto clave falta o está mal en la mente de ese estudiante, luego aclarar ese concepto para el estudiante, ese proceso es difícil y requiere una visión que es difícil de incorporar a una máquina. .
Los dos pasos que se pueden construir y que pueden ayudar son:
- Desafíe al alumno a resolver un problema, paso a paso.
- Identifique el paso incorrecto y muestre el correcto.
Como ejercicio, esto es excelente, puede proporcionar problemas nuevos y variados y orientación más allá de simplemente proporcionar la respuesta correcta. La desventaja es que es una instrucción increíblemente aburrida, tediosa para ingresar a la notación matemática, y requiere un picoteo interminable para llegar a una nueva visión.