As another commenter said, this sounds like the basis of math (or CS) itself. Understanding is emergent. Inference and learning are, to me, the pillars of it and we can do those. Understanding is the ability to internalize some idea and make correct inferences about it. But then what is an idea? And down the rabbit hole I go ...