Computers are good at mathematics