What does Math in Quantum Physics "look like"? Is it still much like applied math, or does it start to look more like doing proofs?