Без заголовка

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