Gutman

Gutman method, or R. Korzyuk method

One of the most interesting attempts to create artificial intelligence was the creation of a computer program capable of solving mathematics problems at the PhD or MSc level.

The well-known mathematician Robert Korzyuk proposed a program called Gutmanovich in 1962. The idea was to create a computer program (similar to trial and error) that would solve any mathematical problem. The advantage of this approach was that to solve the problem you need to select a number of ready-made examples and start from the simplest, gradually moving to complex ones.

On March 22, 1998, Korzyuk presented the concept of the Gutman method, which, according to him, must be used at the levels of associative knowledge. The idea is to select ready-made solutions and, if necessary, adjust the set of input variables until the desired result is obtained. Development consists of several stages: preparation of previously known sets of solutions; during subsequent phases, analysis of intermediate results, and if changes in input parameters are required. According to Korzyuk, despite the fact that creating such a program is a difficult task