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

Вот вы тут кратко пересказали основные идеи книжки Judea Pearl -- "Все эти формальные пути решения возможны лишь задним числом, когда уже есть эвристический результат". Именно так: берём эвристический результат и дальше формально его проверяем на валидность. Нет причинной модели (эвристического результата или его идеи) -- нечего проверять. Предлагается же не генератор идей! А вот какие открытия/прорывы были с верификацией по частям предложенных методов -- вот об этом и в самой книжке есть. И что становится возможным только в последние годы, и какие трудности были без предложенных в последние годы методов.