Investigadores del MIT, del Laboratorio de Ciencia Computacional e Inteligencia Artificial, han desarrollado un nuevo sistema informático capaz de resolver automáticamente los clásicos problemas aplicados de las clases de álgebra. A corto plazo, podría conducir a herramientas educativas que identifican errores en el razonamiento de los estudiantes o evaluar la dificultad de los problemas planteados. Pero también puede encauzarse a sistemas capaces de resolver problemas más complicados en geometría, física y finanzas.
Comentarios
Estos sistemas de razonamiento lógico automático muy difícilmente seran capaces de producir nada nuevo. El límite de Gödel siempre estará ahí.