The actual program is a black box. We have been able to dissect some details but the whole system is hard to understand. The program is grown more than developed. Understanding the concept of inference doesn't help you much.
"the program" is some silly abstraction you've made up. If you don't understand the underlying mathematical operations that's fine, but many of use do. And they aren't that complicated in the grand scheme.
Every complex system is hard to understand due to the number of variables v human working memory.
This is like saying that understanding water phase changes makes you competent at ice skating. You know what I'm talking about.