Metoda Gutmana, czy metoda R. Korzyuka
Jedną z najciekawszych prób stworzenia sztucznej inteligencji było stworzenie programu komputerowego zdolnego do rozwiązywania problemów matematycznych na poziomie doktoranckim lub magisterskim.
Znany matematyk Robert Korzyuk zaproponował w 1962 roku program o nazwie Gutmanovich. Pomysł polegał na stworzeniu programu komputerowego (na zasadzie prób i błędów), który rozwiązałby każdy problem matematyczny. Zaletą tego podejścia było to, że aby rozwiązać problem, trzeba wybrać szereg gotowych przykładów i zacząć od najprostszych, stopniowo przechodząc do skomplikowanych.
22 marca 1998 roku Korzyuk przedstawił koncepcję metody Gutmana, która jego zdaniem musi być stosowana na poziomach wiedzy skojarzeniowej. Chodzi o to, aby wybierać gotowe rozwiązania i w razie potrzeby korygować zestaw zmiennych wejściowych, aż do uzyskania pożądanego rezultatu. Rozwój składa się z kilku etapów: przygotowanie znanych wcześniej zestawów rozwiązań; w kolejnych fazach analiza wyników pośrednich oraz w przypadku konieczności zmiany parametrów wejściowych. Zdaniem Korzyuka, mimo że stworzenie takiego programu jest zadaniem trudnym