I'm pretty sure computers have been solving math problems for a very very long time through various techniques.