Gutman-metoden, eller R. Korzyuk-metoden
Et av de mest interessante forsøkene på å skape kunstig intelligens var opprettelsen av et dataprogram som var i stand til å løse matematiske problemer på PhD- eller MSc-nivå.
Den kjente matematikeren Robert Korzyuk foreslo et program kalt Gutmanovich i 1962. Tanken var å lage et dataprogram (lik prøving og feiling) som skulle løse ethvert matematisk problem. Fordelen med denne tilnærmingen var at for å løse problemet må du velge en rekke ferdige eksempler og starte fra de enkleste, gradvis flytte til komplekse.
Den 22. mars 1998 presenterte Korzyuk konseptet med Gutman-metoden, som ifølge ham må brukes på nivåene av assosiativ kunnskap. Tanken er å velge ferdige løsninger og om nødvendig justere settet med inngangsvariabler til ønsket resultat er oppnådd. Utviklingen består av flere stadier: utarbeidelse av tidligere kjente sett med løsninger; under påfølgende faser, analyse av mellomresultater, og om endringer i inngangsparametere er nødvendig. Ifølge Korzyuk, til tross for at det er en vanskelig oppgave å lage et slikt program