A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving