"...Организация алгоритма очевидности должна допускать возможность неограниченного пополнения его все новыми и новыми блоками с целью создания более высоких уровней иерархии. Для практических применений алгоритма очевидности важное значение имеет достижение такого уровня его развития, при котором средняя длина доказательства (вместе с построением опровергающих примеров) сравняется со средней длиной доказательств, необходимых в учебниках и монографиях, а потом - и в специальных статьях. При этом, разумеется, кроме собственно алгоритма очевидности, должна развиваться информационная база системы, которая содержит описание (на языке практической математической логики) разного рода понятий, которые используются в конкретной рассматриваемой математической теории. А также свойств этих понятий, процедур построения и исследования примеров и т.п. Все это информационное богатство должно использоваться алгоритмом очевидности подобно тому, как это делается человеком..."

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

Авторы надеются, что результаты, полученные в рамках исследований по АО, окажутся полезными при решении таких задач, как распределенный автоматический поиск доказательства, проверка корректности формализованного математического текста, извлечение сведений из математического текста, построение баз формального математического знания и удаленное обучение математическим дисциплинам.