Способны ли современные компьютеры при заложении алгоритма в них программистом, домысливать неизвестные участки кода, даже если он не поддаётся мат. формулам?

Нет, современные компьютеры не способны домысливать неизвестные участки кода, даже если он не поддаётся математическим формулам. yandex.ru

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