Gutman módszer, vagy R. Korzyuk módszer
A mesterséges intelligencia létrehozásának egyik legérdekesebb kísérlete egy olyan számítógépes program létrehozása volt, amely képes PhD vagy MSc szintű matematikai feladatok megoldására.
A jól ismert matematikus, Robert Korzyuk javasolta a Gutmanovich nevű programot 1962-ben. Az ötlet egy olyan számítógépes program létrehozása volt (hasonlóan a próba-hibához), amely bármilyen matematikai problémát megold. Ennek a megközelítésnek az volt az előnye, hogy a probléma megoldásához számos kész példát kell kiválasztania, és a legegyszerűbbektől kell kezdenie, fokozatosan áttérve az összetettekre.
1998. március 22-én Korzyuk bemutatta a Gutman-módszer fogalmát, amelyet szerinte az asszociatív tudás szintjein kell alkalmazni. Az ötlet az, hogy kész megoldásokat válasszunk, és szükség esetén módosítsuk a bemeneti változók halmazát, amíg a kívánt eredményt el nem érjük. A fejlesztés több szakaszból áll: a korábban ismert megoldáskészletek elkészítése; a következő fázisok során a közbenső eredmények elemzése, valamint a bemeneti paraméterek változtatása szükséges. Korzyuk szerint annak ellenére, hogy egy ilyen program létrehozása nehéz feladat