People don't always understand all the different theorems involved in a proof and can still gain from it. Can even do who layers with things like oracle machines where you just posit it finds a proof and opens up a whole rich hierarchy of stuff. Math understanding will probably get more like physics.