Método de Gutman o método de R. Korzyuk
Uno de los intentos más interesantes de crear inteligencia artificial fue la creación de un programa informático capaz de resolver problemas matemáticos a nivel de doctorado o maestría.
El conocido matemático Robert Korzyuk propuso un programa llamado Gutmanovich en 1962. La idea era crear un programa informático (similar a prueba y error) que resolviera cualquier problema matemático. La ventaja de este enfoque fue que para resolver el problema es necesario seleccionar una serie de ejemplos ya preparados y comenzar desde los más simples, pasando gradualmente a los complejos.
El 22 de marzo de 1998, Korzyuk presentó el concepto del método Gutman, que, según él, debe utilizarse en los niveles de conocimiento asociativo. La idea es seleccionar soluciones ya preparadas y, si es necesario, ajustar el conjunto de variables de entrada hasta obtener el resultado deseado. El desarrollo consta de varias etapas: preparación de conjuntos de soluciones previamente conocidos; durante las fases posteriores, análisis de resultados intermedios y si se requieren cambios en los parámetros de entrada. Según Korzyuk, a pesar de que crear un programa de este tipo es una tarea difícil