Μέθοδος Gutman, ή μέθοδος R. Korzyuk
Μία από τις πιο ενδιαφέρουσες προσπάθειες δημιουργίας τεχνητής νοημοσύνης ήταν η δημιουργία ενός προγράμματος υπολογιστή ικανού να λύνει μαθηματικά προβλήματα σε επίπεδο διδακτορικού ή MSc.
Ο γνωστός μαθηματικός Robert Korzyuk πρότεινε ένα πρόγραμμα που ονομάζεται Gutmanovich το 1962. Η ιδέα ήταν να δημιουργηθεί ένα πρόγραμμα υπολογιστή (παρόμοιο με το trial and error) που θα έλυνε οποιοδήποτε μαθηματικό πρόβλημα. Το πλεονέκτημα αυτής της προσέγγισης ήταν ότι για να λύσετε το πρόβλημα πρέπει να επιλέξετε μια σειρά από έτοιμα παραδείγματα και να ξεκινήσετε από τα πιο απλά, προχωρώντας σταδιακά σε σύνθετα.
Στις 22 Μαρτίου 1998, ο Korzyuk παρουσίασε την έννοια της μεθόδου Gutman, η οποία, σύμφωνα με τον ίδιο, πρέπει να χρησιμοποιηθεί στα επίπεδα της συνειρμικής γνώσης. Η ιδέα είναι να επιλέξετε έτοιμες λύσεις και, εάν είναι απαραίτητο, να προσαρμόσετε το σύνολο των μεταβλητών εισόδου μέχρι να επιτευχθεί το επιθυμητό αποτέλεσμα. Η ανάπτυξη αποτελείται από διάφορα στάδια: προετοιμασία προηγουμένως γνωστών συνόλων λύσεων. κατά τη διάρκεια των επόμενων φάσεων, ανάλυση των ενδιάμεσων αποτελεσμάτων και εάν απαιτούνται αλλαγές στις παραμέτρους εισόδου. Σύμφωνα με τον Korzyuk, παρά το γεγονός ότι η δημιουργία ενός τέτοιου προγράμματος είναι ένα δύσκολο έργο