I describe the strengths and weaknesses of various AI techniques with respect to mathematical reasoning and propose a hybrid architecture for future mathematical AI systems to combine the best features of the different approaches.