I think they are highly overestimating how much science advanced pattern matching will provide. Certainly no conceptual understanding will ever come from that.
Most stuff is proven by using advanced pattern matching as "intuition", and then breaking problems down into things we can pattern match and prove.
I'm not sure what conceptual understanding you think isn't pattern matching. They are just rules about patterns and interactions of patterns. These rules were developed through pattern matching.