At the moment, no, they can't come up with new theories and proofs. But, they're quite good at analyzing and producing conclusions based on current knowledge (at least the good ones). They're already capable of solving math tests with ten out of ten, and we reached that point in quite small time span. It wouldn't surprise me if they were capable of the former as well within this or the next decade.