Well, it wasn't designed to generate novel math proofs.
In reality, we don't have artificial intelligence and until we create a machine that can be called intelligent we don't even know for sure if it's possible at all. In the foreseeable future human programmers will be needed, when the day comes that machines archive general intelligence all bets are off anyway.
This question seems to me a bit like asking what field should I specialize in if I believe we'll make first contact with an alien race in the next 10 years. Who knows?