Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.
The study of topological phases of matter is not just about discovering new materials; it's about uncovering the fundamental principles that govern the quantum world.