Робота присвячена стислому хронологічному опису досліджень із реалізації програми АО за весь період її існування та висвітленню як особливостей систем САД та SAD, так і їх загальних рис та відмінностей. Наведено деякі можливі шляхи подальшого розвитку системи SAD. П'ятдесят років тому, в 1970 році, академік В.М. Глушков опублікував статтю, в якій разом із обговоренням деяких проблем штучного інтелекту сформулював науково-дослідницьку програму під назвою Алгоритм очевидності, що описує його бачення проблеми комп'ютерної підтримки людської діяльності в пошуку ним доведення теорем.