Аннотация. Данный доклад является продолжение пленарного доклада П.А. Правильщикова "Проблема алгоритмической разрешимости и полуразрешимости формальных систем и её решение с использованием квантового генератора тестов." на той же конференции. Приводится схема квантового генератора тестов (КГТ), который является вычислительной моделью квантового ускорителя, используемого для решения сложных задач и, в частности, для доказательства теорем. Логические основы КГТ рассмотрены в [1]. Излагается квантовый D-алгоритм (QD-алгоритм), под который «подогнан» КГТ и правила исчисления кубических комплексов. QD-алгоритм иллюстрируется примером решения проблемы доказательства теоремы. В заключении приводится краткий обзор состояния и трендов развития квантовых компьютеров (КК), а также выводы.