当初、1974 年までは、幾何学や代数学の問題を解決するために人工知能 (AI) が使用されていました。 1980 年から 1987 年にかけて、特定の分野の問題を解決できるエキスパート システムが増加しました。