Hacia procesadores portátiles de ideas

Stanley Burris explica que la demostración matemática, tal y como salió del ordenador, "era muy difícil de interpretar". "La máquina dice: 'llegué a ese paso a partir de dos pasos anteriores', pero no incluye todos los detalles".Wos afirma que la demostración será publicada en la revista The Journal of Automated Reasoning y en Internet. McCune dice que esta contento: "En cierto sentido, tengo la sensación de que el ordenador ha sido creativo". Sin embargo, añade que no le interesa mucho especular sobre las implicaciones filosóficas de su trabajo. "Simplemente trabajo con los problemas e intento resolverlos".

A Wos, por el contrario, le encanta reflexionar sobre el significado y el futuro del razonamiento humano y predice que, en unas cuantas décadas, los ordenadores podrían ser tan ágiles razonando como lo son ahora calculando. "Quiero decir a la gente que si llegamos a tener éxito y conseguimos proporcionar procesadores portátiles de ideas igual que ahora hay calculadoras de bolsillo, podríamos mejorar increíblemente la vida de las personas", afirma Wos.