The Role of Mathematical Reasoning in General Artificial Intelligence