Método Gutman ou método R. Korzyuk
Uma das tentativas mais interessantes de criação de inteligência artificial foi a criação de um programa de computador capaz de resolver problemas matemáticos em nível de doutorado ou mestrado.
O conhecido matemático Robert Korzyuk propôs um programa chamado Gutmanovich em 1962. A ideia era criar um programa de computador (semelhante à tentativa e erro) que resolvesse qualquer problema matemático. A vantagem dessa abordagem é que para resolver o problema é necessário selecionar uma série de exemplos prontos e começar pelos mais simples, passando gradativamente para os mais complexos.
Em 22 de março de 1998, Korzyuk apresentou o conceito do método Gutman, que, segundo ele, deve ser utilizado nos níveis do conhecimento associativo. A ideia é selecionar soluções prontas e, se necessário, ajustar o conjunto de variáveis de entrada até obter o resultado desejado. O desenvolvimento consiste em várias etapas: preparação de conjuntos de soluções previamente conhecidos; durante as fases subsequentes, análise de resultados intermediários e se são necessárias alterações nos parâmetros de entrada. De acordo com Korzyuk, apesar de criar tal programa ser uma tarefa difícil