Gutmanin menetelmä tai R. Korzyukin menetelmä
Yksi mielenkiintoisimmista yrityksistä luoda tekoälyä oli sellaisen tietokoneohjelman luominen, joka pystyy ratkaisemaan matematiikan ongelmia tohtorin tai MSc-tasolla.
Tunnettu matemaatikko Robert Korzyuk ehdotti ohjelmaa nimeltä Gutmanovich vuonna 1962. Ajatuksena oli luoda tietokoneohjelma (samanlainen kuin yritys ja erehdys), joka ratkaisisi minkä tahansa matemaattisen ongelman. Tämän lähestymistavan etuna oli, että ongelman ratkaisemiseksi sinun on valittava joukko valmiita esimerkkejä ja aloitettava yksinkertaisimmista, siirtymällä vähitellen monimutkaisiin.
22. maaliskuuta 1998 Korzyuk esitteli käsitteen Gutman-menetelmästä, jota hänen mukaansa tulee käyttää assosiatiivisen tiedon tasolla. Ajatuksena on valita valmiita ratkaisuja ja tarvittaessa säätää syöttömuuttujien joukkoa, kunnes haluttu tulos saadaan. Kehitys koostuu useista vaiheista: aiemmin tunnettujen ratkaisusarjojen valmistelu; myöhemmissä vaiheissa välitulosten analysointi ja jos syöttöparametreihin tarvitaan muutoksia. Korzyukin mukaan huolimatta siitä, että tällaisen ohjelman luominen on vaikea tehtävä