Artificial intelligence is getting good at math and could soon prove to be a valuable partner for humans.