Описывается проект "Алгоритм Очевидности'2000" как новый уровень понимания программы "Алгоритм Очевидности", инициированной В. Глушковым в начале 60-х годов. Этот проект ориентирован на подключение к международной математической деятельности по эффективному решению следующих задач: распределенное автоматизированное доказательство теорем, проверка корректности математических текстов, удаленное обучение математическим дисциплинам, извлечение знаний из математических работ, построение баз знаний для математических теорий.

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