I am a Software Engineering major and I'm thinking about going to grad school for intelligent systems/artificial intelligence. How mathematically rigorous is it? I know much of it is based on probability, but as long as it's not proof-heavy I don't really have a problem.