La idea de máquinas inteligentes se la planteó por primera vez Turing, quien en el año 1947 defendió esta teoría prediciendo que en 50 años se haría realidad.
Esta teoría se cumplió pues en 1996, Larry Wos y William McCune (del Argonne National Laboratory), crearon un programa que soluciono un problema incapaz de ser solucionado por las mentes humanas, trata de probar hipótesis mediante la búsqueda de contradicciones implicadas por la negación de la hipótesis, ha conducido por sorpresa a encontrar una prueba original de la conjetura de Robbins.

Tags: noticia, ordenadores, Turing